Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1993: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 121–128Cite as

Taxonomic linear theories

  • Conference paper
  • First Online:

  • 122 Accesses

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

Abstract

A semantic network is a structure for representing knowledge as a pattern of interconnected nodes and edges. This paper focuses on the means linear logic offers to represent these networks. In order to compare our inferences, we have chosen one nonmonotonic logic: default logic [9] serves as a reference. The main result proves the equivalence between linear logic and default logic in taxonomic default theories. We hope this will help to better understand the relations between nonmonotonicity and defeasible knowledge representation.

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. Ph. Besnard: An Introduction to Default Logic. Springer-Verlag (1989)

    Google Scholar 

  2. D.G. Bobrow (eds): Special Issue on Non Monotonic Logics, Artificial Intelligence, vol. 13 (1980)

    Google Scholar 

  3. C. Froidevaux, D. Kayser: Inheritance in Semantic Networks and Default Logic. In D. Smets, E. Mamdani, D. Dubois, H. Prade (eds).Non-Standard Logics for Automated Reasoning. London: Academic Press, 179–212 (1988)

    Google Scholar 

  4. C. Fouqueré, J. Vauzeilles: Taxonomic Linear Theories, LIPN Report, Université Paris-Nord (1993)

    Google Scholar 

  5. J.-Y. Girard: linear logic. Theoretical Computer Science 50, 1–102 (1987)

    Google Scholar 

  6. J.-Y. Girard: Logic and Exceptions: A Few Remarks. Journal of Logic and Computation 2, 111–118 (1992)

    Google Scholar 

  7. F. Lévy: Computing Extensions of Default Theories. In R. Kruse, P. Siegel (eds): Symbolic and Quantitative Approaches to Uncertainty. Lecture Notes in Computer Science 548. Berlin, 219–226 (1991)

    Google Scholar 

  8. M. Masseron: Generating Plans in linear logic II: A geometry of conjunctive actions. Theoretical Computer Science 113, (1993).

    Google Scholar 

  9. R. Reiter: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN-CNRS, Université Paris-Nord, 93430, Villetaneuse

    Christophe Fouqueré & Jacqueline Vauzeilles

Authors
  1. Christophe Fouqueré
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacqueline Vauzeilles
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fouqueré, C., Vauzeilles, J. (1993). Taxonomic linear theories. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028191

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation