Stratified Evidence Logics

Evidence logics model agents' belief revision process as they incorporate and aggregate information obtained from multiple sources. This information is captured using neighbourhood structures where individual neighbourhoods represent pieces of evidence. Nevertheless, these formalisms represent evidence aggregation qualitatively and do not allow one to quantify the amount of resources required to reach a specific belief. In this paper we propose an extended framework which allows such information to be recorded, provide a complete deductive calculus and a proof of decidability, and show how existing frameworks can be embedded into ours.

[1]  Didier Dubois,et al.  How to Infer from Inconsisent Beliefs without Revising? , 1995, IJCAI.

[2]  Weiru Liu,et al.  The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks , 2016, Inf. Fusion.

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

[4]  Pavel Naumov,et al.  Budget-Constrained Knowledge in Multiagent Systems , 2015, AAMAS.

[5]  Didier Dubois,et al.  Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

[6]  Emiliano Lorini,et al.  Reasoning About Belief, Evidence and Trust in a Multi-agent Setting , 2017, PRIMA.

[7]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[8]  Johan van Benthem,et al.  Evidence and plausibility in neighborhood structures , 2013, Ann. Pure Appl. Log..

[9]  Aybüke Özgün,et al.  Topo-Logic as a Dynamic-Epistemic Logic , 2017, LORI.

[10]  Emiliano Lorini,et al.  A Logical Theory of Belief Dynamics for Resource-Bounded Agents , 2016, AAMAS.

[11]  Emiliano Lorini,et al.  The Dynamics of Epistemic Attitudes in Resource-Bounded Agents , 2018, Stud Logica.

[12]  Sergei N. Artëmov.  Logic of Proofs , 1994, Ann. Pure Appl. Log..

[13]  Fernando R. Velázquez-Quesada.  Explicit and Implicit Knowledge in Neighbourhood Models , 2013, LORI.

[14]  Larry W. Miller.  Normal Functions and Constructive Ordinal Notations , 1976, J. Symb. Log..

[15]  Lawrence S. Moss,et al.  Topological reasoning and the logic of knowledge: preliminary report , 1992 .

[16]  Alexandru Baltag,et al.  Beliefs and Evidence in Justification Models , 2016, Advances in Modal Logic.

[17]  Alexandru Baltag,et al.  Evidence Logics with Relational Evidence , 2017, LORI.

[18]  Johan van Benthem,et al.  Evidence Logic: A New Look at Neighborhood Structures , 2012, Advances in Modal Logic.

[19]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[20]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.