Abstract
This paper contributes to the identification, formalisation and analysis of desirable properties of agent models in general and of the KGP model in particular. This model is specified in computational logic, and consequently lends itself well to formal analysis. We formalise three notions of welfare, in terms of goal achievement, progress, and reactive awareness, and we prove results related to these notions for KGP agents. These results broadly demonstrate the coherence of some of the design decisions in the KGP model, the need for some of its components for effectiveness in goal achievement, the extent to which the welfare of KGP agents can be shown to improve during their life-time, and the awareness of the agents of their reactions to changes in the environment.
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
Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a platform for collaborating agents. IEEE Intell. Systems 14(2) (1999)
Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Systems 19(5) (2004)
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Stathis, K.: Crafting the mind of prosocs agents. Applied Artificial Intelligence 20(2-4) (2006)
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)
Dunne, P.E., Laurence, M., Woolridge, M.: Complexity results for agent design problems. Annals of Math., Computing and Teleinformatics 1(1) (2003)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4) (1999)
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Deliverable d4: A logic-based approach to model computees. Technical report, SOCS Consortium (2003), Avaialble from: http://lia.deis.unibo.it/Research/Projects/SOCS/
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 96–110. Springer, Heidelberg (2005)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1) (1986)
Leite, J., Alferes, J.J., Moniz Pereira, L.: \(\mathcal{MINERVA}\) - A dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 141. Springer, Heidelberg (2002)
Lomuscio, A., Raimondi, F.: MCMAS: a tool for verifying multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920. Springer, Heidelberg (2006)
Penczek, W., Kacprzak, M., Lomuscio, A.: Verification of multiagent systems via unbounded model checking. In: Proc. AAMAS 2004 (2004)
Mancarella, P., Sadri, F., Stathis, K., Toni, F., Bracciali, A.: Computees and welfare. Technical report, SOCS Consortium (2005)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Readings in Agents. Morgan Kaufmann Publishers, San Francisco (1997)
Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Computational and Mathematical Organization Theory (to appear, 2006)
Sadri, F., Toni, F.: Variety of behaviours through profiles in logic-based agents. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 206–225. Springer, Heidelberg (2006)
Wooldridge, M., Huget, M.-P., Fisher, M., Parsons, S.: Model checking multi-agent systems: the mable language and its applications. International Journal on Artificial Intelligence Tools 15(2) (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sadri, F., Toni, F. (2006). A Formal Analysis of KGP Agents. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_34
Download citation
DOI: https://doi.org/10.1007/11853886_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)