Propositional Relevance through LetterSharing:Review and Contribution

Formal Models of Belief Change in Rational Agents

计算机科学;物理学

David Makinson

PID  :  81787

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

The concept of relevance between classical propositional formulae, defined in termsof lettersharing, has been around for a very long time. But it began to take on a freshlife in the late 1990s when it was reconsidered in the context of the logic of beliefchange. Two new ideas appeared in independent work of Odinaldo Rodrigues andRohit Parikh. First, the relation of relevance was considered modulo the belief setunder consideration, Second, the belief set was put in a canonical form, known as itsfinest splitting. In this paper we explain these ideas; relate the approaches ofRodrigues and Parikh to each other; briefly report some recent results of Kourousiasand Makinson on the extent to which AGM belief change operations respectrelevance; and finally show how the introduction of a further parameter allows one totake into account epistemic and other components of relevance as well as purely