Belief Revision and Verisimilitude

Belief Revision and Verisimilitude

Mark Ryan and Pierre-Yves Schobbens

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

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.

Primary Subjects: 03B60

Secondary Subjects: 68T27

Full-text: Open access

Screen Optimized PDF File (127 KB)
PDF File (92 KB)

Links and Identifiers

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

back to Table of Contents

References

[1] Brink, C., ``Verisimilitude: views and reviews,'' History and Philosophy of Logic, vol. 10 (1989), pp. 181--201.

Mathematical Reviews (MathSciNet): MR90k:03003

Zentralblatt MATH: 0674.03002

Digital Object Identifier: doi:10.1080/014453408908837149

[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.

Mathematical Reviews (MathSciNet): MR932843

Digital Object Identifier: doi:10.1093/bjps/38.4.533

JSTOR: links.jstor.org

[3] Fuhrmann, A., and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1991.

Zentralblatt MATH: 0874.03007

Mathematical Reviews (MathSciNet): MR1096790

[4] Gärdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988.

Mathematical Reviews (MathSciNet): MR89k:00015

[5] Kraus, S., D. Lehmann, and M. Magidor, ``Non-monotonic reasoning, preferential models and cumulative logics,'' Artificial Intelligence, vol. 44 (1990), pp. 167--207.

Mathematical Reviews (MathSciNet): MR1072012

Digital Object Identifier: doi:10.1016/0004-3702(90)90101-5

[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.

Mathematical Reviews (MathSciNet): MR95k:68213

[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.

Mathematical Reviews (MathSciNet): MR90f:03051

Zentralblatt MATH: 0675.03007

[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.

Mathematical Reviews (MathSciNet): MR1281422

[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.

Mathematical Reviews (MathSciNet): MR1096795

Zentralblatt MATH: 0925.03130

Digital Object Identifier: doi:10.1007/BFb0018421

[11] Popper, K. R., Conjectures and Refutations, Routledge and Kegan Paul, London, 1963.

Mathematical Reviews (MathSciNet): MR27:2393

[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.

Mathematical Reviews (MathSciNet): MR94f:68168

Zentralblatt MATH: 0785.03014

Digital Object Identifier: doi:10.1093/logcom/2.6.675

[15] Schobbens, P.-Y., ``Exceptions for algebraic specifications: on the meaning of `but','' Science of Computer Programming, vol. 20 (1993), pp. 73--111.

Mathematical Reviews (MathSciNet): MR94j:68205

Zentralblatt MATH: 0783.68085

Digital Object Identifier: doi:10.1016/0167-6423(93)90023-I

[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.

previous :: next