Abstract
The focus of this work is on the interactions among (possibly heterogeneous) agents that form an open society, and on the definition of a computational logic-based architecture for agent interaction. We propose a model where the society defines the allowed interaction protocols, which determine the “socially” allowed agent interaction patterns. The semantics of protocols can be defined by means of social integrity constraints. The main advantages of this approach are in the design of societies of agents, and in the possibility to detect undesirable behavior. In the paper, we present the model for societies ruled by protocols expressed as integrity constraints, and its declarative semantics. A sketch of the operational counterpart is also given.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proc. of KR&R 1991, pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Singh, M.: Agent communication language: rethinking the principles. IEEE Computer, 40–47 (1998)
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 (FAMAS 2003), Warsaw (2003)
Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Marik, V., Muller, J., Pechoucek, M. (eds.) Proc. of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems, Prague, Czech Republic. LNCS (2003) (to appear)
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
Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 151–165 (1997)
Krogh, C.: Obligations in multiagent systems. In: Proc. of the 5th Scandinavian Conference on Artificial Intelligence, Trondheim, Norway, pp. 19–30. ISO Press (1995)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)
Eshghi, K., Kowalski, R.A.: Abduction compared with Negation by Failure. In: Proc. of the 6th International Conference on Logic Programming (1989)
Kowalski, R.A., Sadri, F.: From logic programming to multi-agent systems. Annals of Mathematics and Artificial Intelligence (1999)
Conte, R., Falcone, R., Sartor, G.: Agents and norms. Artificial Intelligence and Law 1 (1999) (special issue)
Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative normative agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 364–378. Springer, Heidelberg (1999)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proc. of IJCAI 2003. Morgan Kaufmann Publishers, San Francisco (2003)
Wright, G.: Deontic logic. Mind 60, 1–15 (1951)
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/
Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, Johnson, L. (eds.) Proc. of AAMAS 2002, pp. 527–534. ACM, New York (2002)
Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, Johnson, L. (eds.) Proc. of AAMAS 2002, pp. 1053–1061. ACM, New York (2002)
Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 419–431. Springer, Heidelberg (2002)
Brogi, A., Lamma, E., Mancarella, P., Mello, P.: A unifying view for logic programming with non-monotonic reasoning. TCS 184, 1–59 (1997)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P. (2003). An Abductive Interpretation for Open Agent Societies. In: Cappelli, A., Turini, F. (eds) AI*IA 2003: Advances in Artificial Intelligence. AI*IA 2003. Lecture Notes in Computer Science(), vol 2829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39853-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-39853-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20119-9
Online ISBN: 978-3-540-39853-0
eBook Packages: Springer Book Archive