A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
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. (C) 2008 Elsevier Ltd. All rights reserved.
defeasible reasoning policies multi-agent systems nonmonotonic reasoning modal reasoning