Linear Logic for Taxonomical Networks and Database Updates Preliminary Report
✍ Scribed by Christophe Fouqueré; Jacqueline Vauzeilles
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 841 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
✦ Synopsis
The aim of this paper is to propose a logical way to handle uncertain knowledge and change. Databases, diagnostic, plani cation, taxonomy are some of the domains concerned by this problem. This paper focuses on the means Linear Logic o ers to represent taxonomical networks and to perform updates of databases containing incomplete information. The two problems are rst expressed in graph theory: a taxonomical network is a structure for representing knowledge as a graph whose vertices are concepts, and edges are relations between concepts a database is speci ed by facts, deduction rules, i.e. edges between literals, and update constraints. Their formalization in Linear Logic is performed in a very similar way.