Abstract
The notion of computational agents has become very fashionable lately [24, 32]. Building such agents seems to be a good way of congenially providing services to users in networked computer systems. Typical applications are information retrieval over the internet, automation of common user activities, smart user interfaces, integration of heterogenous software tools, intelligent robotics, business and industrial process modeling, etc. The term “agent” is used in many different ways, so let us try to clarify what we mean by it. We take an agent to be any active entity whose behavior is usefully described through mental notions such as knowledge, goals, abilities, commitments, etc. (This is pretty much the standard usage in artificial intelligence, in contrast to the common view of agents as scripts that can execute on remote machines). Moreover, we will focus on the approach to building applications that involves designing a system as a collection of interacting agents.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Philip R. Cohen and Hector J. Levesque. Communicative actions for artificial agents. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multiagent Systems, San Francisco, CA, June 1995. AAAI Press/MIT Press.
Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 1221–1226, Nagoya, August, 1997.
Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Con Golog, a Concurrent Programming Language based on the Situation Calculus: Language and Implementation. Submitted, 1998.
Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Con Golog, a Concurrent Programming Language based on the Situation Calculus: Foundations. Submitted, 1998.
ARPA Knowledge Sharing Initiative External Interfaces Working Group. Specification of the KQML agent-communication language. Working Paper, June 1993.
M. Fisher. A survey of Concurrent METATEM — the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827), pages 480–505. Springer-Verlag, July 1994.
C.C. Green. Theorem proving by resolution as a basis for question-answering systems. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 183–205. American Elsevier, New York, 1969.
M. Hennessy. The Semantics of Programming Languages. John Wiley & Sons, 1990.
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. A logical approach to high-level robot programming–a progress report. In Benjamin Kuipers, editor, Control of the Physical World by Intelligent Agents, Papers from the 1994 AAAI Fall Symposium, pages 109–119, New Orleans, LA, November 1994.
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Unpublished manuscript, 1997.
Yves Lespérance, Hector J. Levesque, and Shane J. Ruman. An experiment in using Golog to build a personal banking assistant. In Lawrence Cavedon, Anand Rao, and Wayne Wobcke, editors, Intelligent Agent Systems: Theoretical and Practical Issues (Based on a Workshop Held at PRICAI ‘86 Cairns, Australia, August 1996), volume 1209 of LNAI, pages 27–43. Springer-Verlag, 1997.
Yves Lespérance, Kenneth Tam, and Michael Jenkin. Reactivity in a Logic-Based Robot Programming Framework. In Cognitive Robotics — Papers from the 1998 AAAI Fall Symposium,pp. 98–105, Orlando, FL, October, 1998, Technical Report FS-98–02, AAAI Press.
Hector J. Levesque. What is planning in the presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 1139–1146, Portland, OR, August 1996.
Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31, 59–84, 1997.
Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4 (5): 655–678, 1994.
Fangzhen Lin and Raymond Reiter. How to progress a database. Artificial Intelligence, 92, 13 1167, 1997.
John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463–502. Edinburgh University Press, Edinburgh, UK, 1979.
Robert C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319–358. Ablex Publishing, Norwood, NJ, 1985.
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept. Aarhus Univ. Denmark, 1981.
Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, San Diego, CA, 1991.
Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, pages 337–351, December 1993.
Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proc. of the 5th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR ‘86), pages 2–13, 1996.
Raymond Reiter. Sequential, temporal GOLOG. In A.G. Cohn and L.K. Schubert, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR ‘88), pages 547–556, Trento, Italy, Morgan Kaufmann, 1998.
D. Riecken (editor). Communications of the ACM 37 (7), special issue on intelligent agents, July 1994.
Stanley J. Rosenschein and Leslie P. Kaelbling. A situated view of representation and control. Artificial Intelligence, 73: 149–173, 1995.
Shane J. Ruman. GOLOG as an agent-programming language: Experiments in developing banking applications. Master’s thesis, Department of Computer Science, University of Toronto, 1996.
Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence,pages 689–695, Washington, DC, July 1993. AAAI Press/The MIT Press.
Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Goals and rational action in the situation calculus — a preliminary report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, pages 117–122, Cambridge, MA, November 1995.
Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Specifying Communicative Multi-Agent Systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines,Cambridge, MA, November, 1997, AAAI Press.
Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(11:51–92,1993.
Michael J. Wooldridge. Time, knowledge, and choice. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents Volume II — Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95), Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996.
Michael J. Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10 (2), 1995.
Eric K.S. Yu, John Mylopoulos, and Yves Lespérance. AI models for business process reengineering. IEEE Expert, 11:16–23, August 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lespérance, Y., Levesque, H.J., Reiter, R. (1999). A Situation Calculus Approach to Modeling and Programming Agents. In: Wooldridge, M., Rao, A. (eds) Foundations of Rational Agency. Applied Logic Series, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9204-8_12
Download citation
DOI: https://doi.org/10.1007/978-94-015-9204-8_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5177-6
Online ISBN: 978-94-015-9204-8
eBook Packages: Springer Book Archive