On the epistemic foundations of agent theories

  • Ho Ngoc Duc
Section V: Theories
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1365)


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.

Unable to display preview. Download preview PDF.


  1. 1.
    P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.CrossRefGoogle Scholar
  2. 2.
    Ho N. Duc. Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 7, 1997.Google Scholar
  3. 3.
    F. Koriche. Approximate Reasoning about Combined Knowledge. In this volume.Google Scholar
  4. 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
  5. 5.
    Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.CrossRefGoogle Scholar
  6. 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. 7.
    M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2):115–152, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Ho Ngoc Duc
    • 1
  1. 1.Institute of InformaticsUniversity of LeipzigLeipzigGermany

Personalised recommendations