Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Authors:
Efstratios Kontopoulos;Nick Bassiliades;Guido Governatori;Grigoris Antoniou
Affiliations:
-;-;-;-
Venue:
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2008

Citing 6
Cited 1

Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
Using semantic web technologies for policy management on the web

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A system for modal and deontic defeasible reasoning

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Semantic web policies – a discussion of requirements and research issues

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

International Journal on Semantic Web & Information Systems

Quantified Score

Hi-index	0.00

Visualization

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.