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.
Bibliographical noteFunding 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