A Logic for Characterizing Multiple Bounded Agents

Abstract 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.

Authors

• John Grant
• Sarit Kraus Bar-Ilan University
• Donald Perlis

Keywords

• logics of knowledge and beliefs
• bounded agents
• real-time reasoning
• multiple agents