Some notes on cumulative reasoning

  • G. Amati
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 549)


We introduce a model-theoretic definition of non-monotonic inference relation and study a particular model called C*. Gentzen-style counterpart of C* can be regarded as the nonmonotonic infinitistic version of the system C of Kraus, Magidor, Lehmann with the consistency-preservation, property proposed by Gabbay and used in belief revision. A notion of selection function is introduced. This notion is similar to that of expectations given by Gärdenfors and Makinson and derived from partial meet contractions functions of belief revision, given by Alchourron, Gärdenfors and Makinson. The representation theorem for the cumulative system C, whose models use a binary relation < among sets of worlds, can be simplified by using selection functions. The finitistic (conditional) system of C* turns out to be equivalent to Makinson's cumulative monotony operator as well as to the conditional system γ* derived from the sistem γ of Gabbay by adding the cautious monotonicity axiom and using classical logic in the place of intuitionistic logic as underlying monotonic logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Aiello L., Amati G., Pirri F., Intuitionistic modal calculus for autoepistemic logic, in Proc. of the First World Conference on the Fundamentals of AI, Paris 1–5 July 1991.Google Scholar
  2. [2]
    Bell J., Pragmatics Logics, in Proc. of 2nd Int. Conf. of Knowledge Representation and reasoning, Cambridge MA, 22–25 Aprile, 1991.Google Scholar
  3. [3]
    Alchourron, C.E., Gärdenfors P., Makinson D., On the logic of theory change: partial meet contraction and revision function, JSL, 50, (1985), pp. 510–530.Google Scholar
  4. [4]
    Clarke, M.R.B., Gabbay D., An intuitionistic Basis for Non-monotonic Reasoning, in Smeth P., Mamdani E.H., Dubois D., Prade H., Non-standard logics for automated reasoning, Academic Press, 1988, pp. 163–178.Google Scholar
  5. [5]
    Gabbay, D., Intuitionistic basis for non-monotonic reasoning, Proc. 6th Conference on Automated Deduction, LNCS 138, pp. 260–273.Google Scholar
  6. [6]
    Gabbay, D., Theoretical foundation for non-monotonic reasoning in expert systems, in Proc. of NATO Advanced Study Institute on Logics of Concurrent Systems, Springer Verlag, Berlin, 1985 pp. 439–457.Google Scholar
  7. [7]
    Gärdenfors P., Knowledge influx, The MIT Press, 1988.Google Scholar
  8. [8]
    Gärdenfors P., Belief revision and nonmonotonic logics: two sides of the same coin?, in Proc. ECAI'90, L. Carlucci Aiello (ed.), Pitman Publishing, London, 1990.Google Scholar
  9. [9]
    Gärdenfors P.,Makinson D., Nonmonotonic inference based on expectations, unpublished manuscript.Google Scholar
  10. [10]
    J. Y. Halpern, Y. Halpern, Towards a theory of knowledge and ignorance, Proceedings 1984 Non-monotonic Reasoning Workshop, AAAI, New Paltz, N.Y., 1984, pp. 165–193.Google Scholar
  11. [11]
    Kraus, S., Magidor M., Lehmann D., Non-monotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44, (1990), pp. 167–207.Google Scholar
  12. [12]
    Lewis D.K., Counterfactuals, Oxford Basil Blackwell, 1973.Google Scholar
  13. [13]
    Lindström S., A semantic approach to nonmonotonic reasoning: inference operations and choice, Dept. of Philosophy, Uppsala University, unpublished manuscript.Google Scholar
  14. [14]
    Makinson D., General theory of cumulative inference, in M. Reinfrank, J. de Kleer, M.L. Ginsberg, E, Sandewall (Eds.) Non monotonic reasoning, 2nd Int.Workshop, LNAI Springer 346, 1988, pp. 1–18.Google Scholar
  15. [15]
    Marek V., Truszczynki M., Relating autoepistemic logic and default logics, in J. Brachman, H. Levesque, R. Reiter, Proc. of the 1st Conference on principles of Knowledge Representation and Reasoning, Toronto, (1989), pp.276–288.Google Scholar
  16. [16]
    Moore, Autoepistemic logic, in Smeth P., Mamdani E.H., Dubois D., Prade H., Non-standard logics for automated reasoning, Academic Press, 1988, pp. 105–136.Google Scholar
  17. [17]
    Shoham Y., Reasoning about change, The MIT Press, 1988.Google Scholar
  18. [18]
    Takeuti G., Proof theory, Studies in Logic vol. 83, North-Holland, 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • G. Amati
    • 1
  1. 1.Fondazione Ugo Bordoni v. B. CastiglioneRome

Personalised recommendations