Stepwise revision operations

Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationRevision, Acceptability and Context - Theoretical and Algorithmic Aspects
PublisherSpringer Verlag
Number of pages49
ISBN (Print)9783642141584
StatePublished - 2010
Externally publishedYes

Publication series

NameCognitive Technologies
ISSN (Print)1611-2482


Dive into the research topics of 'Stepwise revision operations'. Together they form a unique fingerprint.

Cite this