Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Normative KGP agents

  • Published:
Computational & Mathematical Organization Theory Aims and scope Submit manuscript

Abstract

We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore, we illustrate how these concepts can be combined with the existing capabilities of KGP agents in order to plan for their goals, react to changes in the environment, and interact with other agents. Our approach gives an executable specification of normative concepts that can be used directly for prototyping applications.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2004) Compliance verification of agent interaction: a logic-based tool. In: Robert Trappl (ed) Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium “From Agent Theory to Agent Implementation” (AT2AI-4), Vienna, Austria, Austrian Society for Cybernetic Studies, pp 570–575

    Google Scholar 

  • 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

    Article  Google Scholar 

  • Artikis A, Pitt J (2001) A formal model of open agent societies. In: Müller J, Andre E, Sen S, Frasson C (eds) Proceedings of Conference on Autonomous Agents (AA), ACM Press, pp 192–193

  • Artikis A, Pitt J, Sergot M (2002) Animated specifications of computational societies. In: Castelfranchi C, Johnson L (eds) Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), ACM Press, pp 1053–1062

  • Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G, Toni F (2005) The KGP Model for Global Computing: Computational Model and Prototype implementation. In Global Computing, LNCS. Springer-Verlag

  • Brewka G (1994) Reasoning with priorities in default logic. In: Proceedings of AAAI-94, pp 940–945

  • Broersen J, Dastani M, Hulstijn J, Huang Z, van der Torre L (2001) The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Müller, Jörg P. Andre, E. Sen, S. Frasson, C (eds) Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada. ACM Press, pp 9–16

  • Carabelea C, Boissier O, Castelfranchi C (2004) Using social power to enable agents to reason about being part of a group. In: Pre-proceedings of ESAW#04, Toulouse

  • Castelfranchi C, Dignum F, Jonker CM, Treur J (1999) Deliberative normative agents: Principles and architecture. In: Agent Theories, Architectures, and Languages, pp 364–378

  • Dastani M, van der Torre L (2004) Programming boid agents: a deliberation language for conflicts between mental attitudes and plans. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS#04)

  • Demetriou N, Kakas AC, Torroni P (2004) Agent planning, negotiation and control of operation. In: European Conference on Artificial Intelligence (ECAI04)

  • Dignum F (1999) Autonomous agents with norms. Artificial Intelligence and Law 7(1):69–79

    Article  Google Scholar 

  • d’Inverno M, Luck M (2003) Understanding agent systems, 2nd ed. Springer-Verlag

  • Huhns MN, Singh MP (eds) (1998) Readings in agents. Morgan Kaufmann, San Francisco, CA, USA

    Google Scholar 

  • Jaffar J, Maher MJ (1994) Constraint logic programming: a survey. J Logic Programm, 19-20:503–582

    Article  Google Scholar 

  • Jones AJI, Sergot MJ (1993) On the characterisation of law and computer systems: the normative systems perspective. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chicester pp 275–307

    Google Scholar 

  • Jones AJI, Sergot MJ (1996) A formal characterisation of institutionalised power. J IGPL pp 4(3):429–445

    Google Scholar 

  • Kakas A, Mancarella P, Sadri F, Stathis K, Toni F (2004) Declarative agent control. In: Leite J, Torroni P (eds) Proceedings CLIMA#04, 5th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal

  • Kakas A, Mancarella P, Sadri F, Stathis K, Toni F (2004) The KGP model of agency. In: European Conference on Artificial Intelligence (ECAI04), pp 33–39

  • Kakas AC, Kowalski RA, Toni F (1998) The role of abduction in logic programming. In Gabbay DM Hogger CJ, Robinson JA (eds) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, vol.5, pp 235–324

  • Kakas AC, Moraitis P (2003) Argumentation based decision making for autonomous agents. In: Rosenschein JS, Sandholm T, Wooldridge M, Yokoo M (eds) AAMAS 2003, Melbourne, Victoria, ACM, pp 883–890

  • Kowalski RA, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67–95

    Article  Google Scholar 

  • Kowalski RA, Toni F (1996) Abstract argumentation. Artificial Intell and Law Journal, Special Issue on Logical Models of Argumentation 4:275–296

    Google Scholar 

  • Lopez y Lopez F, Luck M (2002) Towards a model of the dynamics of normative multi-agent systems. In: International workshop on Regulated Agent Based Social Systems: theories and applications (RASTA #02), pp 175–193

  • Lopez y Lopez F, Luck M (2004) A model of normative multi-agent systems and dynamic relationships. In Paolucci M, Lindemann G, Moldt D (eds) Regulated agent-based social systems, Lecture notes in AI, 2934, Springer, pp 259–280

  • Lopez y Lopez F, Luck M, d’Inverno M (2002) Constraining autonomy through norms. In: Proceedings of the 1st Conference on Autonomous Agents and Multiagent Systems (AAMAS#01), pp 674–681

  • Lopez y Lopez F, Luck M, d’Inverno M (2004) Normative agent reasoning in dynamic societies. In: Proceedings of the 3rd Conference on Autonomous Agents and Multiagent Systems (AAMAS#04), New York, pp 259–280

  • Julian A. Padget (ed) (2001) Collaboration between human and Artificial Societies: Coordination and Agent-based Distributed Computing. Springer, LNAI 1624

  • Prakken H, Sartor G (1996) A system for defeasible argumentation, with defeasible priorities. In: Proceeding International Conference on Formal and Applied Practical Reasoning, vol. 1085 of LNAI, Springer, Verlag pp 510–524.

  • Prakken H and Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-Classical Log, 7(1)

  • Rao AS, Georgeff MP (1995) BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems, San Francisco

  • Sadri F, Toni F (2005) Profiles of behaviour for logic-based agents. In: Proceedings of CLIMA VI

  • Stathis K, Kakas A, Lu W, Demetriou N, Endriss U, Bracciali A (2004) PROSOCS: a platform for programming software agents in computational logic. In: Müller J, Petta P (eds) Proceedings of the Fourth International Symposium “From Agent Theory to Agent Implementation”, Vienna, Austria, April 13–16

  • Toni F, Stathis K (2002) Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Proceedings of the Third International Workshop on Engineering Societies in the Agents World (ESAW#02), Lecture Notes in Artificial Intelligence. Springer-Verlag

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, UK

    Fariba Sadri & Francesca Toni

  2. Department of Computer Science, Royal Holloway, University of London, UK

    Kostas Stathis

Authors
  1. Fariba Sadri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kostas Stathis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesca Toni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fariba Sadri.

Additional information

Fariba Sadri is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work concentrated on integrity of deductive databases and temporal reasoning, in particular using the event calculus. In more recent years her work has been on agent technologies and multi-agent systems. She has worked on logic-based agent models, reasoning, dynamic belief revision, and inter-agent communication and negotiation for resources. She was co-awarded an EPSRC grant for research into logic-based multi-agents and was co-investigator in the EU SOCS project.

Kostas Stathis is a senior lecturer at Royal Holloway, University of London and he holds a PhD from Imperial College London. His research interests are in the area of computational intelligence in general and in the intersection of computational logic and cognitive systems for social computing applications in particular. His research interests include: representation of human-computer (or computer-computer) interaction as a game; cognitive & autonomous agents; artificial agent societies; agent communication; programmable agents and agent platforms. He is a co-investigator of the EU ArguGRID project and was a co-investigator of the EU SOCS project.

Francesca Toni is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work focused on abductive reasoning. In more recent years, she focused on argumentation, agent models and multi-agent systems. She has worked on computational logic-based agent models, agent reasoning, dynamic belief revision, and inter-agent communication and negotiation for resources. She has been co-ordinator of the EU SOCS project, which developed the KGP model of agency, and is coordinator of the EU ArguGRID project, on the application of argumentative agents within grid systems.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sadri, F., Stathis, K. & Toni, F. Normative KGP agents. Comput Math Organiz Theor 12, 101–126 (2006). https://doi.org/10.1007/s10588-006-9539-5

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10588-006-9539-5

Keywords

Search

Navigation