A formal model for knowledge‐based systems verification
暂无分享,去创建一个
A logico‐algebraic model for verification of Knowledge Based Systems, based on Abraham Robinson's meta‐algebra, is presented in this article. the set of rules of Knowledge Based System is considered to be the set of axioms of a theory “T”. the model consists of: (i) the collection “P” of all well formed formulas of the language of T, (ii) a subset P0 of P that has as its elements the axioms of a given logic (bivalued, intuitionistic, or other), plus all the theorems that can be deduced from this logic inside the language of T, (iii) some distinguished subsets of P, to be called m‐ideals and m‐filters, that depend on T and P0. Important concepts that are involved in the verification of Knowledge Based Systems are considered, such as forward and backward reasoning consistencies. Appropriate characterizations are obtained by using properties of m‐ideals and m‐filters. © 1994 John Wiley & Sons, Inc.
[1] Werner Mellis. Supporting Knowledge Representation by Checking Consistency , 1987 .
[2] Marie-Christine Rousset,et al. On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..
[3] Luis M. Laita,et al. Abraham Robinson's Meta-Algebra Revisited , 1987, Math. Log. Q..
[4] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.