bei Google ScholarTitelangaben
van de Putte, Frederik:
Prime implicates and relevant belief revision.
In: Journal of Logic and Computation.
Bd. 23
(2013)
Heft 1
.
- S. 109-119.
ISSN 1465-363X
DOI: https://doi.org/10.1093/logcom/exr040
Abstract
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.
Weitere Angaben
| Publikationsform: | Artikel in einer Zeitschrift |
|---|---|
| Begutachteter Beitrag: | Ja |
| Institutionen der Universität: | Fakultäten > Kulturwissenschaftliche Fakultät Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I Fakultäten |
| Titel an der UBT entstanden: | Nein |
| Themengebiete aus DDC: | 100 Philosophie und Psychologie 100 Philosophie und Psychologie > 100 Philosophie 100 Philosophie und Psychologie > 160 Logik |
| Eingestellt am: | 26 Nov 2018 11:20 |
| Letzte Änderung: | 26 Nov 2018 11:51 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/46384 |