Chapter 4. Decision Making

Table of Contents

Dependency Expression Evaluation
Look-Ahead
Constraint Propagation
Expanded Search Space

Dependency Expression Evaluation

In terms of boolean logic, a dependency expression can be expressed in disjunctive normal form (DNF), which is a disjunction of conjunctive clauses. Each conjunctive clause represents one possible alternative combination of dependency atoms capable of satisfying the dependency expression.