Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible 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.

• Type: Conference
• Year: 2008
• Where: IAT
• Authors: Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
• Keywords: Defeasible Logic, Defeasible Reasoner, IAT 2008, Intelligent Agent, Modal Logics