|Abstract||The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life in 1999 when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh. First, the relation of relevance was considered modulo the belief set under consideration, Second, the belief set was put in a canonical form, known as its finest splitting. In this paper we explain these ideas; relate the approaches of Rodrigues and Parikh to each other; and briefly report some recent results of Kourousias and Makinson on the extent to which AGM belief change operations respect relevance. Finally we suggest a further refinement of the notion of relevance by introducing a parameter that allows one to take epistemic as well as purely logical components into account. A version of this was published in the /Journal of Applied Logic/ (Elsevier).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Barry Smith (1991). Relevance, Relatedness and Restricted Set Theory. In Georg Schurz (ed.), Advances in Scientific Philosophy.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Jan Dejnožka (2010). The Concept of Relevance and the Logic Diagram Tradition. Logica Universalis 4 (1):67-135.
Peter Gardenfors (1990). Belief Revision and Relevance. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:349 - 365.
Pavlos Peppas, Samir Chopra & Norman Foo, Distance Semantics for Relevance-Sensitive Belief Revision.
James P. Delgrande & Francis Jeffry Pelletier (1998). A Formal Analysis of Relevance. Erkenntnis 49 (2):137-173.
George Kourousias & David C. Makinson (2007). Parallel Interpolation, Splitting, and Relevance in Belief Change. Journal of Symbolic Logic 72 (3):994-1002.
Added to index2010-07-25
Total downloads4 ( #188,906 of 722,874 )
Recent downloads (6 months)3 ( #26,028 of 722,874 )
How can I increase my downloads?