About the incremental validation of first-order stratified knowledge-based decision-support systems

被引：3

作者：

Grégoire, É ^{[1
]}

Mazure, B ^{[1
]}

机构：

[1] Univ Sci & Tech Lille Flandres Artois, CRIL, F-62307 Lens, France

来源：

INFORMATION SCIENCES | 2002年 / 142卷 / 1-4期

关键词：

knowledge bases; validation; verification; logical consistency;

D O I：

10.1016/S0020-0255(02)00161-5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper, a new efficient technique is introduced to check the logical consistency of first-order function-free stratified knowledge-based decision-support systems (KBs). It is based on a progressive instantiation schema that enables us to benefit from the power of local search techniques for propositional satisfiability and search. It combines a knowledge preference pre-ordering with a concept of depth-limited reasoning. An algorithm that proves efficient very often is proposed. It delivers a good approximation of Benferhat et al.'s preferred maximal inclusion-based consistent sub-bases. The approach is extended to cover forms of non-monotonic KBs, as well. (C) 2002 Elsevier Science Inc. All rights reserved.

引用

页码：117 / 129

页数：13