at Google ScholarTitle data
van de Putte, Frederik:
Prime implicates and relevant belief revision.
In: Journal of Logic and Computation.
Vol. 23
(2013)
Issue 1
.
- pp. 109-119.
ISSN 1465-363X
DOI: https://doi.org/10.1093/logcom/exr040
Abstract in another language
This article discusses Parikh's axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 994–1002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 70–76). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377–387). Finally, a weak yet sufficient condition for irrelevance is presented.
Further data
| Item Type: | Article in a journal |
|---|---|
| Refereed: | Yes |
| Institutions of the University: | Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I Faculties |
| Result of work at the UBT: | No |
| DDC Subjects: | 100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 160 Logic |
| Date Deposited: | 26 Nov 2018 11:20 |
| Last Modified: | 26 Nov 2018 11:51 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/46384 |