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.
Preview
Unable to display preview. Download preview PDF.
References
Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic, 50:510–530, 1985.
D. Cohen. Some steps towards a general theory of relevance. Synthese, 101:171–185, 1994.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, and Henri Prade. An ordinal view of independence with applications to nonmonotonic reasoning. In Ramon Lopez de Mantaras and David Poole, editors, Proc. Int. Conf. on Uncertainty in AI (UAI'94), pages 1855-203, Seattle, 1994.
Robert Demolombe and Andrew Jones. A logic for reasoning about “is about”. Technical report, ONERA-CERT, Toulouse, 1994.
Thomas Eiter, Georg Gottlob, and Yuri Gurevich. Curb your theory! a circumscriptive approach for inclusive interpretation of disjunctive information. In Ruzena Bajcsy, editor, Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), pages 640–645. Morgan Kaufmann Publishers, 1993.
Luis Fariñas del Cerro and Andreas Herzig. Possibility theory and independence. In Bernadette Bouchon-Meunier, Ronald R. Yager, and Lotfi A. Zadeh, editors, Advances in Intelligent Computing — IPMU'94, Selected Papers, number 945 in LNCS, pages 292–301. Springer-Verlag, 1995.
Luis Fariñas del Cerro and Valérie Lugardon. Sequents for dependence logics. Logique et Analyse, 133–134:57–71, 1991.
Terrence Fine. Theories of probability. Academic Press, New York, 1973.
André Fuhrmann. Theory contraction through base contraction. J. of Philosophical Logic, 20:175–203, 1991.
Peter Gärdenfors. On the logic of relevance. Synthese, 37:351–367, 1978.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, 1988.
Peter Gärdenfors. Belief revision and irrelevance. PSA, 2:349–356, 1990.
Peter Gärdenfors, editor. Belief revision. Cambridge University Press, 1992.
Sven-Ove Hansson. In defence of the ramsey test. J. of Philosophy, pages 522–540, 1992.
Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In Gärdenfors Gär92, pages 183–203. (preliminary version in Allen, J.A., Fikes, R., and Sandewall, E., eds., Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conf., pages 387–394. Morgan Kaufmann Publishers, 1991).
Vladimir Lifschitz. Frames in the space of situations. Artificial Intelligence J., 46:365–376, 1986.
V. Lugardon. Sur les fondements de la notion de dépendance et de son application à la théorie de l'action. PhD thesis, Institut de recherche en informatique de Toulouse (IRIT), Université Paul Sabatier, 1996.
Pierre Marquis. Knowledge compilation using theory prime implicates. In Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), pages 837–843, 1995.
Bernhard Nebel. Syntax-based approaches to belief revision. In Gärdenfors Gär92, pages 247–275.
Erik Sandewall. The range of applicability of nonmonotonic logics for the inertia problem. In Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), 1993.
Karl Schlechta. Some completeness results for propositional conditional logics. J. of the IGPL, 3(1), 1993. available from http://www.mpi-sb.mpg.de/igpl/Journal/V3-1/. Krister Segerberg. On the logic of small changes in theories, I. Auckland Philos. Papers, 1986.
Robert Stalnaker. What is a nonmonotonic consequence relation? In (Informal) Working Notes of the 4th Int. Workshop on Nonmonotonic Reasoning, Plymouth, Vermont, 1992.
M. Winslett. Reasoning about action using a possible models approach. In Proc. 7th Conf. on Artificial Intelligence (AAAI'88), pages 89–93, St. Paul, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzig, A. (1997). How to change factual beliefs using laws and dependence information. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035631
Download citation
DOI: https://doi.org/10.1007/BFb0035631
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive