Mapping deontic operators to abductive expectations

AISB'05 Convention: Social Intelligence and Interaction in Animals, Robots and Agents - Proceedings of the Symposium on Normative Multi-Agent Systems

Volumn , Issue , 2005, Pages 126-136

  Alberti, Marco ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b   Torroni, Paolo ^b   Sartor, Giovanni ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT SOCIETY; COMPUTATIONAL LOGIC; DEONTIC LOGIC; DEONTIC OPERATORS; INTEGRITY CONSTRAINTS; MULTI AGENT SYSTEM (MAS);

ANIMALS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS;

FORMAL LOGIC;

EID: 77956556632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. http://lia.deis.unibo.it/Research/SOCS/.
2. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. An Abductive Interpretation for Open Societies. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, volume 2829 of Lecture Notes in Artificial Intelligence, pages 287-299. Springer-Verlag, September 23-26 2003a. http://www-aiia2003.di.unipi.it.
3. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance verification of agent interaction: a logic-based tool. pages 570-575, Vienna, Austria, April 13-16 2004. Austrian Society for Cybernetic Studies.
4. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of interaction protocols: a computational logic approach based on abduction. Technical Report CS-2003-03, Dipartimento di Ingegneria di Ferrara, Ferrara, Italy, 2003b. Available at http://www.ing.unife.it/aree-ricerca/informazione/cs/technical-reports.
5. ALFEBIITE. ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the universal information ecosystem. IST-1999-10298, 1999. Home Page: http://www.iis.ee.ic.ac.uk/ ̃alfebiite/ab-home.htm.
6. A. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 67:100-103, 1958.
7. K. A. Arisha, F. Ozcan, R. Ross, V. S. Subrahmanian, T. Eiter, and S. Kraus. IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems, 14(2):64-72, March/April 1999.
8. A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS- 2002), Part III, pages 1053-1061, Bologna, Italy, July 15-19 2002. ACM Press. ISBN 1-58113-480-0.= http://portal.acm.org/ft- gateway.cfm?id=545070&type=pdf&dl=GUIDE&dl=ACM%&CFID= 4415868&CFTOKEN=57395936. (Pubitemid 34975342)
9. Guido Boella and LeendertW. N. van der Torre. Attributing mental attitudes to normative systems. In AAMAS, pages 942-943, 2003.
10. Andrea Bracciali, Neophytos Demetriou, Ulle Endriss, Antonis Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni, and Giacomo Terreni. The KGP model of agency: Computational model and prototype implementation. In Global Computing Workshop, Rovereto, Italy, March 2004, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004. to appear.
11. C. Castelfranchi, F. Dignum, C.M. Jonker, and J. Treur. Deliberative normative agents: Principles and architecture. In Nicholas R. Jennings and Yves Lesṕerance, editors, Intelligent Agents VI, Agent Theories, Architectures, and Languages, 6th International Workshop, ATAL'99, Orlando, Florida, USA, Proceedings, number 1757 in Lecture Notes in Computer Science, pages 364-378. Springer-Verlag, 1999.
12. R. Conte, R. Falcone, and G. Sartor. Special issue on agents and norms. Artificial Intelligence and Law, 1(7), March 1999.
13. P. T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In Proceedings CADE- 86, pages 608-621, 1986.
14. V. Dignum, J. J. Meyer, F. Dignum, and H. Weigand. Formal specification of interaction in agent societies. In Proceedings of the Second Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, October 2002a.
15. V. Dignum, J. J. Meyer, and H. Weigand. Towards an organizational model for agent societies using contracts. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, pages 694-695, Bologna, Italy, July 15-19 2002b. ACM Press. ISBN 1-58113-480-0. http://portal.acm.org/ ft-gateway.cfm?id=544909&type=pdf&dl=GUIDE&dl=ACM%&CFID= 4415868&CFTOKEN=57395936. (Pubitemid 34975252)
16. V. Dignum, J. J. Meyer, H. Weigand, and F. Dignum. An organizational-oriented model for agent societies. In Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications. AAMAS'02, Bologna, 2002c.
17. T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108 (1-2):179-255, March 1999.
18. K. Eshghi and R. A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proceedings of the 6th International Conference on Logic Programming, pages 234-255. MIT Press, 1989.
19. M. Esteva, D. de la Cruz, and C. Sierra. ISLANDER: an electronic institutions editor. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS- 2002), Part III, pages 1045-1052, Bologna, Italy, July 15-19 2002. ACM Press. ISBN 1-58113-480-0. http://portal.acm.org/ft- gateway.cfm?id=545069&type=pdf&dl=GUIDE&dl=ACM%&CFID= 4415868&CFTOKEN=57395936. (Pubitemid 34975341)
20. T. Fr̈uhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, October 1998. (Pubitemid 128415802)
21. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, November 1997. ISSN 0743-1066.
22. C. Hewitt. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47 (1-3):79-106, 1991.
23. A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 235-324. Oxford University Press, 1998.
24. A. C. Kakas and P. Mancarella. On the relation between Truth Maintenance and Abduction. In T. Fukumura, editor, Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan, pages 438-443. Ohmsha Ltd., 1990.
25. K. Kunen. Negation in logic programming. In Journal of Logic Programming, volume 4, pages 289-308, 1987.
26. J.W. Lloyd. Foundations of Logic Programming. Springer- Verlag, 2nd extended edition, 1987. ISBN 3-540-18199- 7.
27. J. J. Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. of Formal Logic, 29(1):109-136, 1988.
28. P. Noriega and C. Sierra. Institutions in perspective: An extended abstract. In Sixth International Workshop CIA- 2002 on Cooperative Information Agents, volume 2446 of Lecture Notes in Artificial Intelligence. Springer- Verlag, 2002.
29. D. L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27-47, 1988.
30. Giovanni Sartor. Legal Reasoning, volume 5 of Treatise. Kluwer, Dordrecht, 2004.
31. SICStus. SICStus prolog user manual, release 3.11.0, October 2003. http://www.sics.se/isl/sicstus/.
32. L. van Der Torre. Contextual deontic logic: Normative agents, violations and independence. Annals of Mathematics and Artificial Intelligence, 37(1):33-63, 2003. (Pubitemid 38118085)
33. Leendert W. N. van der Torre and Yao-Hua Tan. Diagnosis and decision making in normative reasoning. Artif. Intell. Law, 7(1):51-67, 1999.
34. G.H. Wright. Deontic logic. Mind, 60:1-15, 1951.