TY - GEN
T1 - Revision by translation
AU - Gabbay, Dov M.
AU - Rodrigues, Odinaldo T.
AU - Russo, Alessandra
PY - 2010
Y1 - 2010
N2 - As we have seen, the traditional AGM theory of belief revision put forward a number of postulates to constrain how the state of beliefs of an agent should change when faced with a new belief that possibly contradicts her previous beliefs. The whole AGM framework was formulated under the assumption that the logic used to represent a belief set was classical. Since classical theories degenerate in the presence of inconsistency, inconsistency plays a major role in the whole process, and this has two major consequences: firstly, a 'proper' revision is only triggered when the new belief is inconsistent with the previous belief set; and secondly, the postulates cannot be applied directly to non-classical logics.
AB - As we have seen, the traditional AGM theory of belief revision put forward a number of postulates to constrain how the state of beliefs of an agent should change when faced with a new belief that possibly contradicts her previous beliefs. The whole AGM framework was formulated under the assumption that the logic used to represent a belief set was classical. Since classical theories degenerate in the presence of inconsistency, inconsistency plays a major role in the whole process, and this has two major consequences: firstly, a 'proper' revision is only triggered when the new belief is inconsistent with the previous belief set; and secondly, the postulates cannot be applied directly to non-classical logics.
UR - http://www.scopus.com/inward/record.url?scp=77956332451&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14159-1_7
DO - 10.1007/978-3-642-14159-1_7
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956332451
SN - 9783642141584
T3 - Cognitive Technologies
SP - 223
EP - 270
BT - Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
PB - Springer Verlag
ER -