Abstract
Although agent-based systems are beginning to be used in critical applications, it is clear that more precise, and logically well-founded, development techniques will be required for agent-based applications in the future. Thus, our aim is to provide a formal framework supporting the principled development of agent-based systems, and comprising: logics in which the high-level behaviours (of both agent and system) can be concisely specified; techniques for refinement and verification of such specifications; and a programming language providing concepts close to the specification notation used. While the specification and verification aspects are covered elsewhere, this talk concerns the programming of agent-based systems based upon the direct execution of specifications. The core formalism we use is temporal logic, which is both simple and intuitive, yet powerful. This enables us to specify the basic dynamic attributes of both the agent and the multi-agent environment. Thus, the basic specification of an agent’s behaviour is given as a temporal formula, then transformed into a simple normal form, called Separated Normal Form (SNF), which provides a simple and intuitive description of what is true at the beginning of execution, what must be true during any execution step, and what constraints exist on future execution states [3]. Given an agent specified using SNF, we use a forward-chaining process on a set of SNF clauses in order to construct a model for the specification, and thus animate the agent specification [2]. Further, temporal specifications of the above form can be extended with aspects of deliberation [4] and with a dimension of (bounded) belief [6].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
M. Fisher. A Survey of Concurrent MetateM-The Language and its Applications. In Proc. International Conference on Temporal Logic, Springer-Verlag (LNCS 827), 1994.
M. Fisher. Representing and Executing Agent-Based Systems. In Intelligent Agents. Springer-Verlag (LNAI 890), 1995.
M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4), August 1997.
M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proc. International Joint Conference on Artificial Intelligence. Morgan-Kaufmann, 1997.
M. Fisher. Representing Abstract Agent Architectures. In Intelligent Agents V. Springer-Verlag (LNAI 1555), 1999.
M. Fisher and C. Ghidini. Programming Resource-Bounded Deliberative Agents. In Proc. International Joint Conference on Artificial Intelligence. Morgan-Kaufmann, 1999.
M. Fisher and T. Kakoudakis. Flexible Agent Grouping in Executable Temporal Logic. In Proc. International Symposium on Languages for Intensional Programming, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M. (2001). Direct Execution of Agent Specifications. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_13
Download citation
DOI: https://doi.org/10.1007/3-540-45484-5_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42716-2
Online ISBN: 978-3-540-45484-7
eBook Packages: Springer Book Archive