On the epistemic foundations of agent theories
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.
Unable to display preview. Download preview PDF.
- 2.Ho N. Duc. Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 7, 1997.Google Scholar
- 3.F. Koriche. Approximate Reasoning about Combined Knowledge. In this volume.Google Scholar
- 4.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.Google Scholar
- 6.M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications, volume 799 of LNAI. Springer-Verlag, Heidelberg, 1994.Google Scholar
- 7.M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2):115–152, 1995.Google Scholar