Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Author

Kontopoulos, Efstratios ; Bassiliades, Nick ; Governatori, Guido ; Antoniou, Grigoris

Author_Institution

Dept. of Inf., Aristotle Univ. of Thessaloniki, Thessaloniki

Volume

3

fYear

2008

fDate

9-12 Dec. 2008

Firstpage

626

Lastpage

629

Abstract

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.

Keywords

formal logic; mathematical operators; nonmonotonic reasoning; DR-DEVICE defeasible logic reasoning; deontic logic operator; modal logic operator; nonmonotonic formalism; Australia; Computational complexity; Computer science; Displays; Informatics; Intelligent agent; Logic; Permission; Privacy; Semantic Web; defeasible reasoning; deontic logic; modal DL; modal logic; reasoning engine;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT '08. IEEE/WIC/ACM International Conference on

Conference_Location

Sydney, NSW

Print_ISBN

978-0-7695-3496-1

Type

conf

DOI

10.1109/WIIAT.2008.164

Filename

4740857