2012 | OriginalPaper | Buchkapitel
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents
verfasst von : Isaac Pinyol
Erschienen in: Computational Logic in Multi-Agent Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper, we present a logical framework to characterize the reasoning of goal-processing bounded agents. This reasoning is characterized by the particular role of beliefs in goal activation and maintenance. The logical framework is defined as a time-situated meta-logic, where only goals and beliefs exist as primitive attitudes and hold for a given instant of time. The meta-logic is composed of a hierarchy of three many-sorted first-order languages, and a set of axioms and axioms schemata that compile a first-order theory, describing the reasoning of the agent, i.e., the interplay between beliefs, goals and belief-supporting sets. We also show how the time-situated nature of the logic provides protection against inconsistencies, proving that the meta-logic is consistent for all underlying languages.