A system for modal and deontic defeasible reasoning

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, and shows how these extensions can bbe used for modelling multi-agent systems and policies.

REFERENCES

• 1: G. Antoniou , M. Arief, Executable declarative business rules and their use in electronic commerce, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain [doi>10.1145/508791.508794]
• 2: Grigoris Antoniou , Antonis Bikakis, DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web, IEEE Transactions on Knowledge and Data Engineering, v.19 n.2, p.233-245, February 2007 [doi>10.1109/TKDE.2007.29]
• 3: Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Representation results for defeasible logic, ACM Transactions on Computational Logic (TOCL), v.2 n.2, p.255-287, April 2001 [doi>10.1145/371316.371517]
• 4: G. Antoniou , D. Billington , M. J. Maher, On the Analysis of Regulations using Defeasible Rules, Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6, p.6033, January 05-08, 1999
• 5: N. Bassiliades, G. Antoniou, and I. P. Vlahavas. DR-DEVICE: A Defeasible Logic System for the Semantic Web. In PPSWR, pages 134--148, 2004.
• 6: T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5):34--44, May 2001.
• 7: M. E. Bratman, D. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349--355, 1988.
• 8: Jan Broersen , Mehdi Dastani , Joris Hulstijn , Zisheng Huang , Leendert van der Torre, The BOID architecture: conflicts between beliefs, obligations, intentions and desires, Proceedings of the fifth international conference on Autonomous agents, p.9-16, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.375766]
• 9: T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In WLP, pages 206--210, 2006.
• 10: Jonathan Gelati , Antonino Rotolo , Giovanni Sartor , Guido Governatori, Normative autonomy and normative co-ordination: declarative power, representation, and mandate, Artificial Intelligence and Law, v.12 n.1, p.53-81, January 2004 [doi>10.1007/s10506-004-1922-2]
• 11: G. Governatori. Representing business contracts in RuleML. Int. J. Cooperative Inf. Syst., 14(2--3):181--216, 2005.
• 12: Guido Governatori , Marlon Dumas , Arthur H. M. ter Hofstede , Phillipa Oaks, A formal approach to protocols and strategies for (legal) negotiation, Proceedings of the 8th international conference on Artificial intelligence and law, p.168-177, May 2001, St. Louis, Missouri, United States [doi>10.1145/383535.383555]
• 13: Guido Governatori , Michael J. Maher , Grigoris Antoniou , David Billington, Argumentation Semantics for Defeasible Logic, Journal of Logic and Computation, v.14 n.5, p.675-702, October 2004 [doi>10.1093/logcom/14.5.675]
• 14: Guido Governatori , Vineet Padmanabhan , Abdul Sattar, A Defeasible Logic of Policy-Based Intention, Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, p.723, December 02-06, 2002
• 15: G. Governatori and A. Rotolo. Defeasible Logic: Agency, Intention and Obligation. In DEON, pages 114--128, 2004.
• 16: Guido Governatori , Antonino Rotolo , Giovanni Sartor, Temporalised normative positions in defeasible logic, Proceedings of the 10th international conference on Artificial intelligence and law, June 06-11, 2005, Bologna, Italy [doi>10.1145/1165485.1165490]
• 17: B. N. Grosof. Representing E-Commerce Rules via Situated Courteous Logic Programs in RuleML. Electronic Commerce Research and Applications, 3(1):2--20, 2004.
• 18: Benjamin N. Grosof , Ian Horrocks , Raphael Volz , Stefan Decker, Description logic programs: combining logic programs with description logic, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary [doi>10.1145/775152.775160]
• 19: Benjamin N. Grosof , Yannis Labrou , Hoi Y. Chan, A declarative approach to business rules in contracts: courteous logic programs in XML, Proceedings of the 1st ACM conference on Electronic commerce, p.68-77, November 03-05, 1999, Denver, Colorado, United States [doi>10.1145/336992.337010]
• 20: Ian Horrocks , Peter F. Patel-Schneider, A proposal for an owl rules language, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA [doi>10.1145/988672.988771]
• 21: InterProlog - a Prolog-Java interface. http://www.declarativa.com/interprolog, 2007.
• 22: M. J. Maher. A Model-Theoretic Semantics for Defeasible Logic. In Paraconsistent Computational Logic, pages 67--80, 2002.
• 23: M. J. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller. Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools, 10(4):483--501, 2001.
• 24: Jeremy Pitt, Open Agent Societies: Normative Specifications in Multi-Agent Systems, John Wiley & Sons, 2004
• 25: A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR '91), pages 473--484. Morgan Kaufmann publishers Inc.: San Mateo, CA, USA, 1991.
• 26: R. Rosati. On the decidability and complexity of integrating ontologies and rules. WSJ, 3(1):41--60, 2005.
• 27: SWI-Prolog. http://www.swi-prolog.org, 2007.
• 28: XSB - Logic Programming and Deductive Database System for Unix and Windows. http://xsb.sourceforge.net, 2007.
• 29: YAP Prolog. http://www.ncc.up.pt/vsc/Yap, 2007.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Nonmonotonic reasoning and belief revision

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Modal logic

General Terms:
Algorithms, Design, Management, Theory