Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems
This report describes a paradigm for combining associational and causal reasoning to achieve efficient and robust problem-solving behavior. The Generate, Test and Debug (GTD) paradigm generates initial hypotheses using associational (heuristic) rules. The tester verifies hypotheses, supplying...
Main Author: | |
---|---|
Language: | en_US |
Published: |
2004
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/6842 |
_version_ | 1826199114159751168 |
---|---|
author | Simmons, Reid G. |
author_facet | Simmons, Reid G. |
author_sort | Simmons, Reid G. |
collection | MIT |
description | This report describes a paradigm for combining associational and causal reasoning to achieve efficient and robust problem-solving behavior. The Generate, Test and Debug (GTD) paradigm generates initial hypotheses using associational (heuristic) rules. The tester verifies hypotheses, supplying the debugger with causal explanations for bugs found if the test fails. The debugger uses domain-independent causal reasoning techniques to repair hypotheses, analyzing domain models and the causal explanations produced by the tester to determine how to replace faulty assumptions made by the generator. We analyze the strengths and weaknesses of associational and causal reasoning techniques, and present a theory of debugging plans and interpretations. The GTD paradigm has been implemented and tested in the domains of geologic interpretation, the blocks world, and Tower of Hanoi problems. |
first_indexed | 2024-09-23T11:14:37Z |
id | mit-1721.1/6842 |
institution | Massachusetts Institute of Technology |
language | en_US |
last_indexed | 2024-09-23T11:14:37Z |
publishDate | 2004 |
record_format | dspace |
spelling | mit-1721.1/68422019-04-12T08:32:28Z Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems Simmons, Reid G. associational reasoning causal reasoning planning sgeologic interpretation debugging This report describes a paradigm for combining associational and causal reasoning to achieve efficient and robust problem-solving behavior. The Generate, Test and Debug (GTD) paradigm generates initial hypotheses using associational (heuristic) rules. The tester verifies hypotheses, supplying the debugger with causal explanations for bugs found if the test fails. The debugger uses domain-independent causal reasoning techniques to repair hypotheses, analyzing domain models and the causal explanations produced by the tester to determine how to replace faulty assumptions made by the generator. We analyze the strengths and weaknesses of associational and causal reasoning techniques, and present a theory of debugging plans and interpretations. The GTD paradigm has been implemented and tested in the domains of geologic interpretation, the blocks world, and Tower of Hanoi problems. 2004-10-20T20:01:11Z 2004-10-20T20:01:11Z 1988-08-01 AITR-1048 http://hdl.handle.net/1721.1/6842 en_US AITR-1048 215 p. 20424253 bytes 15960716 bytes application/postscript application/pdf application/postscript application/pdf |
spellingShingle | associational reasoning causal reasoning planning sgeologic interpretation debugging Simmons, Reid G. Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title | Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title_full | Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title_fullStr | Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title_full_unstemmed | Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title_short | Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems |
title_sort | combining associational and causal reasoning to solve interpretation and planning problems |
topic | associational reasoning causal reasoning planning sgeologic interpretation debugging |
url | http://hdl.handle.net/1721.1/6842 |
work_keys_str_mv | AT simmonsreidg combiningassociationalandcausalreasoningtosolveinterpretationandplanningproblems |