A Fast Logically-Complete Preferential Reasoner for the Assessment of Critical Situations
Éric Grégoire · Studies in fuzziness and soft computing · 2001
We propose a new computational approach to logic-based systems that should reason in a fast but logically sound and complete manner about large-scale complex critical devices and systems that can exhibit unexpected faulty behaviors. The approach is original from at least two points of view. First, it makes use of local search techniques while preserving logical deductive completeness. Second, it proves experimentally efficient for very large knowledge bases thanks to new heuristics in the use of local search techniques