A System for Modal and Deontic Defeasible Reasoning

  • Grigoris Antoniou
  • Nikos Dimaresis
  • Guido Governatori
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4830)

Abstract

The first source of motivation for our work is the modelling of multi-agent systems. In particular, we follow the approach of [1] that combines two perspectives: (a) a cognitive account of agents that specifies motivational attitudes, using the BDI architecture [2], and (b) modelling of agent societies by means of normative concepts [3].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Governatori, G., Rotolo, A.: Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, A.R., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114–128. Springer, Heidelberg (2004)Google Scholar
  2. 2.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) KR 1991. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484. Morgan Kaufmann publishers Inc, San Francisco (1991)Google Scholar
  3. 3.
    Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: AGENTS 2001. Proceedings of the fifth international conference on Autonomous agents, pp. 9–16. ACM Press, New York (2001)CrossRefGoogle Scholar
  4. 4.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255–287 (2001)CrossRefMathSciNetMATHGoogle Scholar
  5. 5.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–44 (2001)CrossRefGoogle Scholar
  6. 6.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)Google Scholar
  7. 7.
    Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW 2004. Proceedings of the 13th international conference on World Wide Web, pp. 723–731. ACM Press, New York (2004)CrossRefGoogle Scholar
  8. 8.
    Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41–60 (2005)Google Scholar
  9. 9.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206–210 (2006)Google Scholar
  10. 10.
    Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)Google Scholar
  11. 11.
    Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering 19(2), 233–245 (2007)CrossRefGoogle Scholar
  12. 12.
    XSB - Logic Programming and Deductive Database System for Unix and Windows. http://xsb.sourceforge.net (2007)
  13. 13.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6), 703–735 (2006)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10(4), 483–501 (2001)CrossRefGoogle Scholar
  15. 15.
    VRP - The ICS-FORTH Validating Rdf Parser. http://139.91.183.30:9090/RDF/VRP (2007)
  16. 16.
    InterProlog - a Prolog-Java interface. http://www.declarativa.com/interprolog (2007)
  17. 17.
    YAP Prolog. http://www.ncc.up.pt/vsc/Yap (2007)

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Grigoris Antoniou
    • 1
  • Nikos Dimaresis
    • 1
  • Guido Governatori
    • 2
  1. 1.Institute of Computer Science, FO.R.T.H., Vassilika Voutwn, P.O. Box 1385, GR 71110, HeraklionGreece
  2. 2.School of ITEE, The University of QueenslandAustralia

Personalised recommendations