A Logic for Characterizing Multiple Bounded Agents

John Grant, Sarit Kraus, Donald Perlis

Research output: Contribution to journalArticlepeer-review

32 Scopus citations


We describe a meta-logic for characterizing the evolving internal reasoning of various families of agents. We view the reasoning of agents as ongoing processes rather than as fixed sets of conclusions. Our approach utilizes a strongly sorted calculus, distinguishing the application language, time, and various syntactic sorts. We have established soundness and completeness results corresponding to various families of agents. This allows for useful and intuitively natural characterizations of such agents' reasoning abilities. We discuss and contrast consistency issues as in the work of Montague and Thomason. We also show how to represent the concept of focus of attention in this framework.

Original languageEnglish
Pages (from-to)351-387
Number of pages37
JournalAutonomous Agents and Multi-Agent Systems
Issue number4
StatePublished - 2000

Bibliographical note

Funding Information:
*This material is based upon work supported by the National Science Foundation under Grant No. IIS-9907482. We wish to thank the referees for their valuable comments and suggestions.


  • Bounded agents
  • Logics of knowledge and beliefs
  • Multiple agents
  • Real-time reasoning


Dive into the research topics of 'A Logic for Characterizing Multiple Bounded Agents'. Together they form a unique fingerprint.

Cite this