30
2.5
Pemenuhan Konstrain (Constraint Satisfaction)
Constraint
Satisfaction
adalah
suatu
prosedur
pencarian
yang
dioperasikan
pada
sekumpulan set-set pembatasan (Constraint) tertentu.
Pertama-tama constraint ditemukan dan disebarkan sejauh mungkin kedalam
sistem. Jika masih belum ditemukan solusi,maka akan dilakukan pencarian.
Prosedur Pemenuhan Konstrain (Constraint Satisfaction) adalah sebagai berikut:
•
Pilihlah sebuah simpul yang belum dikembangkan dalam graph pencarian.
•
Terapkan
aturan-aturan
inferensi
pembatas
(constraint)
untuk
simpul
yang
dipilih untuk menghasilkan semua pembatas baru yang dimungkinkan.
•
Jika sebuah pembatas berisi sebuah
kontradiksi (pertentangan), maka
laporkanlah bahwa lintasan ini terhenti.
•
Jika
himpunan
pembatas
menggambarkan
sebuah
solusi
yang
lengkap,
maka
laporkanlah adanya kesuksesan.
•
Jika
tidak
ditemukan
adanya
kontradiksi
atau
solusi
lengkap
,
maka
solusi-
solusi parsial baru yang konsisten dengan himpunan pembatas saat ini.
Sisipkan solusi-solusi parsial kedalam graph pencarian (search)
Contoh: initial state (pernyataan awal)
S E N D
M O R E
--------------- +
M O N E Y
 |