Taking LEVI IDENTITY seriously

A plea for iterated belief contraction

Abhaya Nayak*, Randy Goebel, Mehmet Orgun, Tarn Pham

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

18 Citations (Scopus)


Most work on iterated belief change has focused on iterated belief revision, namely how to compute (K*x)y. Historically however, belief revision can be defined in terms of belief expansion and belief contraction, where expansion and contraction are viewed as primary operators. Accordingly, our attention to iterated belief change should be focused on constructions like (Kx+)y+, (K x-)y+, (Kx +)y- and (Kx-) y-. The first two of these are relatively straightforward, but the last two are more problematic. Here we consider these latter, and formulate iterated belief change by employing the Levi identity and the Harper Identity as the guiding principles.

Original languageEnglish
Title of host publicationKnowledge Science, Engineering and Management - First International Conference, KSEM 2006, Proceedings
Place of PublicationBerlin, New York
PublisherSpringer, Springer Nature
Number of pages13
Volume4092 LNAI
ISBN (Electronic)9783540370352
ISBN (Print)3540370331, 9783540370338
Publication statusPublished - 2006
Event1st International Conference on Knowledge Science, Engineering and Management, KSEM 2006 - Guilin, China
Duration: 5 Aug 20068 Aug 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4092 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349


Other1st International Conference on Knowledge Science, Engineering and Management, KSEM 2006


  • Belief Change
  • Information State Change
  • Iterated Belief Contraction

Fingerprint Dive into the research topics of 'Taking LEVI IDENTITY seriously: A plea for iterated belief contraction'. Together they form a unique fingerprint.

Cite this