KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
International Journal of Human-Computer Studies
Overcoming the Christmas Tree Syndrome
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Hi-index | 0.01 |
In this paper, the use of stochastic 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 stochastic search allow proofs of inconsistency to be obtained as well. But, how stochastic 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.