Properties of iterated mutiple belief revision

Dongmo Zhang, Vladimir Lifschitz, Ilkka Niemelä

    Research output: Chapter in Book / Conference PaperConference Paper

    Abstract

    ![CDATA[In this paper we investigate the properties of iterated multiple belief revision. We examine several typical assumptions for iterated revision operations with an ontology where an agent assigns ordinals to beliefs, representing strength or firmness of beliefs. A notion of minimal change is introduced to express the idea that if no evidence to show how a belief set should be reordered after it is revised, the changes on the ordering should be minimal. It has been shown that under the assumption of minimal change, the multiple version of Darwiche and Pearls postulate (C1) holds no matter in what degree new information is accepted. Moreover, under the same assumption, Boutiliers postulate (CB) holds if and only if new information is always accepted in the lowest degree of firmness while Nayak et al.s postulate (CN) holds if and only if new information is always accepted in the highest degree. These results provide an ontological base for analyzing the rationality of postulates of iterated belief revision.]]
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning: Proceedings of the 7th International Conference, held at Fort Lauderdale, FL., USA, 6-8 January 2004
    PublisherSpringer
    Number of pages12
    ISBN (Print)354020721X
    Publication statusPublished - 2004
    EventInternational Conference on Logic Programming and Non-monotonic Reasoning -
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceInternational Conference on Logic Programming and Non-monotonic Reasoning
    Period1/01/05 → …

    Keywords

    • iterated belief revision
    • belief revision
    • multiple belief revision
    • artificial intelligence
    • logic programming

    Fingerprint

    Dive into the research topics of 'Properties of iterated mutiple belief revision'. Together they form a unique fingerprint.

    Cite this