Skip to main content
SpringerLink
Log in

Deductive generalization in a default logic setting

  • Selected Papers
  • Conference paper
  • First Online:
Nonmonotonic and Inductive Logic (NIL 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 659))

Included in the following conference series:

  • 122 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Besnard Ph., An Introduction to Default Logic, Springer, Heidelberg, 1989.

    Google Scholar 

  2. Besnard Ph. and Grégoire E., About Deductive Generalization, Proc. JELIA'92, LNAI, Springer, 1992.

    Google Scholar 

  3. Grégoire E., Logiques non monotones et intelligence artificielle, Hermès, Paris, 1990.

    Google Scholar 

  4. Kodratoff Y., Introduction to Machine Learning, Pitman, London, 1988.

    Google Scholar 

  5. Michalski R., A Theory and Methodology of Inductive Learning, Machine Learning: an A.I. Approach, Tioga, 1983.

    Google Scholar 

  6. Mitchell T., Version Spaces: an Approach to Concept Learning, Ph.D. Thesis, Stanford University, 1978.

    Google Scholar 

  7. 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 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 R., A Logic for Default Reasoning, Artificial Intelligence, 13, pp. 81–132, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Campus de Beaulieu, F-35042, Rennes Cédex, France

    Ph. Besnard & E. Grégoire

Authors
  1. Ph. Besnard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. Grégoire
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerhard Brewka Klaus P. Jantke Peter H. Schmitt

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Besnard, P., Grégoire, E. (1993). Deductive generalization in a default logic setting. In: Brewka, G., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1991. Lecture Notes in Computer Science, vol 659. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030391

Download citation

  • DOI: https://doi.org/10.1007/BFb0030391

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56433-1

  • Online ISBN: 978-3-540-47557-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation