A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

Authors:
Grigoris Antoniou;Nikos Dimaresis;Guido Governatori
Affiliations:
FORTH-ICS, Greece and Computer Science Department, University of Crete, P.O. Box 1385, Heraklion, Greece;FORTH-ICS, Greece and Computer Science Department, University of Crete, P.O. Box 1385, Heraklion, Greece;School of ITEE, The University of Queensland, Australia
Venue:
Expert Systems with Applications: An International Journal
Year:
2009

Citing 17
Cited 3

Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
A declarative approach to business rules in contracts: courteous logic programs in XML

Proceedings of the 1st ACM conference on Electronic commerce
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
The BOID architecture: conflicts between beliefs, obligations, intentions and desires

Proceedings of the fifth international conference on Autonomous agents
A formal approach to protocols and strategies for (legal) negotiation

Proceedings of the 8th international conference on Artificial intelligence and law
Executable declarative business rules and their use in electronic commerce

Proceedings of the 2002 ACM symposium on Applied computing
A Defeasible Logic of Policy-Based Intention

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
Open Agent Societies: Normative Specifications in Multi-Agent Systems

Open Agent Societies: Normative Specifications in Multi-Agent Systems
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Permissions and obligations in hierarchical normative systems

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Normative autonomy and normative co-ordination: declarative power, representation, and mandate

Artificial Intelligence and Law
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming

Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering

ANGLE: An autonomous, normative and guidable agent with changing knowledge

Information Sciences: an International Journal
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder

Expert Systems with Applications: An International Journal
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

International Journal on Semantic Web & Information Systems

Quantified Score

Hi-index	12.06

Visualization

Abstract

Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been combined with Semantic Web technologies. This paper describes modal and deontic extensions of defeasible logic, motivated by potential applications for modelling multi-agent systems and policies. It describes a logic metaprogram that captures the underlying intuitions, and outlines an implemented system. Finally, it demonstrates its use for modelling policies.