Belief revision with explicit justifications : an exploration in type theory
Vaj Tijn Borghuis, RP Rob Nederpelt · TU/e Research Portal · 2000
This paper explores belief revision for belief states in which an agent's beliefs as well as his justifications for these beliefs are explicitly represented. Treating justifications as first-class citizens allows for a deductive perspective on belief revision. We study the belief change operations emerging from this perspective in the setting of typed lambda calculus, and situate these operations with respect to standard approaches.