Sciweavers

AAAI
1998

Maintaining Consistency in Hierarchical Reasoning

14 years 24 days ago
Maintaining Consistency in Hierarchical Reasoning
We explore techniques for maintaining consistency in reasoning when employing dynamic hierarchical task decompositions. In particular, we consider the difficulty of maintaining consistency when an agent nonmonotonically modifies an assumption in one level of the task hierarchy and that assumption depends upon potentially dynamic assertions higher in the hierarchy. The hypothesis of our work is that reasoning maintenance can be extended to hierarchical systems such that consistency is maintained across all levels of the hierarchy. We introduce two novel extensions to standard reason mamtenance approaches, assumptzon justification and dynamac hierarchical justification, both of which provide the necessary capabilities. The key difference between the two methods is whether a particular assumption (assumption justification) or an entire level of the hierarchy (dynamic hierarchical justification) is disabled when an inconsistency is found. Our investigations suggest that dynamic hierarchic...
Robert E. Wray III, John E. Laird
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where AAAI
Authors Robert E. Wray III, John E. Laird
Comments (0)