MoL-2016-26: Evidence-Based Belief Revision for Non-Omniscient Agents

MoL-2016-26: Gogoladze, Kristina (2016) Evidence-Based Belief Revision for Non-Omniscient Agents. [Report]

[thumbnail of MoL-2016-26.text.pdf]

Download (522kB) | Preview


It has long been recognized that inconsistencies may easily occur in people's beliefs in real life. Even if one is rational, one may hold inconsistent beliefs due to receiving conflicting information along with the fact that our limited capacity for information processing (or limited memory) may make it hard to spot the inconsistency. A rational agent would, of course, like to revise his beliefs when he becomes aware of an inconsistency. However, the usual discussion in the Belief Revision literature on solving the contradiction involving old evidence and new evidence assumes that the agent is always aware of this contradiction (because of his logical omniscience).

In this thesis, we propose a logic that allows an agent to hold inconsistent beliefs if he has not noticed that they are inconsistent. The logic allows the agent to reason consistently, even if there are inconsistencies in the agent's beliefs. Furthermore, if the agent becomes aware of the inconsistency, he is able to correct his beliefs so that they are no longer explicitly contradictory. We first give the semantics of the logic, and then present a sound and complete axiomatization for the proposed logic, forming a formal basis for holding and fixing inconsistent beliefs in a rational agent.

Item Type: Report
Report Nr: MoL-2016-26
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Uncontrolled Keywords: belief revision, dynamic epistemic logic, evidence-based beliefs, inconsistent beliefs, logic, non-omniscient
Subjects: Computation
Depositing User: Dr Marco Vervoort
Date Deposited: 02 Mar 2017 14:36
Last Modified: 02 Mar 2017 14:36

Actions (login required)

View Item View Item