TY - GEN
T1 - Algorithmic context revision
AU - Gabbay, Dov M.
AU - Rodrigues, Odinaldo T.
AU - Russo, Alessandra
PY - 2010
Y1 - 2010
N2 - In Chapter 3, we provided a number of operations for belief change. The revision operator was then used to analyse the process of iteration in Chapter 4, making use of the fact that consecutive inputs to a database (belief base) naturally give rise to a linear order on the beliefs in that database. We dropped the linearity restriction in Chapter 5 and considered alternatives for dealing with the extra structure available in the database. However, in all of the above, we have not looked into (or attempted to modify) the particular characteristics of the logic L used for the reasoning, apart from the obvious considerations on consistency of the database itself.
AB - In Chapter 3, we provided a number of operations for belief change. The revision operator was then used to analyse the process of iteration in Chapter 4, making use of the fact that consecutive inputs to a database (belief base) naturally give rise to a linear order on the beliefs in that database. We dropped the linearity restriction in Chapter 5 and considered alternatives for dealing with the extra structure available in the database. However, in all of the above, we have not looked into (or attempted to modify) the particular characteristics of the logic L used for the reasoning, apart from the obvious considerations on consistency of the database itself.
UR - http://www.scopus.com/inward/record.url?scp=77956315477&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14159-1_6
DO - 10.1007/978-3-642-14159-1_6
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956315477
SN - 9783642141584
T3 - Cognitive Technologies
SP - 177
EP - 222
BT - Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
PB - Springer Verlag
ER -