Kecerdasan Buatan/ Artificial...
-
Upload
phungkhuong -
Category
Documents
-
view
237 -
download
1
Transcript of Kecerdasan Buatan/ Artificial...
![Page 1: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/1.jpg)
Constraint Satisfaction Problem
(CSP)
Kecerdasan Buatan/
Artificial Intelligence
Rekyan Regasari Mardi Putri, ST, MT
Lailil Muflikhah, S.Kom, M.Sc
Imam Cholissodin, S.Si., M.KomM. Ali Fauzi, S.Kom, M.Kom
![Page 2: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/2.jpg)
Pokok Bahasan
1. Constraint Satisfaction Problems (CSP)
2. Pencarian Backtracking untuk CSP
3. Local search untuk CSPs
4. Latihan Individu + Tugas Kelompok
5. Quiz 1
![Page 3: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/3.jpg)
Constraint Satisfaction Problem
CSP atau Constraint Satisfaction Problem adalah
permasalahan yang tujuannya adalah mendapatkan
suatu kombinasi variabel-variabel tertentu yang
memenuhi aturan-aturan (constraints) tertentu.
State didefinisikan dengan variables Xi yang mempunyai
values dari domain Di.
Goal Test adalah sebuah himpunan constraints yang
memberikan kombinasi yang diijinkan untuk mengisi
variabel.
![Page 4: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/4.jpg)
Contoh CSP
Mewarnai Peta
• Variabel: WA, NT, Q, NSW, V, SA, T
• Ranah: Di = {red, green, blue}
• Syarat: 2 wilayah yang berbatasan harus berbeda warna:
o WA ≠ NT, NT ≠ SA, . . .
o (WA, NT) Є {(red, green), (red, blue), (green, red), (green, blue), . . .}
![Page 5: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/5.jpg)
Contoh CSP
Contoh Solusi CSP : Mewarnai Peta
• Solusi adalah pemberian nilai setiap variabel yang memenuhi syarat,
mis : {WA=red, NT=green, Q=red, NSW=green, V=red, SA=blue,
T=green}
![Page 6: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/6.jpg)
Contoh CSP
Constraint graph• Binary CSP : sebuah constraint menyangkut hubungan maks. 2
variable.
• Constraint graph : representasi di mana node adalah variable,
edge adalah constraint, mis:
![Page 7: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/7.jpg)
Backtracking
Algoritma backtracking search (penelusuran kembali) adalah suatu bentuk
algoritma depth-first-search.
Jika solusi partial melanggar constraint, backtracking melakukan langkah
kembali ke solusi partial sebelumnya.
Pada algoritma backtracking, teknik look ahead digunakan untuk
meramalkan efek pemilihan variabel branching untuk mengevaluasi nilai-
nilai variabel tersebut.
Forward checking adalah salah satu cara untuk melakukan look ahead.
Forward checking mencegah terjadinya konflik dengan melarang nilai-nilai
yang belum diisikan ke variable untuk dipakai.
Ketika suatu nilai diisikan ke suatu variabel, nilai yang berada di domain
dari variabel yang konflik tersebut akan dihilangkan dari domain.
![Page 8: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/8.jpg)
Minimum Remaining Value
Adalah suatu teknik yang dikembangkan untuk menangani masalah
kemungkinan besar gagal pada pencarian menggunakan CSP.
MRV berkerja dengan memilih variabel yang memiliki domain legal
dan paling sedikit (memiliki kemungkinan untuk membuat suatu
dead-end paling besar) untuk diisikan terlebih dulu.
![Page 9: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/9.jpg)
Backtracking Search
Variable assignment berlaku komutatif, dalam arti: [WA=red lalu
NT=green] sama saja [NT=green lalu WA=red]
Pada tiap level, hanya perlu meng-assign satu variabel b = d
Depth first search pada CSP dengan assignment satu variabel tiap
level disebut backtracking search.
![Page 10: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/10.jpg)
Backtracking example
![Page 11: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/11.jpg)
Backtracking example
![Page 12: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/12.jpg)
Backtracking example
![Page 13: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/13.jpg)
Backtracking example
![Page 14: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/14.jpg)
Memperbaiki kinerja backtracking
Urutan pemilihan variable dan nilai mempengaruhi
kinerja backtracking
Terdapat beberapa strategi yang berlaku secara umum
(general-purpose) :
1. Variable mana yang perlu di-assign terlebih dulu?
2. Nilai apakah yang perlu dicoba terlebih dulu?
3. Apakah kita bisa mendeteksi kepastian failure lebih
awal?
4. Apakah kita bisa memanfaatkan struktur masalah?
5. CSP? (Representasinya jelas!)
![Page 15: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/15.jpg)
Prinsip 1: Most Constrained Variable
Variabel yang paling dibatasi
o Pilih variable yang memiliki kemungkinan nilai sah
paling sedikit
o a.k.a. minimum remaining values (MRV) heuristic
also called most constrained variable or “fail first”
![Page 16: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/16.jpg)
Prinsip 2: Most Constraining Variable
Variable paling membatasi
o Pilih variable yang terlibat constraint dengan variable
lain (yang belum di-assign) yang paling banyak.
o Tie − breaker : gunakan kalau ada 2 atau lebih
variable yang sama bagusnya berdasarkan prinsip 1.
![Page 17: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/17.jpg)
Prinsip 3: Least Constraining Value
Nilai paling membebasi
o Pilih nilai yang menimbulkan batasan kemungkinan
nilai variable lain (yang belum di-assign) yang paling
sedikit.
o Jika ketiga prinsip ini digunakan, masalah n-queens
dengan n=1000 bisa diselesaikan!
![Page 18: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/18.jpg)
Forward checking
Catat kemungkinan nilai sah untuk semua variable yang
belum di-assign. Jika ada sebuah variable yang tidak
ada kemungkinan nilai sah, langsung failure (backtrack).
![Page 19: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/19.jpg)
Forward checking
Idenya :
o Simpan nilai valid untuk
variable yang belum di-assign
o Bila salah satu variable
tidak mempunyai kemungkinan nilai yang valid
maka search dihentikan
![Page 20: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/20.jpg)
Forward checking
Idenya :
o Simpan nilai valid untuk
variable yang belum
di-assign
o Bila salah satu variable tidak mempunyai kemungkinan nilai
yang valid maka search dihentikan
![Page 21: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/21.jpg)
Forward checking
Idenya :
o Simpan nilai valid untuk
variable yang belum di-assign
o Bila salah satu variable tidak
mempunyai kemungkinan nilai yang valid maka search
dihentikan
![Page 22: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/22.jpg)
Constraint propagation
Forward checking memberikan informasi dari variabel yang
dialokasi, namun tidak dapat mendeteksi kegagalan sebelumnya.
Note :
Forward checking mem-propagasi (meneruskan)
informasi dari variable yang sudah di-assign ke yang belum.
Secara umum, ini disebut constraint propagation.
Namun, tidak semua failure bisa di-deteksi secara dini.
![Page 23: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/23.jpg)
Arc consistency
Bentuk sederhana dari propagasi,
membuat arc consistent
X Y is consistent iff
for every value x of X there is some allowed y
![Page 24: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/24.jpg)
Arc consistency
Bentuk sederhana dari propagasi,
membuat arc consistent
X Y is consistent iff
for every value x of X there is some allowed y
![Page 25: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/25.jpg)
Arc consistency
Bentuk sederhana dari propagasi,
membuat arc consistent
X Y is consistent iff
for every value x of X there is some allowed y
Jika X kehilangan suatu nilai, neighbors dari X perlu diperiksa ulang.
![Page 26: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/26.jpg)
Arc consistency
Bentuk sederhana dari propagasi, membuat arc consistent
Simplest form of propagation makes each arc consistent
X Y is consistent iff
for every value x of X there is some allowed y
Jika X kehilangan suatu nilai, neighbors dari X perlu diperiksa ulang
Arc consistency detects failure lebih dini dari pada forward checking
Dapat dijalankan sebagai preprocessor atau setelah setiap
assignment.
![Page 27: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/27.jpg)
Constraint Propagation: Map Coloring
Dengan heuristic yang admissible dan consistent, A* pasti
complete dan optimal.
Isikan bidang (R1..R7) di atas dengan warna : Merah, Kuning, Hijau, Biru.
Bidang bertetangga tidak boleh memiliki warna yang sama.
1. Apakah variabel yang Anda gunakan?
2. Apakah domain yang tersedia?
3. Bagaimana Anda mengevaluasi constraints-nya?
R1
R2 R3 R4 R5
R7
R6
![Page 28: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/28.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 29: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/29.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 30: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/30.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 31: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/31.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 32: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/32.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 33: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/33.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 34: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/34.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 35: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/35.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 36: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/36.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 37: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/37.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 38: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/38.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 39: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/39.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 40: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/40.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 41: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/41.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 42: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/42.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 43: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/43.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 44: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/44.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 45: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/45.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 46: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/46.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 47: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/47.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 48: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/48.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 49: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/49.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 50: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/50.jpg)
Constraint Propagation: Map Coloring
Variabel yang harus diisi: R1, .. R7
Domain yang tersedia: warna (merah, kuning,
hijau, biru)
Constraints :
1. R1 <> R2, …, R7,
2. R2 <> R3,
3. R3 <> R4,
4. R4 <> R5,
5. R5 <> R6,
6. R6 <> R7
![Page 51: Kecerdasan Buatan/ Artificial Intelligencemalifauzi.lecture.ub.ac.id/files/2015/09/06-Constraint... · Artificial Intelligence Rekyan Regasari Mardi Putri, ST, MT ... Contoh CSP Contoh](https://reader030.fdokumen.com/reader030/viewer/2022020104/5a7872547f8b9a8c428ba306/html5/thumbnails/51.jpg)
Selesai