Deductive generalization in a default logic setting

  • Ph. Besnard
  • E. Grégoire
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 659)


In this paper, we study how several patterns of deductive generalization from positive and negative examples can be relaxed to handle forms of defeasible reasoning, using default logic as a case study. We compare the resulting paradigms and establish the logical conditions under which they can take place.


machine learning generalization nonmonotonic logics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Besnard 89]
    Besnard Ph., An Introduction to Default Logic, Springer, Heidelberg, 1989.Google Scholar
  2. [Besnard and Grégoire 92]
    Besnard Ph. and Grégoire E., About Deductive Generalization, Proc. JELIA'92, LNAI, Springer, 1992.Google Scholar
  3. [Grégoire 90]
    Grégoire E., Logiques non monotones et intelligence artificielle, Hermès, Paris, 1990.Google Scholar
  4. [Kodratoff 88]
    Kodratoff Y., Introduction to Machine Learning, Pitman, London, 1988.Google Scholar
  5. [Michalski 83]
    Michalski R., A Theory and Methodology of Inductive Learning, Machine Learning: an A.I. Approach, Tioga, 1983.Google Scholar
  6. [Mitchell 78]
    Mitchell T., Version Spaces: an Approach to Concept Learning, Ph.D. Thesis, Stanford University, 1978.Google Scholar
  7. [Nicolas 87]
    Nicolas J., ALLY: un système logique pour la généralisation en apprentissage automatique, Thèse d'Université, Université de Rennes 1, 1987.Google Scholar
  8. [Nicolas 88]
    Nicolas J., Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction, Proc. ECAI-88, pp. 402–407, Pitman, London, 1988.Google Scholar
  9. [Reiter 80]
    Reiter R., A Logic for Default Reasoning, Artificial Intelligence, 13, pp. 81–132, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ph. Besnard
    • 1
  • E. Grégoire
    • 1
  1. 1.IRISARennes CédexFrance

Personalised recommendations