An Architectural Approach to Ensuring Consistency in Hierarchical Execution

@article{Wray2003AnAA,
  title={An Architectural Approach to Ensuring Consistency in Hierarchical Execution},
  author={R. E. Wray and J. E. Laird},
  journal={J. Artif. Intell. Res.},
  year={2003},
  volume={19},
  pages={355-398}
}
Hierarchical task decomposition is a method used in many agent systems to organize agent knowledge. This work shows how the combination of a hierarchy and persistent assertions of knowledge can lead to difficulty in maintaining logical consistency in asserted knowledge. We explore the problematic consequences of persistent assumptions in the reasoning process and introduce novel potential solutions. Having implemented one of the possible solutions, Dynamic Hierarchical Justification, its… CONTINUE READING

Figures, Tables, Results, and Topics from this paper.

Key Quantitative Results

  • In this domain, Assumption Justification incurred significant computational cost, requiring at least 100% more time than the original Air-Soar agent.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

An Introduction to Soar as an Agent Architecture

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Evaluating Integrated, Knowledge-Rich Cognitive Systems

  • AAAI Fall Symposium: Advances in Cognitive Systems
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

Beyond the Ad-Hoc and the Impractically Formal: Lessons from the Implementation of Formalisms of Intention

  • AAAI Spring Symposium: Intentions in Intelligent Systems
  • 2007
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND