{"id":"agm-belief-revision","text":"AGM (Alchourrón, Gärdenfors, Makinson 1985) provides formal theory for rational belief revision. Entrenchment scoring in backtracking is a crude approximation of AGM","truth_value":"IN","source":"repo:beliefs-pi/CLAUDE.md","source_url":"","source_hash":"","justifications":[],"dependents":["nogood-mechanism"],"metadata":{},"explanation":{"steps":[{"node":"agm-belief-revision","truth_value":"IN","reason":"premise"}]}}