Premium
CLAUSE MANAGEMENT SYSTEMS (CMS)
Author(s) -
KEAN ALEX,
TSIKNIS GEORGE
Publication year - 1993
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1993.tb00300.x
Subject(s) - conjunction (astronomy) , knowledge base , prime (order theory) , extension (predicate logic) , computer science , generalization , set (abstract data type) , base (topology) , propositional calculus , mathematics , artificial intelligence , natural language processing , theoretical computer science , programming language , combinatorics , mathematical analysis , physics , astronomy
This paper provides an extension to the study of the clause management system (CMS) proposed by Reiter and de Kleer. The CMS is adapted specifically for aiding a reasoning system in explanations generation. The reasoning system transmits propositional formulae representing its knowledge to the CMS and in return, it requests the CMS for minimal and consistent explanations of a query with respect to the CMS knowledge base. The CMS knowledge base is represented by a set of prime implicates. The classification of implicates as minimal, prime, trivial, and minimal trivial is carefully examined. Similarly, the notion of a support for a clause including minimal, prime, trivial, and minimal trivial is also elaborated. The methods to compute these supports from implicates and a preference ordering scheme expressible by logical specificity for the set of supports for a given clause are also presented. The generalization of the notion of a minimal support for a conjunction of clauses is also shown. Finally, two logic‐based diagnostic reasoning paradigms aided by the CMS are shown to exemplify the functionality of the CMS.