Skip to main content
SpringerLink
Log in
Book cover

International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems

IPMU 1992: IPMU '92—Advanced Methods in Artificial Intelligence pp 23–32Cite as

Default exclusion in a KL-ONE-like terminological component

  • Non Monotonic Reasoning
  • Conference paper
  • First Online:

  • 173 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 682))

Abstract

Many theoretical studies have been made of default and exception handling but few of them can be implemented in real applications because of the hard complexity of related algorithms. However users of knowledge represention systems want the possibility expressing default informations and exceptions. We have developed KDEX, a KL-ONE-like with default and exception handling, but we have defined constraints of construction to have polynomial inheritance algorithms. In this paper, we present the default exclusion link and its interpretation in a subset of default logic (we use a “free semi-normal” default) to show the soundness of its semantics and to justify the results given by our inheritance algorithms.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Besnard, R. Quiniou, P. Quinton: A Theorem-Prover for a Decidable Subset of Default Logic, Proc. of A.A.A.I. pp. 27–30, Washington, 1983.

    Google Scholar 

  2. B. Biebow, S. Szulman: Enrichment of Semantic Network for Requirements Expressed in Natural Language, IFIP 89, San Francisco, 1989.

    Google Scholar 

  3. B. Biebow, P. Coupey, S. Szulman: Using Exceptions in a Semantic Network for a Natural Language Application, Proc. of the 2th EUROSPEECH 89, Paris, 1989.

    Google Scholar 

  4. D. G. Bobrow and M. Stefik: The LOOPS Manual, Xerox Corporation, 1983.

    Google Scholar 

  5. A. Borgida, R. J. Brachman, D. L. McGuiness, L. A. Resnick: Classic: A Structural Data Model for Objects, Proc. of the International Conference on Management of Data, Portland, Oregon, 1989.

    Google Scholar 

  6. R.J. Brachman, J.G. Schmolze: An Overview of the KLONE Knowledge Representation System, Cognitive Science vol.9 n∘2 pp. 171–216, 1985.

    Article  Google Scholar 

  7. R.J. Brachman, V.P. Gilbert, H.J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, Proc. of 9th I.J.C.A.I. pp. 532–539, 1985.

    Google Scholar 

  8. P. Coupey: A semantic Network Including a System for a quick Detection of Inconsistency, Proc. of ICNTSSD'89, International Congress on New Technologies for Software and Supercomputers development, Caracas, November 1989.

    Google Scholar 

  9. P. Coupey: Etude d'un Réseau Sémantique avec Gestion des Exceptions, PhD thesis, University of Paris-Nord, January 89.

    Google Scholar 

  10. J. Doyle, R. S. Patil: Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services, Artificial Intelligence, Vol. 48, n∘ 3, April 1991.

    Google Scholar 

  11. R. Ducourneau, M. Habib: On some Algorithms for Multiple Inheritance in Object Oriented Programming, Proc. of ECOOP'87, pp. 243–252.

    Google Scholar 

  12. R. Ducournau, M. Habib: La Multiplicité de l'Héritage dans les Langages à Objets. TSI, vol.8,n∘1, january 89.

    Google Scholar 

  13. D.W. Etherington and R. Reiter: On Inheritance Hierarchies with Exceptions, Proc A.A.A.I. 83 August 1983, pp. 104–108.

    Google Scholar 

  14. D.W. Etherington: Formalizing Nonmonotonic Reasoning Systems, Artificial Intelligence vol.31 n∘1, pp. 41–85, January 1987.

    Google Scholar 

  15. S.E. Fahlman: a System for Representing and Using Real-world Knowledge, MIT Press, Cambridge, MA, 1979.

    Google Scholar 

  16. S.E. Fahlman: Design Sktech For a Million-Element NETL Machine, Proc. of A.A.A.I., pp. 249–252, Stanford, August 1980.

    Google Scholar 

  17. R. Fikes and R. Nado: Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults, Proc. of A.A.A.I. vol.2 pp. 443–448, 1987.

    Google Scholar 

  18. C. Froidevaux et D. Kayser: Inheritance in Semantic Networks and in Default Logic, in Non-standard Logic for Automated Reasoning (P.Smets, A.Mamdani, D.Dubois, H.Prade eds.), Academic Press, pp. 179–212, 1988.

    Google Scholar 

  19. R. MacGregor, R. Bates: The LOOM Knowledge Representation Language, Technical Report ISI/RS-87-188, University of Southern California, Information Science Institute, Marina del Rey, Cal., 1987.

    Google Scholar 

  20. R. MacGregor: The Evolving Technology of Classification-based Knowledge Representation Systems, in Principles of Semantic Networks, ed. J.F. Sowa, pp.385–400.

    Google Scholar 

  21. Y. Moinard: La Spécificité en Logique des Défauts, Publication interne I.R.I.S.A. n∘343, November 1987.

    Google Scholar 

  22. B. Nebel: Terminological Reasoning is Inherently Intractable, Artificial Intelligence vol. 43 n∘ 2, pp. 235–249, Nov. 1990.

    Article  Google Scholar 

  23. Guillermo R. Simari and Ronald P. Loui: A Mathematical Treatment of Defeasible Reasoning and its Implementation, Artificial Intelligence 53, pp. 125–157, 1992.

    Article  Google Scholar 

  24. K. Von Luck, B. Nebel, C. Peltason, A. Schmiedel: The Anatomy of the BACK System, TU-Berlin, Kit-Report, November 1986.

    Google Scholar 

  25. P. F. Patel-Schneider: Undecidability of Subsumption in NIKL, Artificial Intelligence 39, pp 263–272, 1989.

    Article  Google Scholar 

  26. D.L. Poole: On the Comparaison of Theories: Preferring the Most Specific Explanation, Proc. of the 9th I.J.C.A.I. pp. 144–147, los Angeles, August 1985.

    Google Scholar 

  27. R. Reiter: A Logic for Default Reasoning, Artificial Intelligence vol.13 n∘1–2, pp.81–132, April 1980.

    Article  Google Scholar 

  28. J.G. Schmolze, W. S. Mark: The NIKL Experience, Computer Intelligence, Vol 7, n∘ 1 pp. 48–69, february 1991.

    Google Scholar 

  29. D.S. Touretzky: The Mathematics of Inheritance Systems, Doctoral dissertation, Carnegie-Mellon University, Pittburg, PA, 1984.

    Google Scholar 

  30. M. Vilain: The Restricted Language Architecture of a Hybrid Representation System, Proc. of 9th I.J.C.A.I. pp. 547–551, Los Angeles, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Informatique de Paris-Nord, Institut Galilée, U.R.A 1507-CNRS Avenue J.B. Clément, 93430, Villetaneuse, France

    P. Coupey

Authors
  1. P. Coupey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernadette Bouchon-Meunier Llorenç Valverde Ronald R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this paper

Cite this paper

Coupey, P. (1993). Default exclusion in a KL-ONE-like terminological component. In: Bouchon-Meunier, B., Valverde, L., Yager, R.R. (eds) IPMU '92—Advanced Methods in Artificial Intelligence. IPMU 1992. Lecture Notes in Computer Science, vol 682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56735-6_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-56735-6_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56735-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation