A semantical approach to the concept of screened revision

Bellot, D.; Godefroid, C.; Han, Pierre; Prost, Jean-Philippe; Schlechta, Karl; Würbel, Eric

doi:10.1111/j.1755-2567.1997.tb00738.x

Cited by 5 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a special case of accommodative revision, we will get screened revision (Makinson 1997) by defining that ϕ * κ ≡ κ in Equation (2) whenever ϕ is unbelievable. Our proposal resembles the proposal by Bellot et al (1997), which also first revises incoming information with the convictions and then revises the epistemic state with the result of the first revision, but uses the same fixed distance-based revision operator in both cases. Our proposal lets the agent choose the two components separately, without imposing limitations on the representation of epistemic states.…”

Section: Belief Revisionmentioning

confidence: 99%

How to deal with unbelievable assertions

Nykänen

Hakli

Eloranta

et al. 2015

Ann Math Artif Intell

View full text Add to dashboard Cite

We tackle the problem that arises when an agent receives unbelievable information. Information is unbelievable if it conflicts with the agent's convictions, that is, what the agent considers knowledge. We propose two solutions based on modifying the information so that it is no longer unbelievable. In one solution, the source and the receiver of the information cooperatively resolve the conflict. For this purpose we introduce a dialogue protocol in which the receiver explains what is wrong with the information by using logical interpolation, and the source produces a new assertion accordingly. If such cooperation is not possible, we propose an alternative solution in which the receiver revises the new piece of information by its own convictions to make it acceptable.

show abstract

Section: Belief Revisionmentioning

confidence: 99%