A Logic for Characterizing Multiple Bounded Agents

  • Authors:

  • John Grant;Sarit Kraus;Donald Perlis

  • Affiliations:

  • Department of Computer and Information Sciences and Department of Mathematics, Towson University, Towson, MD 21252 USA jgrant@towson.edu;Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, 52900 Israel and Institute for Advanced Computer Studies, University of Maryland, College Park, MD 20742 sar ...;Department of Computer Science, University of Maryland, College Park, MD 20742, USA perlis@cs.umd.edu

  • Venue:
  • Autonomous Agents and Multi-Agent Systems
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.