Linear Logic and Exceptions

摘要

Asemantic networkis a structure for representing knowledge as a pattern of interconnected nodes and edges. This paper focuses on themeanslinear logic offers to represent these networks. In order to compare our inferences, we have chosen one non-monotonic logic: default logic serves as a reference. The main result proves the equivalence between linear logic and default logic intaxonomic default theories. We hope this will help better to understand the relations between non-monotonicity and defeasible knowledge representation.