Abstract
A situated agent is a computer-based system that is embedded in a real-time world or environment, is ascribed with some mental states, and may enjoy a disconcerting variety of properties such as proactivity, reactivity, etc. In this paper we present the design of a class of knowledge-based situated agents and an agent specification language, called SICLE. After the SICLE interpreter receives a SICLE specification of an agent's initial knowledge base, atomic actions (their conditional effects and executability conditions), initial intentions and some predefined optimal plans, the agent for this specification is born and becomes active. The agent will always try to realize all its intentions at its best and may produce new intentions in the real-time. The SICLE interpreter employs a non-monotonic reasoning system, namely an extended logic programming system, to model the real-world, to record the past history of the environment, and to reify the underlying action theory. For those situations which may frequently arise, the user can provide optimal plans to achieve timely response. The SICLE language and its associated architecture and interpreter was designed based on an extended logic programming system and action theory. A simple example of commuter between two cities is used to present our approach.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alchorrón, C., Gärdenfors, P. and Makinson, D., On the logic of theory change: Partial meet contraction and revision functions, J. of Symbolic Logic, 50:2, 1985, 510–530
Alferes, J. J. and Pereira, L. M., Reasoning with Logic Programming, LNAI 1111, Springer-Verlag, 1996
Arkin, R. C., Towards the unification of navigational planning and reactive control, AAAI Spring Symposium on Robot Navigational Working Notes, 1989, 1–5
Damásio, C. V., Pereira, L.M., and Nejdl, W., REVISE: An Extended Logic Programming System for Revising Knowledge Bases, Proc. of KR'94, 1994
Fisher, M., A survery of Concurrent METATEM — the language and its applications, Proc. of 1st Internat. Conf. on Temporal Logic, LNAI 827, Springer-Verlag, 1994, pp. 480–505
Ginsberg, M., Counterfactuals, Artificial Intelligence, 30:1, 1986, 35–79
Ingrand, F. F., and Georgeff, M. P., Managing deliberation and reasoning in real-time AI systems, Proc. of the 1990 DARPA Workshop on Innovative Approaches to Planning Scheduling and Control, 1990, 284–291
Li, R. and Pereira, L. M., Knowledge Assimilation in Domains of Actions: A Possible Causes Approach, Journal of Applied Non-Classical Logic, Special issue on Inconsistency Handling in Knowledge Systems, 1996 (in press)
Li, R. and Carmo, J., On completeness of a positional interval logic with equality, overlap and subinterval relations, Journal of the IGPL, 3:5, 1995, 765–790
Li, R. and Pereira, L. M., Temporal reasoning with abductive logic programming, in: W. Wahlster (ed.), Proc. of ECAI'96, European Conf. on Artificial Intelligence, John Wiley & Sons, 1996, pp. 13–17
Li, R. and Pereira, L. M., What is believed is what is explained (sometimes), Proc. of AAAI'96, American National Conference on Artificial Intelligence, 1996, pp. 550–555
Li, R. and Pereira, L. M., Updating temporal knowledge bases with the possible causes approach, in: A. M. Ramsay (ed.), Artificial Intelligence: Methodology, Systems, Applications, IOS Press, 1996, pp. 148–157
Nebel, B., Belief revision and default reasoning: Syntax-based approaches, Proc. of KR'91, 1991
Nilsson, N. J., Teleo-reactive programs for agent control, J. of Artificial Intelligence Research, 1,1994,139–158
Payton, D., Internalized plans: A representation for action resources, in: P. Maes (ed.), Designing Autonomous Agents, MIT Press, 1991, 89–103
Przymusinski, T., On the declarative semantics of stratified deductive databases and logic programs, In J. Minker, editor, Foundations of Deductive Databases and logic Programming, Morgan Kaufmann, 1987, 193–216
Rao, A. S., and M. P. Georgeff, Modelling rational agents within a BDI arcitecture, Proc. of KR '91, 1991, 473–484
Reiter, R., A theory of diagnosis from first principles, Artificial Intelligence, 32:1, 1987, 57–96
N. Rescher and A. Urquhart, Temporal Logic, Springer-Verlag, 1971
Schroeder, M., Mora, I. and Pereira, L. M., A Deliberative and Reactive Diagnosis Agent based on Logic Programming, Proc. of ATAL'96, this volume, Springer-Verlag, 1997
Winslett, M., Reasoning about action using a possible models approach, Proc. of AAAI'88, American National Conference on Artificial Intelligence, 89–93
Wooldridge, M., A knowledge-theoretical semantics for concurrent Metatem, Proc. of ATAL'96, this volume, Springer-Verlag, 1996
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, R., Pereira, L.M. (1997). Knowledge-based situated agents among us a preliminary report. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013598
Download citation
DOI: https://doi.org/10.1007/BFb0013598
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62507-0
Online ISBN: 978-3-540-68057-4
eBook Packages: Springer Book Archive