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...

Full description

Bibliographic Details
Main Author: Simmons, Reid G.
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