An abductive interpretation for open agent societies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2829, Issue , 2003, Pages 287-299

  Alberti, M ^a   Gavanelli, M ^a   Lamma, E ^a   Mello, P ^b   Torroni, P ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING; SEMANTICS; ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; CONSTRAINT THEORY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; OPEN SYSTEMS;

AGENT INTERACTION; COMPUTATIONAL LOGIC; DECLARATIVE SEMANTICS; INTEGRITY CONSTRAINTS; INTER-ACTION PROTOCOLS; OPEN AGENTS; SOCIAL INTEGRITY CONSTRAINTS;

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS;

INTEGRITY CONSTRAINTS; INTERACTION PROTOCOLS; LOGIC-BASED ARCHITECTURE; OPEN AGENT SOCIETIES;

EID: 7444226211     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39853-0_24     Document Type: Conference Paper

References (21)

1. [1] Rao, A. S., Georgeff, M. P.: Modeling rational agents within a BDI-architecture. In Fikes, R., Sandewall, E., eds.: Proc. of KR&R-91, (Morgan Kaufmann) 473–484
2. [2] Singh, M.: Agent communication language: rethinking the principles. IEEE Computer (1998) 40–47
3. [3] Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic based semantics for agent communication languages. In: Proc. of the Workshop of Formal Approaches to Multi-Agent Systems (FAMAS03), Warsaw (2003)
4. [4] Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In V.Marik, J.Muller, M.Pechoucek, eds.: Proc. of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems, Prague, Czech Republic (2003) To appear in LNCS.
5. [5] SOCS: A Computational Logic Model for the Description, Analysis and Verification of Global and Open Societies of Heterogeneous Computees. IST–2001–32530. Web page (2001) http://lia.deis.unibo.it/research/socs.
6. [6] Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 (1997) 151–165
7. [7] Krogh, C.: Obligations in multiagent systems. In Proc. of the 5th Scandinavian Conference on Artificial Intelligence, Trondheim, Norway, ISO Press (1995) 19–30
8. [8] Lloyd, J. W.: Foundations of Logic Programming. Springer-Verlag (1987)
9. [9] Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20 (1994) 503–582
10. [10] Eshghi, K., Kowalski, R.A.: Abduction compared with Negation by Failure. In: Proc. of the 6th International Conference on Logic Programming. (1989)
11. [11] Kowalski, R.A., Sadri, F.: From logic programming to multi-agent systems. Annals of Mathematics and Artificial Intelligence (1999)
12. [12] Conte, R., Falcone, R., Sartor, G.: Special issue on agents and norms. Artificial Intelligence and Law 1 (1999)
13. [13] Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative normative agents: Principles and architecture. In: ATAL’99. Number 1757 in LNCS 364–378
14. [14] Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proc. of IJCAI 2003, (Morgan Kaufmann Publishers)
15. [15] Wright, G.: Deontic logic. Mind 60 (1951) 1–15
16. [16] ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the universal information ecosystem. IST– 1999–10298. Web page (1999) http://www.iis.ee.ic.ac.uk/alfebiite/.
17. [17] Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In Castelfranchi, Lewis Johnson, eds.: Proc. of AAMAS’02, (ACM) 527–534
18. [18] Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In Castelfranchi, Lewis Johnson, eds.: Proc. of AAMAS’02, (ACM) 1053–1061
19. [19] Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In Greco, Leone, eds.: Proc. JELIA’02. Vol. 2424 of LNCS. 419–431
20. [20] Brogi, A., Lamma, E., Mancarella, P., Mello, P.: A unifying view for logic programming with non-monotonic reasoning. TCS 184 (1997) 1–59
21. [21] Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: Workshop on Logic and Communication in Multi-Agent Systems, Eindhoven, Netherlands (2003) To appear.