Revised dependency-directed backtracking for default reasoning

Authors:
Charles J. Petrie, Jr.
Affiliations:
Microelectronics and Computer Technology Corporation, Austin, TX
Venue:
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Year:
1987

Citing 6
Cited 1

Heuristic reasoning about uncertainty: an artificial intelligence approach

Heuristic reasoning about uncertainty: an artificial intelligence approach
An expert system application in semicustom VLSI design

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
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
Qualitative Process Theory

Qualitative Process Theory
An approach to dependency directed backtracking using domain specific knowledge

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

A constraint logic programming approach to identifying inconsistencies in clinical practice guidelines for patients with comorbidity

AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

Default reasoning is a useful inference technique which involves choosing a single context in which further inferences are to be made. If this choice is incorrect, the context may need to be switched. Dependency-directed backtracking provides a method for such context switching. Doyle's algorithm for dependency-directed backtracking is revised to allow context switching to be guided by the calling inference system using domain knowledge. This new backtracking mechanism has been implemented as part of software for developing expert systems.