Abstract
This paper describes a project which is using Z in the field of artificial intelligence (AI) to provide a defining framework for agency and autonomy. Specifically, the use of Z has provided a means for escaping from the terminological chaos surrounding agency and autonomy that is prevalent not just in the AI community, but also in other areas of computer science. We outline how we have developed a Z specification which serves as a framework that satisfies three distinct requirements. First, a framework should be defining in the sense that it must precisely and unambiguously provide meanings for the common concepts and terms. Second, it should be designed in such a way as to enable alternative models of particular classes of system to be explicitly described, compared and evaluated. Third, the framework should be sufficiently well-structured to provide a foundation for subsequent development of increasingly more refined concepts. The state based specification language Z is accessible to researchers from a variety of different backgrounds and allows us to provide a consistent unified formal account of an abstract agent system.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. A. Campbell and M. D'Inverno. Knowledge interchange protocols. In Y. Demazeau and J. P. Muller, editors, Decentralized Artificial Intelligence. Elsevier North Holland, 1989.
I. D. Craig. The formal specification of ELEKTRA. Research Report RR261, Department of Computer Science, University of Warwick, 1994.
R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, Carnegie-Mellon University, 1993.
M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, 1995.
D. Riecken. An architecture of integrated agents. Communications of the ACM, 37(7): 107–116, 1994.
T. Selker. A teaching agent that learns. Communications of the ACM, 37(7):92–99, 1994.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.
D. C. Smith, A. Cypher, and J. Spohrer. Programming agents without a programming language. Communications of the ACM, 37(7):55–67, 1994.
J. M. Spivey. The Z Notation. Prentice Hall, Hemel Hempstead, 2nd edition, 1992.
M. J. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1994.
The Concise Oxford Dictionary of Current English. Oxford University Press, 7th edition, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luck, M., D'Inverno, M. (1995). Structuring a Z specification to provide a formal framework for autonomous agent systems. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_112
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_112
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive