OVERCOMING THE CHRISTMAS TREE SYNDROME
2000 ◽
Vol 09
(01)
◽
pp. 97-111
◽
Keyword(s):
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.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2017 ◽
Vol 59
◽
pp. 463-494
◽
Keyword(s):
2020 ◽
Vol 23
(4)
◽
pp. 67-73
Keyword(s):
2021 ◽
Vol 54
(2)
◽
pp. 35-47