Revision by Translation

Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

In this paper, we show that it is possible to accomplish belief revision in any logic which is translatable to classical logic. We start with the example of the propositional modal logic K and show that a belief operation in K defined in terms of K's translation to classical logic verifies the AGM postulates. We also consider the case of non-classical logics by taking Belnap's four-valued logic [5] as an example. A sound and complete axiomatization of that logic in classical logic is given and then used in the definition of a belief revision operator for the logic in terms of a classical AGM operator. We show that the operator also verifies the AGM postulates whenever they make sense in the context of non-classical logics.
Original languageEnglish
Title of host publicationInformation, Uncertainty and Fusion
EditorsB BouchonMeunier, R R Yager, L A Zadeh
Place of PublicationNORWELL
PublisherKluwer Academic Publishers
Pages3 - 31
Number of pages29
ISBN (Print)079238590X
Publication statusPublished - 2000
EventConference on Information Processing and Management of Uncertainty in Knowledge-based Systems - PARIS, France
Duration: 1 Jan 2000 → …

Publication series

NameKLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE

Conference

ConferenceConference on Information Processing and Management of Uncertainty in Knowledge-based Systems
Country/TerritoryFrance
CityPARIS
Period1/01/2000 → …

Fingerprint

Dive into the research topics of 'Revision by Translation'. Together they form a unique fingerprint.

Cite this