\input zb-basic
\input zb-ioport
\iteman{io-port 06084917}
\itemau{Pinyol, Isaac}
\itemti{A time-situated meta-logic for characterizing goal-processing bounded agents.}
\itemso{Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27--28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 27-42 (2012).}
\itemab
Summary: 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.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-32897-8\_4}
\end