Comput Math Organiz Theor (2006) 12:101–126 DOI 10.1007/s10588-006-9539-5 Normative KGP agents Fariba Sadri · Kostas Stathis · Francesca Toni C  Springer Science + Business Media, LLC 2006 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 illus- trates how the resulting normative concepts, including the roles, can evolve dynami- cally 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. Keywords Computational logic . Normative agents . Abduction . Priorities . Planning . Roles . Obligations . Prohibitions 1. Introduction The development of complex applications based on autonomous agents often need to find methods of organising the functionality of a composite system by distributing responsibilities to the parts, in such a way that interactions of the whole are coordinated in a decentralised and coherent manner. Whether we deal with autonomous robots that plan, software agents that manage networks, a traffic or a file-sharing system, or any F. Sadri () . F. Toni Department of Computing, Imperial College London, UK. e-mail: fs@doc.ic.ac.uk F. Toni e-mail: ft@doc.ic.ac.uk K. Stathis Department of Computer Science, Royal Holloway, University of London, UK. e-mail: kostas@cs.rhul.ac.uk Springer