Abstract
Current logical approaches to describe intelligent agents tend to be over-abstract rather than being practical. In contrast, hybrid architectures in the software engineering tradition, such as INTERRAP [9], tend to neglect formal methods, leaving a gap between theory and practice. We present the Coop calculus, a language for concurrent, continuous inference processes, as a means to bridge this gap. Coop presents a declarative account of layered reasoning in a rational and logical setting, but abandons a rigid, cycle-oriented view to obtain an operationally reactive agent core.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. A. Brooks. Intelligence without reason. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, 1991.
M. d' Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In this volume.
K. V. Hindricks, F. S. de Boer, W. van der Hoek and J. J. Ch. Meyer. Formal Semantics for an Abstract Agent Programming Language. In this volume.
C. G. Jung, K. Fischer, and A. Burt. Multi-agent Planning using an Abductive Event Calculus. Number RR-96-4 in DFKI Research Report. DFKI GmbH, Saarbrücken, Germany, 1996.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213–261, 1990.
M. N. Huhns, editor. Distributed Artificical Intelligence. Research Notes in AI. Morgan Kaufmann, 1987.
R. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, volume 1154 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
D. M. Lyons and A. J. Hendricks. A Practical Approach to Integrating Reaction and Deliberation. In Proceedings of the 1st International Conference on Artifical Intelligence Planning Systems, 1992.
J. P. Müller. The Design of Intelligent Agents: A Layered Approach, volume 1177 of Lecture Notes in Artificial Intelligence. Springer-Verlag, December 1996.
A. Newell. Unified theories of cognition. Harvard University Press, Cambridge, London, 1990.
A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 439–449. Morgan Kaufmann, October 1992.
S J. Russel and P. Norvig. Artificial Intelligence, A Modern Approach. Prentice Hall, 1995.
M. Shanahan. Robotics and the Common Sense Informatic Situation. In W. Wahlster, editor, Proceedings of the European Conference on Artificial Intelligence (ECAP96), pages 684–688,1996.
G. Smolka. The Definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends. Springer Verlag, 1995.
M. Spivey. The Z Notation (second edition). Prentice Hall International, Hempel Hempstead, England, 1992.
The Object Management Group. Universal Networked Objects. OMG TC Document. Framingham, September 1994.
M. Wooldridge. Practical Reasoning with Procedural Knowledge: A Logic of BDI Agents with Know-How. In Proceedings of the International Conference on Formal and Applied Practical Reasoning. Springer-Verlag, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jung, C.G., Fischer, K. (1998). A layered agent calculus with concurrent, continuous processes. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds) Intelligent Agents IV Agent Theories, Architectures, and Languages. ATAL 1997. Lecture Notes in Computer Science, vol 1365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026763
Download citation
DOI: https://doi.org/10.1007/BFb0026763
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64162-9
Online ISBN: 978-3-540-69696-4
eBook Packages: Springer Book Archive