We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 18 Issue 1
January  2003
Turn off MathJax
Article Contents
Abstract
LUAN ShangMin, DAI GuoZhong, LI Wei. A Programmable Approach to Maintenance of a FiniteKnowledge Base[J]. Journal of Computer Science and Technology, 2003, 18(1).
Citation: LUAN ShangMin, DAI GuoZhong, LI Wei. A Programmable Approach to Maintenance of a FiniteKnowledge Base[J]. Journal of Computer Science and Technology, 2003, 18(1).
shu

A Programmable Approach to Maintenance of a FiniteKnowledge Base

More Information
  • Published Date: January 14, 2003
    Abstract
  • In this paper, we present a programmable method of revising a nite clauseset. We rst present a procedure whose formal parameters are a consistent clause set Tand a clause A and whose output is a set of minimal subsets of T which are inconsistent with A. The maximal consistent subsets can be generated from all minimal inconsistent subsets. We develop a prototype system based on the above procedure, and discuss the implementation of knowledge base maintenance. At last, we compare the approach presented in this paper with other related approaches. The main characteristic of the approach is that it can be implemented by a computer program.
    • FullText(HTML)
    • References (0)
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (4) PDF downloads (1171) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return