Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Castelfranchi, C., Paglieri, F.: The role of beliefs in goal dynamics: Prolegomena to a constructive theory of intentions. Synthese 155, 237–263 (2007)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42, 213–261 (1990)
Rahwan, I., Amgoud, L.: An argumentation based approach for practical reasoning. In: AAMAS 2006: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 347–354. ACM, New York (2006)
Amgoud, L., Devred, C., Lagasquie-Schiex, M.: Generating possible intentions with constrained argumentation systems. International Journal of Approximate Reasoning (2011) (in press)
Bratman, M.: Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge (1987)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proc. of KR 1991, pp. 473–484. Morgan Kaufmann publishers Inc., San Mateo (1991)
Rao, A., Georgeff, M.: Bdi agents: From theory to practice. In: Proc. of the First International Conference on Multi-Agent Systems, San Francisco, USA (1995)
Grant, J., Kraus, S., Perlis, D.: A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems 3, 351–387 (2000)
Pinyol, I., Sabater-Mir, J., Dellunde, P., Paolucci, M.: Reputation-based decisions for logic-based cognitive agents. In: Autonomous Agents and Multi-Agent Systems, vol. 24, pp. 1–42 (2010)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logic (or: How we can do without modal logics). Journal of AI 65, 29–70 (1994)
Enderton, H.B.: A mathematical introduction to logic. Academic Press, New York (1972)
Kripke, S.: Semantical analysis of modal logic i: Normal modal propositional calculi. In: Zeitschrift fr Mathematische Logik und Grundlagen der Mathematik, vol. 9, pp. 67–96 (1963)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 275–317 (1992)
Halpern, J.Y.: The relationship between knowledge, belief, and certainty. Annals of Mathematics and Artificial Intelligence 4(3-4), 301–322 (1991)
Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM 41(2), 340–367 (1994)
Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 126–143. Springer, Heidelberg (2005)
Casali, A., Godo, L., Sierra, C.: A logical framework to represent and reason about graded preferences and intentions. In: Proc. of KR 2008, Sydney, Australia (2008)
Horvitz, E., Klein, A.: Reasoning, metareasoning, and mathematical truth: Studies of theorem proving under limited resources. In: Proc. of the 11th Conference on Uncertainty and in Artificial Intelligence, pp. 306–314 (1995)
Brogi, A., Turini, F.: Metalogic for knowledge representation. In: Proc. of Knowledge Representation and Reasoning, KR 1991, pp. 61–69 (1991)
Alchourrn, C.E., Grdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic 50(2), 510–530 (1985)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. AI 77(2), 321–358 (1995)
Dunne, P., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Inconsistency tolerance in weighted argument systems. In: Proc. of the AAMAS 2009, Budapest, Hungary, pp. 851–858 (2009)
Chesevar, C., Simari, G.: Modelling inference in argumentation through labeled deduction: Formalization and logical properties. Logica Universalis 1, 93–124 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pinyol, I. (2012). A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-32897-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32896-1
Online ISBN: 978-3-642-32897-8
eBook Packages: Computer ScienceComputer Science (R0)