Abstract
A defining characteristic of Open Computational Societies is the unpredictable behaviour of their participants, resulting from their operational and architectural heterogeneity. This has led to the development of computational frameworks that facilitate the declaration of agent specifications in terms of normative relations. The frameworks offer modelling, simulation and validation, but typically have not supported dynamic modification of the specification at runtime by the agents themselves. This omission can be a limitation in certain scenarios, where agents might be capable of adaptation when faced with unexpected stimuli, but the specifications under which they operate did not allow for it. In this paper we extend an existing normative computational framework to facilitate well-defined dynamic normative modification of a specification by the agents themselves, given a well-defined meta-specification. We complement the framework with a mathematical model of the ‘specification space’. We argue that the introduced dynamism preserves several of the advantages of static normative frameworks while allowing for more flexible, highly autonomous systems, simpler specification authoring and generic protocol reuse.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: ICAIL. Proceedings of International Conference on Artificial Intelligence and Law, pp. 1–11. ACM Press, New York (2003)
Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, University of London (2003)
Hewitt, C., de Jong, P.: Open systems. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, pp. 147–164. Springer, Heidelberg (1984)
Hewitt, C., de Jong, P.: Open systems. Technical report, Massachusetts Institute of Technology (1982)
Jones, A., Sergot, M.: On the characterization of law and computer systems: The normative systems perspective. In: Meyer, J.J., Wieringa, R. (eds.) Deontic Logic in Computer Science, John Wiley and Sons, West Sussex, England (1993)
Santos, F., Carmo, J.: A deontic logic representation of contractual obligations. In: Meyer, J.J., Wieringa, R. (eds.) Deontic Logic in Computer Science, John Wiley and Sons, West Sussex, England (1993)
Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, Springer, Heidelberg (2005)
Pitt, J., Kamara, L., Sergot, M., Artikis, A.: Voting in online deliberative assemblies. In: Gardner, A., Sartor, G. (eds.) Proceedings 10th ICAIL, pp. 195–204. ACM Press, New York (2005)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–96 (1986)
MarÃn, R., Sartor, G.: Time and norms: a formalisation in the event calculus. In: ICAIL. Proceedings of Conference on Artificial Intellience and Law, pp. 90–100. ACM Press, New York (1999)
Kamboj, S., Decker, K.S.: Organizational self-design in semi-dynamic environments. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (2006)
Bryant, V.: Metric Spaces. Cambridge University Press, Cambridge (1985)
Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 12–29. Springer, Heidelberg (2004)
Lopez, F., Lopez, y., Luck, M.: Towards a model of the dynamics of normative multi-agent systems (2002)
Excelente-toledo, C.B., Jennings, N.R.: The dynamic selection of coordination mechanisms. Autonomous Agents and Multi-Agent Systems 9, 55–85 (2004)
Boella, G., van der Torre, L.: Permissions and obligations in hierarchical normative systems. In: Procs. of ICAIL 2003, Edinburgh, pp. 109–118. ACM Press, New York (2003)
pa So, Y., Durfee, E.H.: Designing organizations for computational agents. MIT Press, Cambridge, MA, USA (1998)
Martin, C., Barber, K.S.: Adaptive decision-making frameworks for dynamic multi-agent organizational change. Autonomous Agents and Multi-Agent Systems 13, 391–428 (2006)
Bradshaw, J.M., Dutfield, S., Carpenter, B., Jeffers, R., Robinson, T.: KAoS: A Generic Agent Architecture for Aerospace Applications. In: Finin, T., Mayfield, J. (eds.) Proceedings of the CIKM 1995 Workshop on Intelligent Information Agents, Baltimore, Maryland (1995)
Bradshaw, J., Dutfield, S., Benoit, P., Woolley, J.: Kaos: Toward an industrial-strength open agent architecture. In: Bradshaw, J. (ed.) Software Agents, pp. 375–418. AAAI Press, Stanford, California, USA (1997)
Bradshaw, J., Uszok, A., Jeffers, R., Suri, N., Hayes, P., Burstein, M., Acquisti, A., Benyo, B., Breedy, M., Carvalho, M., Diller, D., Johnson, M., Kulkarni, S., Lott, J., Sierhuis, M., Hoof, R.V.: Representation and reasoning for daml-based policy and domain services in kaos and nomads. In: AAMAS 2003. Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 835–842. ACM Press, New York (2003)
Brewka, G.: Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. J. Logic Computation 11, 257–282 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaponis, D., Pitt, J. (2007). Dynamic Specifications in Norm-Governed Open Computational Societies. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds) Engineering Societies in the Agents World VII. ESAW 2006. Lecture Notes in Computer Science(), vol 4457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75524-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-75524-1_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75522-7
Online ISBN: 978-3-540-75524-1
eBook Packages: Computer ScienceComputer Science (R0)