Sciweavers

Share
IAT
2008
IEEE

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

11 years 7 months ago
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.
Efstratios Kontopoulos, Nick Bassiliades, Guido Go
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where IAT
Authors Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
Comments (0)
books