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