Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops
Subtitle of host publicationWI-IAT Workshops 2008
EditorsYuefeng Li, Gabriella Pasi, Chengqi Zhang, Nick Cercone, Longbing Cao
PublisherIEEE
Pages626-629
Number of pages4
ISBN (Print)9780769534961
DOIs
Publication statusPublished - 9 Dec 2008
Externally publishedYes
Event2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 - Sydney, NSW, Australia
Duration: 9 Dec 200812 Dec 2008

Conference

Conference2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
CountryAustralia
CitySydney, NSW
Period9/12/0812/12/08

Cite this