Notre Dame Journal of Formal Logic

Belief Revision and Verisimilitude

Mark Ryan and Pierre-Yves Schobbens

Abstract

The Egli-Milner power-ordering is used to define verisimilitude orderings on theories from preference orderings on models. The effects of the definitions on constraints such as stopperedness and soundness are explored. Orderings on theories are seen to contain more information than orderings on models. Belief revision is defined in terms of both types of orderings, and conditions are given which make the two notions coincide.

Article information

Source
Notre Dame J. Formal Logic Volume 36, Number 1 (1995), 15-29.

Dates
First available in Project Euclid: 19 December 2002

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1040308826

Mathematical Reviews number (MathSciNet)
MR1359105

Digital Object Identifier
doi:10.1305/ndjfl/1040308826

Zentralblatt MATH identifier
0837.03008

Subjects
Primary: 03B60: Other nonclassical logic
Secondary: 68T27: Logic in artificial intelligence

Citation

Ryan, Mark; Schobbens, Pierre-Yves. Belief Revision and Verisimilitude. Notre Dame J. Formal Logic 36 (1995), no. 1, 15--29. doi:10.1305/ndjfl/1040308826. http://projecteuclid.org/euclid.ndjfl/1040308826.


Export citation

References

  • [1] Brink, C., ``Verisimilitude: views and reviews,'' History and Philosophy of Logic, vol. 10 (1989), pp. 181--201.
  • [2] Brink, C., and J. Heidema, ``A verisimilar ordering of theories based in a propositional language,'' The British Journal for the Philosophy of Science, vol. 38 (1987), pp. 533--549.
  • [3] Fuhrmann, A., and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1991.
  • [4] Gärdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988.
  • [5] Kraus, S., D. Lehmann, and M. Magidor, ``Non-monotonic reasoning, preferential models and cumulative logics,'' Artificial Intelligence, vol. 44 (1990), pp. 167--207.
  • [6] Kuipers, T., editor, What is Closer-to-the-Truth, Rodopi, Amsterdam, 1987.
  • [7] Lifschitz, V., ``Circumscription,'' pp. 297--352 in Handbook of Logic in Artificial Intelligence, edited by D. Gabbay, C. Hogger, and J. Robinson, Oxford University Press, Oxford, 1994.
  • [8] Makinson, D., ``General theory of cumulative inference,'' pp. 1--18 in Non-monotonic Reasoning, edited by M. Reinfrank, J. de Kleer, and M. L. Ginsberg, Lecture Notes in Artificial Intelligence 346, Springer-Verlag, Berlin, 1988.
  • [9] Makinson, D., ``General patterns in non-monotonic reasoning,'' pp. 35--110 in Handbook of Logic in Artificial Intelligence, edited by D. Gabbay, C. Hogger, and J. Robinson, Oxford University Press, Oxford, 1994.
  • [10] Makinson, D., and P. Gärdenfors, ``Relations between the logic of theory change and non-monotonic logic,'' pp. 185--205 in The Logic of Theory Change, edited by A. Fuhrmann and M. Morreau, Lecture Notes in Artificial Intelligence 465, Springer-Verlag, Berlin, 1991.
  • [11] Popper, K. R., Conjectures and Refutations, Routledge and Kegan Paul, London, 1963.
  • [12] Ryan, M. D., ``Defaults and revision in structured theories,'' pp. 362--373 in Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, Los Alamitos, 1991.
  • [13] Ryan, M. D., A. Sernadas, and C. Sernadas, ``Adjunctions between default frameworks,'' in Information Systems: Correctness and Reuse, edited by R. Wieringa and R. Feenstra, World Scientific Publishing, Singapore, 1995.
  • [14] Schlechta, K., ``Some results on classical preferential models,'' Journal of Logic and Computation, vol. 2 (1992), pp. 675--686.
  • [15] Schobbens, P.-Y., ``Exceptions for algebraic specifications: on the meaning of `but','' Science of Computer Programming, vol. 20 (1993), pp. 73--111.
  • [16] Schurz, G., and P. Weingartner, ``Verisimilitude defined by relevant consequence elements,'' pp. 47--78 in What is Closer-to-the-Truth, edited by T. Kuipers, Rodopi, Amsterdam, 1987.
  • [17] Shoham, Y., ``A semantical approach to nonmonotonic logics,'' pp. 388--392 in Proceedings of the 10th International Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann, San Mateo, 1987.
  • [18] van Benthem, J., ``Verisimilitude and conditionals,'' pp. 103--128 in What is Closer-to-the-Truth, edited by T. Kuipers, Rodopi, Amsterdam, 1987.