Changes of disjunctively closed bases
Tóm tắt
Từ khóa
Tài liệu tham khảo
Alchourrón, C.E., Gärdenfors, P. and Makinson, D., 1985, ?On the Logic of Theory Change: Partial Meet Contraction and Revision Functions,?Journal of Symbolic Logic 50, 510?530.
Alchourrón, C.E., and Makinson, D., 1982, ?On the Logic of Theory Change: Contraction Functions And Their Associated Revision Functions,?Theoria 48, 14?37.
Fuhrmann, A., 1991, ?Theory contraction through base contraction,?Journal of Philosophical Logic20, 175?203.
Gärdenfors, P., 1988,Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: The MIT Press, Bradford Books.
Ginsberg, M.L. and Smith, D.E., 1988, ?Reasoning about Action I,?Artificial Intelligence 35, 165?195.
Hansson, S.O., 1992b, ?A Dyadic Representation of Belief,? pp. 89?121 inBelief Revision, P. Gärdenfors, ed., Cambridge: Cambridge University Press.
Hansson, S.O., 1992c, ?Reversing the Levi Identity,?Journal of Philosophical Logic, in press.
Hansson, S.O., 1992d, ?Theory Contraction and Base Contraction Unified,?Journal of Symbolic Logic, in press.
Makinson, D., 1987, ?On the status of the postulate of recovery in the logic of theory change,?Journal of Philosophical Logic 16, 383?394.
Nayak, A.C., 1992, ?Foundational belief change,?Journal of Philosophical Logic, in press.
Nebel, B., 1989, ?A Knowledge Level Analysis of Belief Revision,? pp. 301?311 inPrinciples of Knowledge Representation and Reasoning, Proceedings of the 1st International Conference, Ronald Brachman, Hector Levesque and Raymond Reiter, eds., San Mateo, CA: Morgan Kaufmann.
Nebel, B., 1992, ?Syntax-Based Approaches to Belief Revision,? pp. 52?88 inBelief Revision, Peter Gärdenfors, ed., Cambridge: Cambridge University Press.
Rott, H., 1992a, ?Belief Contraction in the Context of the General Theory of Rational Choice,?Journal of Symbolic Logic, in press.