Updating knowledge bases while maintaining their consistency
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97304
Tipus de documentReport de recerca
Data publicació1994-04
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we propose a new method for updating knowledge bases while maintaining their consistency. Our method can be used for integrity constraints maintenance, view updating, and their combination. It can also be combined with any integrity checking method for view updating and integrity checking. The kind of updates handled by our method are: updates of base facts, view updates, updates of deductive rules and updates of integrity constraints. Our method is based on events and transition rules, which explicitly define the insertions and deletions induced by a knowledge base update. Using these rules, an extension of the SLDNF procedure allows us to obtain all possible minimal ways of updating a knowledge base without violating any integrity constraint.
CitacióTeniente, E., Olive, A. "Updating knowledge bases while maintaining their consistency". 1994.
Forma partLSI-94-25-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191480.pdf | 3,346Mb | Visualitza/Obre |