Explanations and error diagnosis

Explanations and error diagnosis LIFO Gerard Ferrand, Willy Lesaint, Alexandre Tessier public, rapport de recherche D3.2.2 Contents 1 Introduction 3 2 Preliminary notations and denitions 4 2.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Constraint Satisfaction Problem . . . . . . . . . . . . . . . . . . . . . 4 2.3 Constraint Satisfaction Program . . . . . . . . . . . . . . . . . . . . . 5 2.4 Links between CSP and program . . . . . . . . . . . . . . . . . . . . 7 3 Expected Semantics 8 3.1 Correctness of a CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.2 Symptom and Error . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Explanations 9 4.1 Explanations . . . . . . . . . . . . . . . . . . . . . . . . .

• local consis


• traction algorithms


• symptom can


• dynamic constraint


• nite domains using


• constraint programming


• declarative diagnosis


• domain reduction only


• constraint satisfaction