LPIS Home Page
Google Search

Title: Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Author(s): E. Kontopoulos, N. Bassiliades, G. Governatori, G. Antoniou.
Availability: Click here to download the PDF (Acrobat Reader) file (4 pages).
Keywords: defeasible reasoning, modal logic, deontic logic, reasoning engine, modal DL.
Appeared in: 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.
Abstract: 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.
See also :

        This paper has been cited by the following:

1 A. Rotolo, G. Sartor and C. Smith, "Good Faith in Contract Negotiation and Performance", International Journal of Business Process Integration and Management on Contract Architectures and Languages, 4(3), pp. 154 - 173, 2009.