Constraint Satisfaction

Constraint Satisfaction

• Problem search standard  :

– state adalah "black box“ – setiap struktur data yang mendukung fungsi successor, fungsi heuristik dan tes goal.

•CSP:
– state didefinisikan sebagai variabel X
dengan nilai dari domain D
– Tes goal adalah sekumpulan constraint yang menspesifikasikan kombinasi dari nilai subset variabel.

• Contoh sederhana adalah bahasa representasi formal.

• CSP ini merupakan algoritma general-purpose dengan kekuatan lebih daripada algoritma pencarian standar.

• Binary CSP biner : setiap constraint merelasikan dua variabel

• Graf Constraint : node adalah variabel, arc adalah constraint