Mapping deontic operators to abductive expectations

Computational and Mathematical Organization Theory

Volumn 12, Issue 2-3 SPEC. ISS., 2006, Pages 205-225

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

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abduction; Deontic logic; Normative systems; Semantics

Indexed keywords

ABDUCTION; ABDUCTIVE LOGIC PROGRAMMING; DECLARATIVE SEMANTICS; DEONTIC LOGIC; NORMATIVE SYSTEM; OPEN MULTI-AGENT SYSTEM; OPERATIONAL SEMANTICS; SPECIFICATION AND VERIFICATION;

LOGIC PROGRAMMING; MACHINERY; MAPPING; MULTI AGENT SYSTEMS; PHILOSOPHICAL ASPECTS; SEMANTICS;

FORMAL LOGIC;

EID: 33745597269     PISSN: 1381298X     EISSN: 15729346     Source Type: Journal    
DOI: 10.1007/s10588-006-9544-8     Document Type: Article

References (39)

1. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P (2003a) An abductive interpretation for open societies. In: Cappelli A, Turini F (eds) AI*IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa (Lecture Notes in Artificial Intelligence), vol. 2829. Springer-Verlag, pp 287-299
2. Alberti M, Ciampolini A, Gavanelli M, Lamma E, Mello P, Torroni, P (2003b) A social ACL Semantics by Deontic Constraints. In: Mařík V, Müller J, Pěchouček M (eds) Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003. (Lecture Notes in Artificial Intelligence), vol. 2691. Springer-Verlag, Prague, Czech Republic: Pp 204-213
3. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni, P (2003c) Specification and Verification of Agent Interactions using Social Integrity Constraints. Electr Notes Theor Comp Sci 85(2)
4. Alberti M, Daolio D, Gavanelli M, Lamma E, Mello P, Torroni P (2004a) Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: Haddad H M, Omicini A, Wainwright R L (eds) Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004). Special Track on Agents, Interactions, Mobility, and Systems (AIMS). ACM Press, Nicosia, Cyprus pp 72-78
5. Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2005a) The SOCS Computational Logic Approach for the Specification and Verification of Agent Societies. In: Priami C, Quaglia P (eds) Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers. (Lecture Notes in Artificial Intelligence), vol. 3267. Springer-Verlag, pp 324-339
6. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P (2005b) The SCIFF abductive proof procedure. In Bandini S, Manzoni S (eds) Proceedings of the 9th National Congress on Artificial Intelligence, AI*IA 2005. (Lecture Notes in Artificial Intelligence) vol. 3673. Springer-Verlag, Milan, Italy, pp 135-147
7. Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2006) Compliance verification of agent interaction: A logic-based tool. Applied Artificial Intelligence 20(2-4):133-157
8. ALFEBIITE (1999) ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem. IST-1999-10298. http://www.iis.ee.ic.ac.uk/alfebiite/ab-home.htm Home Page:
9. Anderson A (1958) A Reduction of Deontic Logic to Alethic Modal Logic. Mind 67:100-103
10. Apt KR, Bol RN (1994) Logic Programming and Negation: A survey. J Logic Progr 19/20:9-71
11. Arisha KA, Ozcan F, Ross R, Subrahmanian VS, Eiter T, Kraus S (1999) IMPACT: A Platform for Collaborating Agents. IEEE Intell Syst 14(2):64-72
12. Artikis A, Pitt J, Sergot M (2002) Animated specifications of computational societies. In: Castelfranchi C, Lewis Johnson W (eds) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III. ACM Press Bologna, Italy pp 1053-1061
13. Boella G, van der Torre, L WN (2003) Attributing mental attitudes to normative systems. In: Rosenschein JS, Sandholm T, Wooldridge M, Yokoo M (eds) Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003). ACM Press Melbourne, Victoria pp 942-943
14. Boella G, van der Torre L, Verhagen H (eds) (2005) Proceedings of the Symposium on Normative Multi Agent-Systems. University of Hertfordshire, Hatfield, UK
15. Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Toni F, Terreni G (2005) The KGP Model of Agency: Computational Model and Prototype Implementation. In: Priami C, Quaglia P (eds) Global computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers (Lecture Notes in Artificial Intelligence), vol. 3267. Springer-Verlag, pp 340-367
16. Broersen J, Dignum F, Dignum V, Meyer J-J Ch (2004) Designing a Deontic Logic of Deadlines. In: Lomuscio A, Nute D (eds) DEON (Lecture Notes in Computer Science), vol. 3065. Springer, pp 43-56
17. Castelfranchi C, Dignum F, Jonker CM, Treur J (1999) Deliberative Normative Agents: Principles and architecture. In: Jennings NR, Lespérance Y (eds) Intelligent agents VI, Agent Theories, Architectures, and Languages, 6th International Workshop, ATAL '99, Orlando, Florida, USA, Proceedings. (Lecture Notes in Computer Science), no. 1757. Springer-Verlag, pp 364-378
18. Clark KL (1978) Negation as failure. In: Gallaire H, Minker J (eds) Logic and Data Bases. Plenum Press, pp 293-322
19. Conte R, Falcone R, Sartor G (1999) Special Issue on Agents and Norms. Art Intell Law 1(7)
20. Dignum V, Meyer JJ, Dignum F, Weigand H (2002a) Formal Specification of Interaction in Agent Societies. In: Proceedings of the Second Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland
21. Dignum V, Meyer JJ, Weigand H, Dignum F (2002b) An Organizational-Oriented Model for Agent Societies. In: Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications. AAMAS'02, Bologna
22. Dignum V, Meyer JJ, Weigand H (2002c) Towards an Organizational Model for Agent Societies Using Contracts. In: Castelfranchi C, Lewis Johnson W (eds) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II. Bologna, Italy: ACM Press, pp 694-695
23. Eiter T, Subrahmanian VS, Pick G (1999) Heterogeneous active agents, I: Semantics. Art Intell 108(1-2):179-255 179-255
24. Esteva M, de la Cruz D, Sierra C (2002) ISLANDER: An electronic institutions editor. In: Castelfranchi C, Lewis Johnson W (eds) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III. ACM Press, Bologna, Italy pp 1045-1052
25. Fung TH, Kowalski RA (1997) The IFF proof procedure for abductive logic programming. J Logic Progr 33(2): 151-165
26. Hewitt C (1991) Open Information Systems Semantics for Distributed Art Intell. Art Intell 47(1-3):79-106
27. Kakas AC, Kowalski RA, Toni F (1993) Abductive Logic Programming. J Logic Comput 2(6):719-770
28. Kunen K (1987) Negation in logic progr J Logic Progr vol. 4, pp 289-308
29. López y López, Fabiola, Luck, Michael, d'Inverno, Mark (2005) A Normative Framework for Agent-Based Systems. In: NORMAS05
30. Meyer JJ Ch (1988) A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame J. Form Logic 29(1):109-136
31. Noriega P, Sierra C (2002) Institutions in perspective: An extended abstract. In: 6th International Workshop CIA-2002 on Cooperative Information Agents (Lecture Notes in Artificial Intelligence), vol. 2446. Springer-Verlag
32. Prakken H, Sergot M (1996) Contrary-to-duty obligations. Studia Logica 57(1):91-115
33. Ryu Young U, Lee Ronald M (1993) Defeasible Deontic Reasoning: A Logic Programming Model. In: Meyer J-J Ch, Wieringa RJ (eds) Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons Ltd, pp 225-241
34. Sadri F, Stathis K, Toni F (2005) Normative KGP agents: A Preliminary Report. In: Boella et al. (2005)
35. Sartor G (2004) Legal reasoning. Treatise, vol. 5. Kluwer Dordrecht
36. SOCS (2002) Societies of computeeS (SOCS): A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530. Home Page: http://lia.deis.unibo.it/Research/SOCS/
37. van der Torre L (2003) Contextual Deontic Logic: Normative Agents, Violations and Independence. Ann Math Art Intell 37(1):33-63
38. van der Torre LWN, Tan Y-H (1999) Diagnosis and Decision Making in Normative Reasoning. Artif. Intell. Law 7(1):51-67
39. Wright GH (1951) Deontic logic. Mind 60:1-15