Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

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

doi:10.1109/wiiat.2008.164

Cited by 6 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This article is based on previous work by the authors (Kontopoulos, Bassiliades, Governatori, & Antoniou, 2008) and reports on extending the DR-DEVICE first-order defeasible logic reasoner (Bassiliades, Antoniou, & Vlahavas, 2006) with reasoning capabilities on modal defeasible logic rule bases. Notice that in this work we focus mainly on deontic logic operators, without loss of generality, even if the techniques proposed can be applied to any modal logic.…”

Section: Introductionmentioning

confidence: 99%

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Bassiliades

Kontopoulos

Governatori

et al. 2011

International Journal on Semantic Web and Information Systems

Self Cite

View full text Add to dashboard Cite

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

show abstract

Section: Introductionmentioning

confidence: 99%