A programmable approach to revising knowledge bases
type: Item
instance of: scholarly article
title: A programmable approach to revising knowledge bases
zbMATH Open document ID: 1161.68788
author: Shangmin Luan
author: Guozhong Dai
author: Wei Li
published in: Science in China. Series F
publication date: 2007-02-20T00:00:00Z
review text: This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5128648
MaRDI profile type: Publication
Recommended article: A programmable approach to maintenance of a finite knowledge base
Recommended article: Knowledge Base Revision in Description Logics
Recommended article: A glance at revision and updating in knowledge bases
Recommended article: A practical approach to revising prioritized knowledge bases
Recommended article: A practical parallel algorithm for propositional knowledge base revision
Recommended article: Propositional knowledge base revision and minimal change
Recommended article: Q4546702
Recommended article: Q4450849
description: scientific article; zbMATH DE number 5128648