Abstract
We argue that existing epistemic logics are not able to account for resource-bounded reasoning and therefore cannot serve the needs of agent theories adequately. We propose a new approach to reasoning about resource-bounded agents which combines epistemic logic with complexity analysis.
Preview
Unable to display preview. Download preview PDF.
References
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
Ho N. Duc. Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 7, 1997.
F. Koriche. Approximate Reasoning about Combined Knowledge. In this volume.
A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers, 1991.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications, volume 799 of LNAI. Springer-Verlag, Heidelberg, 1994.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2):115–152, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duc, H.N. (1998). On the epistemic foundations of agent theories. 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/BFb0026765
Download citation
DOI: https://doi.org/10.1007/BFb0026765
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