A Formal Analysis of KGP Agents

  • F. Sadri
  • F. Toni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4160)


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.


Model Check Multiagent System Goal Achievement Temporal Constraint Action Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Systems 19(5) (2004)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Dunne, P.E., Laurence, M., Woolridge, M.: Complexity results for agent design problems. Annals of Math., Computing and Teleinformatics 1(1) (2003)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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:
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)Google Scholar
  10. 10.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1) (1986)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Penczek, W., Kacprzak, M., Lomuscio, A.: Verification of multiagent systems via unbounded model checking. In: Proc. AAMAS 2004 (2004)Google Scholar
  14. 14.
    Mancarella, P., Sadri, F., Stathis, K., Toni, F., Bracciali, A.: Computees and welfare. Technical report, SOCS Consortium (2005)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Readings in Agents. Morgan Kaufmann Publishers, San Francisco (1997)Google Scholar
  17. 17.
    Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Computational and Mathematical Organization Theory (to appear, 2006)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • F. Sadri
    • 1
  • F. Toni
    • 1
  1. 1.Department of ComputingImperial College London 

Personalised recommendations