Epistemic Profiles and Belief Structures

The paper is devoted to a novel formalization of beliefs in multiagent systems. Our aim is 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 are isolated and analyzed. We give a novel semantics reflecting those stages and suitable for building complex belief structures in the context of incomplete and/or inconsistent information. Namely, an agent starts with constituents, i.e., sets of initial beliefs acquired by perception, expert supplied knowledge, communication with other agents and perhaps other ways. Next, the constituents are transformed into consequents according to agents' epistemic profiles. Additionally, a uniform treatment of single agent and group beliefs is achieved. Importantly, we indicate an implementation framework ensuring tractability of reasoning about beliefs.

[1]  J. Armstrong.  Knowledge and Belief , 1953 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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