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. © 2008 Elsevier Ltd. All rights reserved.
CITATION STYLE
Antoniou, G., Dimaresis, N., & Governatori, G. (2009). A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications, 36(2 PART 2), 4125–4134. https://doi.org/10.1016/j.eswa.2008.03.009
Mendeley helps you to discover research relevant for your work.