Checking depth‐limited consistency and inconsistency in knowledge‐based systems
Laure Brisoux, Éric Grégoire, Lakhdar Saïs · International Journal of Intelligent Systems · 2001
In this paper, the use of local search to validate first-order knowledge-based systems is investigated. It is well known that such techniques can prove efficient in showing that consistency constraints do hold, at least in the propositional case. Powerful heuristics about the trace of local search allow proofs of inconsistency to be obtained as well. However, how local search can be applied to first-order knowledge bases without giving rise to a combinatorial space explosion remains an open issue. In this paper, a partial instantiation schema is proposed in the context of the incremental consistency–inconsistency problem. It allows forms of depth-limited consistency and inconsistency to be handled in an effective manner, showing promising paths for the development of new efficient consistency checking techniques for first-order knowledge bases. © 2001 John Wiley & Sons, Inc.