Taming Complex Beliefs

A novel formalization of beliefs in multiagent systems has recently been proposed by Dunin-Keplicz and Szalas. 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.

[1]  Linh Anh Nguyen.  Foundations of Modal Deductive Databases , 2007, Fundam. Informaticae.

[2]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[3]  Andrzej Szalas,et al.  Epistemic Profiles and Belief Structures , 2012, KES-AMSTA.

[4]  Andrzej Szalas,et al.  Logical foundations and complexity of 4QL, a query language with unrestricted negation , 2010, J. Appl. Non Class. Logics.

[5]  Barbara Dunin-Keplicz,et al.  Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.

[6]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[7]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[8]  François Fages,et al.  Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..

[9]  Didier Dubois,et al.  On Ignorance and Contradiction Considered as Truth-Values , 2007, Log. J. IGPL.

[10]  as,et al.  Living with inconsistency and taming nonmonotonicity , 2010 .

[11]  Patryk Spanily.  The Inter4QL Interpreter , 2012 .

[12]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[13]  Heinrich Wansing,et al.  A general possible worlds framework for reasoning about knowledge and belief , 1990, Stud Logica.

[14]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[15]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[16]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[17]  Linh Anh Nguyen.  Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics , 2007, Log. J. IGPL.

[18]  Barbara Dunin-Keplicz,et al.  Awareness as a vital ingredient of teamwork , 2006, AAMAS '06.

[19]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, ICALP.

[20]  Heinrich Wansing,et al.  Knowledge and belief in philosophy and artificial intelligence , 1995 .

[21]  Andrzej Szalas,et al.  Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic , 2010, Int. J. Approx. Reason..

[22]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[23]  J. Hintikka.  Knowledge and belief , 1962 .

[24]  Davide Ancona,et al.  Languages for Programming BDI-style Agents: an Overview , 2005, WOA.

[25]  G. Priest.  Paraconsistent Belief Revision , 2008 .

[26]  Andrzej Szalas,et al.  How an agent might think , 2013, Log. J. IGPL.

[27]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[28]  Natasha Alechina,et al.  Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness , 2007, TARK '07.

[29]  C. Guarneri.  Cornell University Press , 1991 .

[30]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[31]  Andrzej Szalas,et al.  Partiality and Inconsistency in Agents' Belief Bases , 2013, KES-AMSTA.

[32]  Andrzej Szalas,et al.  Modeling and Reasoning with Paraconsistent Rough Sets , 2009, Fundam. Informaticae.

[33]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[34]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[35]  Sandra de Amo,et al.  A paraconsistent logic programming approach for querying inconsistent databases , 2007, Int. J. Approx. Reason..

[36]  Dov M. Gabbay,et al.  Handbook of paraconsistency , 2007 .

[37]  Edwin D. Mares,et al.  A Paraconsistent Theory Of Belief Revision , 2002 .

[38]  Robert Stalnaker.  On Logics of Knowledge and Belief , 2006 .