Abstract | ||
---|---|---|
Possible-world semantics are provided for Parikh's relevance-sensitive axiom for belief revision, known as axiom (P). Loosely speaking, axiom (P) states that if a belief set K can be divided into two disjoint compartments, and the new information ¿ relates only to the first compartment, then the second compartment should not be effected by the revision of K by ¿. Using the well-known connection between AGM revision functions and preorders on possible worlds as our starting point, we formulate additional constraints on such preorders that characterise precisely Parikh's axiom (P). Interestingly, the additional constraints essentially generalise a criterion of plausibility between possible worlds that predates axiom (P). A by-product of our study is the identification of two possible readings of Parikh's axiom (P), which we call the strong and the weak versions of the axiom. Regarding specific operators, we show that Dalal's belief revision operator satisfies both weak and strong (P), and it is therefore relevance-sensitive. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.artint.2015.08.007 | Artificial Intelligence |
Keywords | Field | DocType |
Belief revision,Possible-world semantics,Knowledge representation | Axiom schema,Axiom of choice,Action axiom,Discrete mathematics,Zermelo–Fraenkel set theory,Scott's trick,Urelement,Constructive set theory,Axiom independence,Mathematics | Journal |
Volume | Issue | ISSN |
229 | C | 0004-3702 |
Citations | PageRank | References |
6 | 0.55 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pavlos Peppas | 1 | 265 | 31.74 |
Mary-anne Williams | 2 | 953 | 128.61 |
Samir Chopra | 3 | 225 | 17.48 |
Norman Y. Foo | 4 | 525 | 69.43 |