TY - GEN
T1 - Stepwise revision operations
AU - Gabbay, Dov M.
AU - Rodrigues, Odinaldo T.
AU - Russo, Alessandra
PY - 2010
Y1 - 2010
N2 - In this chapter, we start our analysis of the problems of defining a revision operation in a classical logic setting. We will see that the most straightforward way of defining such an operator is to consider what happens when one single application of the operator takes place. This application is in a sense unaware of the agent's history of revision, and this has implications on the iteration of the revision process. For that reason, we call this type of revision operation stepwise. We will consider the iteration of the revision process in Chapter 4.
AB - In this chapter, we start our analysis of the problems of defining a revision operation in a classical logic setting. We will see that the most straightforward way of defining such an operator is to consider what happens when one single application of the operator takes place. This application is in a sense unaware of the agent's history of revision, and this has implications on the iteration of the revision process. For that reason, we call this type of revision operation stepwise. We will consider the iteration of the revision process in Chapter 4.
UR - http://www.scopus.com/inward/record.url?scp=77956307585&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14159-1_3
DO - 10.1007/978-3-642-14159-1_3
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956307585
SN - 9783642141584
T3 - Cognitive Technologies
SP - 55
EP - 103
BT - Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
PB - Springer Verlag
ER -