Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis¶
Stallman, R. M., & Sussman, G. J. (1977). Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence, 9(2), 135-196.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Backtracking
- Two further moves extend the pattern. No-good learning: recording the partial commitments that caused a failure so the search never revisits them transfers from constraint solving to organisational learning, where institutional memory prevents revisiting failed approaches.
This sourceOriginates dependency-directed backtracking and no-good (nogood) recording so a search avoids the whole class of a recorded failure.
- Two further moves extend the pattern. No-good learning: recording the partial commitments that caused a failure so the search never revisits them transfers from constraint solving to organisational learning, where institutional memory prevents revisiting failed approaches.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:1c4667e303be · see in the full table