Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

E. Kontopoulos, N. Bassiliades, G. Governatori, G. Antoniou, “Extending a Defeasible Reasoner with Modal and Deontic Logic Operators”, Proceedings of Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) at IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society Pr

Proceedings of Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) at IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society Press, pp. 626-629, Sydney, Australia, 2008.

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhib-iting defeasibility; thus, it is possible to combine defea-sible logic with modal operators. This paper reports on the extension of the DR-DEVICE defeasible reasoner with modal and deontic logic operators. The aim is a practical defeasible reasoner that will take advantage of the expressiveness of modal logics and the flexibility to define diverse agent types and behaviors.