AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Truth Maintenance Systems for Problem Solving
Truth Maintenance Systems for Problem Solving
A Model for Deliberation, Action, And Introspection
A Model for Deliberation, Action, And Introspection
Rule-based versus structure-based models for explaining and generating expert behavior
Communications of the ACM
Revised dependency-directed backtracking for default reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Revised dependency-directed backtracking for default reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.02 |
We describe a problem solver that met nonchronological backtracking in situations involving tradeoffs. The novel aspect of the problem solver is it ability to weigh advantages and disadvantages of alternatives at choke points. Whenever untenable situations arise, this information is available to the backtracker to determine the most appropriate backtracking point. By endowing the backtracker with access to domain-specific knowledge, a highly contextual approach to reasoning in dependency directed backtracking situations can be achieved.