Abstract
We propose a model of an agent which is both logical and operational. Our model of vivid agents takes into account that agents need not only the ability to draw inferences but also to update their current knowledge state, to represent and to perform (and to simulate the execution of) actions in order to generate and execute plans, and to react and interact in response to perception and communication events. We illustrate our formalization of this basic functionality of an agent by means of examples. We also show how our model fits into the transition system semantics of concurrent reactive systems by identifying the five basic transitions of vivid agent systems: perception, reaction, planning, action, and replanning.
This work has been done during a stay at Univ. Nova de Lisboa under an HCM research grant of the EU. The author wants to thank Luis M. Pereira for his hospitality and support.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
N.D. Belnap: A Useful Four-valued Logic, in G. Epstein and J.M. Dunn (Eds.), Modern Uses of Many-valued Logic, Reidel 1977, 8–37.
R.E. Fikes and N. Nilsson: “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving”, Artificial Intelligence 5:2 (1971), 189–208.
C.A.R. Hoare: An Axiomatic Basis for Computer Programming, Communications of the ACM 12:10 (1969), 576–583.
K. Konolige: A Deduction Model of Belief, Pitman and Morgan Kaufmann, San Mateo (CA), 1986.
H.J. Levesque: Foundations of a Functional Approach to Knowledge Representation, AI 23:2 (1984), 155–212.
D.R. McCarthy and U. Dayal: The Architecture of an Active Database Management System, Proc. ACM SIGMOD-89, 1989, 215–224.
Z. Manna and A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, 1992.
J.P. Müller: A Conceptual Model of Agent Interaction, in S.M. Deen (Ed.), Proc. 2nd Int. Working Conf. on Cooperating Knowledge-Based Systems, DAKE Centre, Univ. of Keele, 1994, 213–233.
A.U. Shankar: An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys 25:3 (1993), 225–262.
Y. Shoham: Agent-Oriented Programming, Artificial Intelligence 60 (1993), 51–92.
G. Wagner: Vivid Logic — Knowledge-Based Reasoning with Two Kinds of Negation, Springer Lecture Notes in AI 764 (1994).
G. Wagner: Disjunctive, Deductive and Active Knowledge Bases, LWI Report 22/1994, Freie Universität Berlin; available as ddakbs.dvi.gz, resp. ddakbs.ps.gz, via ftp from ftp.inf.fu-berlin.de in the directory /pub/reports/wagner (notice that the file has to be ‘gunzip'ed).
G. Wagner: From Information Systems to Knowledge Systems, in E. Falkenberg (Ed.), Proc. of IFIP Conf. on Information System Concepts (ISCO-3), Chapman & Hall, London, 1995.
M. Wooldridge: The Logical Modelling of Computational Multi-Agent Systems, PhD thesis, Dep. of Computation, Manchester Metropolitan University, Manchester, UK, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wagner, G. (1996). A logical and operational model of scalable knowledge- and perception-based agents. In: Van de Velde, W., Perram, J.W. (eds) Agents Breaking Away. MAAMAW 1996. Lecture Notes in Computer Science, vol 1038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031844
Download citation
DOI: https://doi.org/10.1007/BFb0031844
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60852-3
Online ISBN: 978-3-540-49621-2
eBook Packages: Springer Book Archive