Abstract
In previous work [1] we presented a framework for the speci- fication of open computational societies i.e. societies where the behaviour of the members and their interactions cannot be predicted in advance. We viewed computational systems from an external perspective, with a focus on the institutional and the social aspects of these systems. The social constraints and roles of the open societies were specified with the use of the Event Calculus. In this paper, we formalise our framework with the use of the C+ language, a formalism with explicit state transition semantics. We use the implementation of the C+ language, the Causal Calculator, a software tool for representing commonsense knowledge about action and change, to animate and validate the speci fications of computational societies. We demonstrate the utility of the Causal Calculator (by specifying and executing a Contract-Net Protocol) and comment on its functionality regarding the specification of computational societies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In Castelfranchi, C., Johnson, L., eds.: Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). (2002) 1053–1062
Bartolini, C., Priest, C., Jennings, N.: Architecting for reuse: A software framework for automated negotiation. In: Proceedings of Workshop on Agent-Oriented Software Engineering (AOSE). (2002) 87–98
Rosenschein, J., Zlotkin, G.: Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press (1998)
Hardwick, M., Bolton, R.: The industrial virtual enterprise. Communications of the ACM 40 (1997) 59–60
Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47 (1991) 76–106
Singh, M.: A social semantics for agent communication languages. In: Issues in Agent Communication. LNCS 1916. Springer (2000) 31–45
Shanahan, M.: The event calculus explained. Artificial Intelligence Today (1999) 409–430
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. (2001)
Smith, R., Davis, R.: Distributed problem solving: The contract-net approach. In: Proceedings of Conference of Canadian Society for Computational Studies of Intelligence. (1978) 217–236
Lee, J., Lifschitz, V., Turner, H.: A representation of the zoo world in the language of the causal calculator. In: Proceedings of Fifth Symposium on Formalizations of Commonsense Knowledge. (2001)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4 (1996)
Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic 2 (2001) 522–581
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press (1995)
Pitt, J., Kamara, L., Artikis, A.: Interaction patterns and observable commitments in a multi-agent trading scenario. In: Proceedings of Conference on Autonomous Agents (AA), ACM Press (2001) 481–489
Sergot, M.: The language (C/C+)++. ALFEBIITE Deliverable D6(2) (2002)
Esteva, M., Rodriguez-Aguilar, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In Dignum, F., Sierra, C., eds.: Agent Mediated Electronic Commerce. LNAI 1991. Springer (2001) 126–147
Yolum, P., Singh, M.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In Castelfranchi, C., Johnson, L., eds.: Proceedings of Conference on Autonomous Agents and Multiagent Systems (AAMAS). (2002) 527–535
Singh, M.: An ontology for commitments in multiagent systems: Towards a unification of normative concepts. Artificial Intelligence and Law 7 (1999) 97–113
van der Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation 6 (1996) 465–479
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Artikis, A., Sergot, M., Pitt, J. (2003). Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J., Weiß, G. (eds) Agent-Oriented Software Engineering III. AOSE 2002. Lecture Notes in Computer Science, vol 2585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36540-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-36540-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00713-5
Online ISBN: 978-3-540-36540-2
eBook Packages: Springer Book Archive