6 Explanation and Debugging
6 Explanation and Debugging
The main power of CILOG is in the explanation and debugging facilities. These fall into three classes:
determining how an answer was proved
determining why a potential answer wasn't produced
determining why the search is in a particular state
Each of these is described in the following sections.
6.1 How? Questions
6.2 Whynot? Questions
6.3 Depth Bound
6.4 Why? Questions
©
David Poole
, 1998
6 Explanation and Debugging
