Taxonomic linear theories

  • Christophe Fouqueré
  • Jacqueline Vauzeilles
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 747)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ph. Besnard: An Introduction to Default Logic. Springer-Verlag (1989)Google Scholar
  2. 2.
    D.G. Bobrow (eds): Special Issue on Non Monotonic Logics, Artificial Intelligence, vol. 13 (1980)Google Scholar
  3. 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. 4.
    C. Fouqueré, J. Vauzeilles: Taxonomic Linear Theories, LIPN Report, Université Paris-Nord (1993)Google Scholar
  5. 5.
    J.-Y. Girard: linear logic. Theoretical Computer Science 50, 1–102 (1987)Google Scholar
  6. 6.
    J.-Y. Girard: Logic and Exceptions: A Few Remarks. Journal of Logic and Computation 2, 111–118 (1992)Google Scholar
  7. 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. 8.
    M. Masseron: Generating Plans in linear logic II: A geometry of conjunctive actions. Theoretical Computer Science 113, (1993).Google Scholar
  9. 9.
    R. Reiter: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Christophe Fouqueré
    • 1
  • Jacqueline Vauzeilles
    • 1
  1. 1.LIPN-CNRSUniversité Paris-NordVilletaneuse

Personalised recommendations