Abstract
A novel formalization of beliefs in multiagent systems has recently been proposed by Dunin-Kęplicz and Szałas. The aim has been to bridge the gap between idealized logical approaches to modeling beliefs and their actual implementations. Therefore the stages of belief acquisition, intermediate reasoning and final belief formation have been isolated and analyzed. In conclusion, a novel semantics reflecting those stages has been provided. This semantics is based on the new concept of epistemic profile, reflecting agent’s reasoning capabilities in a dynamic and unpredictable environment. The presented approach appears suitable for building complex belief structures in the context of incomplete and/or inconsistent information. One of original ideas is that of epistemic profiles serving as a tool for transforming preliminary beliefs into final ones. As epistemic profile can be devised both on an individual and a group level in analogical manner, a uniform treatment of single agent and group beliefs has been achieved.
In the current paper these concepts are further elaborated. Importantly, we indicate an implementation framework ensuring tractability of reasoning about beliefs, propose the underlying methodology and illustrate it on an example.
Supported by the Polish National Science Centre grants 2011/01/B/ST6/02769 and 6505/B/T02/2011/40.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Pub. Co. (1996)
Ågotnes, T., Alechina, N.: Full and relative awareness: A decidable logic for reasoning about knowledge of unawareness. In: Proc. of TARK, pp. 6–14. ACM Press (2007)
Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS, vol. 1111. Springer, Heidelberg (1996)
Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Many Valued Logic, pp. 8–37. Reidel (1977)
Béziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.): Handbook of Paraconsistency. College Publications (2007)
Brewka, G.: Non-Monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press (1991)
de Amo, S., Pais, M.S.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning 46, 366–386 (2007)
Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL 16(2), 195–216 (2008)
Dunin-Kęplicz, B., Nguyen, L.A., Szałas, A.: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning 51(3), 346–362 (2010)
Dunin-Kęplicz, B., Szałas, A.: Epistemic Profiles and Belief Structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 360–369. Springer, Heidelberg (2012)
Dunin-Kęplicz, B., Szałas, A.: Paraconsistent Distributed Belief Fusion. In: Proc. IDC 2012, 6th International Symposium on Intelligent Distributed Computing. SCI, vol. 446, pp. 59–69. Springer, Heidelberg (2012)
Dunin-Kęplicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems. A Formal Approach. John Wiley & Sons, Ltd. (2010)
Dunin-Kęplicz, B., Verbrugge, R.: Awareness as a vital ingredient of teamwork. In: Stone, P., Weiss, G. (eds.) Proc. of AAMAS 2006, pp. 1017–1024 (2006)
Fages, F.: Consistency of Clark’s completion and existence of stable models. Methods of Logic in Computer Science 1, 51–60 (1994)
Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (2003)
Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation 2(3), 397–425 (1992)
Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)
Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoretical Computer Science 58, 155–174 (1988)
Laux, A., Wansing, H. (eds.): Knowledge and Belief in Philosophy and Artificial Intelligence. Akademie Verlag, Berlin (1995)
Łukaszewicz, W.: Non-Monotonic Reasoning - Formalization of Commonsense Reasoning. Ellis Horwood (1990)
Małuszyński, J., Szałas, A.: Living with inconsistency and taming nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 384–398. Springer, Heidelberg (2011)
Małuszyński, J., Szałas, A.: Logical foundations and complexity of 4QL, a query language with unrestricted negation. Journal of Applied Non-Classical Logics 21(2), 211–232 (2011)
Małuszyński, J., Szałas, A.: Partiality and Inconsistency in Agents Belief Bases. In: Agents and Multi-agent Systems – Technologies and Applications. IOS Press (to appear, 2013)
Marek, V.W., Truszczyński, M.: Nonmonotonic Logic. Springer (1993)
Mares, E.D.: A paraconsistent theory of belief revision. Erkenntnis 56, 229–246 (2002)
Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) WOA 2005 - Workshop From Objects to Agents, pp. 9–15 (2005)
Nguyen, L.A.: Foundations of modal deductive databases. Fundamenta Informaticae 79(1-2), 85–135 (2007)
Nguyen, L.A.: Constructing finite least Kripke models for positive logic programs in serial regular grammar logics. Logic Journal of the IGPL 16(2), 175–193 (2008)
Priest, G.: Paraconsistent belief revision. Theoria 67(3), 214–228 (2001)
Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica 35, 106–115 (1982)
Sobczyk, Ł.: 4QL Runner developer description (2012), http://4ql.org/wp-content/uploads/2012/10/4qlRunner.pdf
Spanily, P.: The Inter4QL interpreter (2012), http://4ql.org/wp-content/uploads/2012/10/inter4ql.pdf
Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies 128, 169–199 (2006)
Szałas, A.: How an agent might think. Logic Journal of the IGPL 21(3), 515–535 (2013)
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic. Springer (2007)
Vitória, A., Małuszyński, J., Szałas, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)
Wansing, H.: A general possible worlds framework for reasoning about knowledge and belief. Studia Logica 49, 523–539 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dunin-Kęplicz, B., Szałas, A. (2013). Taming Complex Beliefs. In: Nguyen, N.T. (eds) Transactions on Computational Collective Intelligence XI. Lecture Notes in Computer Science, vol 8065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41776-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-41776-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41775-7
Online ISBN: 978-3-642-41776-4
eBook Packages: Computer ScienceComputer Science (R0)