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

First Page:
Primary Subjects: 03B60
Secondary Subjects: 68T27
Full-text: Open access

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

### 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
Zentralblatt MATH: 0676.03001
[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
Zentralblatt MATH: 0782.03012
[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.