SOAR: an architecture for general intelligence
Artificial Intelligence
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Unified theories of cognition
Reliable goal-directed reactive control of autonomous mobile robots
Reliable goal-directed reactive control of autonomous mobile robots
Eliminating combinatorics from production match
Eliminating combinatorics from production match
A general framework for reason maintenance
Artificial Intelligence
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Artificial Intelligence
Building problem solvers
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Plan reuse versus plan generation: a theoretical and empirical analysis
Artificial Intelligence - Special volume on planning and scheduling
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Maintaining consistency in hierarchical reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Ensuring reasoning consistency in hierarchial architectures
Ensuring reasoning consistency in hierarchial architectures
Intention reconsideration in complex environments
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Principles of intention reconsideration
Proceedings of the fifth international conference on Autonomous agents
It knows what you're going to do: adding anticipation to a Quakebot
Proceedings of the fifth international conference on Autonomous agents
Distributed Intelligent Agents
IEEE Expert: Intelligent Systems and Their Applications
Back to the Future for Consistency-Based Trajectory Tracking
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Towards a Distributed, Environment-Centered Agent Framework
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Planning Component for RETSINA Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
On the efficient implementation of production systems.
On the efficient implementation of production systems.
Journal of Artificial Intelligence Research
Compilation of non-contemporaneous constraints
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Comparative analysis of frameworks for knowledge-intensive intelligent agents
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
Synthetic adversaries for urban combat training
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Characterizing Cognitive Adaptability via Robust Automated Knowledge Capture
FAC '09 Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
| Hi-index | 0.01 |
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 effectiveness is demonstrated with an empirical analysis.