Een zoekmethode per computer die begint met het identificeren van een keten van stellingen (if-then-stellingen) die leiden tot een bepaalde conclusie.Een zoekmethode per computer die begint met het identificeren van een keten van stellingen (if-then-stellingen) die leiden tot een bepaalde conclusie.