Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been combined with Semantic Web technologies. This paper describes modal and deontic extensions of defeasible logic, motivated by potential applications for modelling multi-agent systems and policies. It describes a logic metaprogram that captures the underlying intuitions, and outlines an implemented system. Finally, it demonstrates its use for modelling policies.
|Number of pages||10|
|Journal||Expert Systems with Applications|
|Issue number||2 PART 2|
|Early online date||3 Apr 2008|
|Publication status||Published - 1 Mar 2009|