MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  How to Change Factual Beliefs Using Laws and Dependence Information

Download:
Download as a PDF | Download as a PS
by Andreas Herzig
http://www.irit.fr/ACTIVITES/EQ_ALG/Papers/../Herzig/P/ecsqaru97.ps.gz
Add To MetaCart

Abstract:

Abstract. We investigate how belief change operations can be effectively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas. 1

Citations

434 On the logic of theory change: partial meet contraction and revision functions – GÄRDENFORS - 1985
304 On the difference between updating a knowledge base and revising it, in P. Gärdenfors ed.: Belief Revision – KATSUNO - 1992
90 Frames in the space of situations – Lifschitz - 1990
48 Theory contraction through base contraction – Fuhrmann - 1991
45 Theories of Probability – Fine - 1973
40 Knowledge compilation using theory prime implicates – Marquis - 1995
31 The range of applicability of nonmonotonic logics for the inertia problem – Sandewall - 1993
14 Curb your theory! A circumscriptive approach for inclusive interpretation of disjunctive information – Eiter, Gottlob, et al. - 1993
11 On the logic of relevance – Gardenfors - 1978
8 Belief revision and irrelevance – Gardenfors - 1990
2 Some steps towards a general theory of relevance. Synthese 101 – Cohen - 1994
1 An ordinal view of independence with applications to nonmonotonic reasoning – Dubois, Cerro, et al. - 1994
1 A logic for reasoning about "is about – Demolombe, Jones - 1994
1 del Cerro and Val'erie Lugardon. Sequents for dependence logics. Logique et Analyse – Farinas - 1991
1 defence of the ramsey test – In - 1992
1 les fondements de la notion de d'ependance et de son application `a la th'eorie de l'action – Sur - 1996
1 Some completeness results for propositional conditional logics – Schlechta - 1993
View or Download | Add to My Collection | Correct Errors