Hyperkantenkonsistenz

• Ein Atom C(x₁,…, x_n) mit Bereichszuordnung dom : x_i $\mapsto$ D_i heißt n-(hyperkanten-)konsistent,

  wenn ∀p_i∈D_i∃q₁∈D₁,…, q_n∈D_n : C(q₁,…, q_i-1, p_i, q_i+1,…, q_n).

  Eine Formel ist n-konsistent, wenn alle Atome mit ≤n Variablen n-konsistent sind

• Inferenzregel?
• Aufwand? (Antwort: O(| U|ⁿ)
• Nutzen? (Antwort: Einsparung von Decide-Knoten)
• beachte: Erweiterungen dieser Def. auf folgenden Folien