Algoritma backward-chaining, seperti tersirat dalam namanya, bekerja mundur dari query-nya. Jika query q diketahui true (benar), maka tidak ada proses yang perlu dikerjakan. Sebaliknya (q belum diketahui tetapi ingin dibuktikan bahwa q adalah true), algoritma ini akan berjalan untuk menemukan implikasi-implikasi dalam basis pengetahuan yang memiliki konklusi/kesimpulan-nya adalah q. Jika semua premis dari salah satu implikasi itu dapat dibuktikan true (benar) dengan backward chaining, maka q adalah true (benar). [lihat catatan di bagian bawah artikel tentang yang dimaksud implikasi, premis, dan konklusi].
Ketika diterapkan pada query Q pada gambar dibawah ini, algoritma backward chaining bekerja berjalan mundur turun ke grafik sampai mencapai paling bawah yaitu serangkaian fakta yang diketahui, A dan B, yang membentuk dasar utama dalam proses pembuktian.
 |
| (a) adalah sekumpulan klausa dan (b) visualisasi berupa grafik AND - OR |
Seperti pada forward chaining, implementasi ini berjalan dalam waktu linier.
Backward chaining adalah suatu bentuk penalaran yang berbasis goal (tujuan). Algoritma (penalaran) ini berguna, misalnya, untuk menjawab pertanyaan spesifik seperti "Apa yang harus saya lakukan sekarang?" atau "Di mana kunci-ku?" Seringkali, cost dalam backward chaining jauh lebih kecil (lebih efisien) dalam ukuran basis pengetahuan, karena prosesnya hanya menyentuh fakta-fakta yang relevan saja.
Contoh deskripsi gambar di atas
Deskripsi yang lebih praktis dalam pendekatan contoh gambar di atas bisa diterjemahkan sebagai contoh kasus seperti berikut.
Ada lima rule dalam gambar di atas yaitu:
- Rule 5: P ⇒ Q
- Rule 4: L ∧ M ⇒ P
- Rule 3: B ∧ L ⇒ M
- Rule 2: A ∧ P ⇒ L
- Rule 1: A ∧ B ⇒ L
Ada dua fakta yaitu:
- Fakta: A (true)
- Fakta: B (true)
Q : adalah Goal yang ingin dibuktikan/diverifikasi:
- dari rule 5: P ⇒ Q (P ?? apakah bernilai true? cari dan verifikasi ke rule yang lain)
- dari rule 4: L ∧ M ⇒ P (L dan M?? apakah bernilai true? cari dan verifikasi ke rule yang lain)
- dari rule 3: B ∧ L ⇒ M ((B bernilai true - dari fakta. L apakah bernilai true? cari dan verifikasi ke rule yang lain)
- dari rule 1: A ∧ B ⇒ L (L bernilai true karena A dan B bernilai true - dari fakta)
- rule 3 terverifikasi: B ∧ L ⇒ M (B bernilai true - dari fakta, dan L bernilani true dari fakta baru yang di dapat dari rule 1, jadi M bernilai true)
- rule 4 terverifikasi: L ∧ M ⇒ P (P bernilai true karena L bernilai true dan M bernilai true)
- rule 5 terverifikasi: P ⇒ Q (dari rule 4 yang sudah terverifikasi, maka P bernilai true). Sehingga Goal (Q) sudah terverifikasi
Daftar catatan:
1. Implikasi (implication) dalam logika matematika seringkali disebut dengan kondisional atau biasa disajikan dengan "jika ... maka..." yang disimbulkan dengan =>. Bagian jika... sering disebut dengan premis, bagian maka... sering disebut dengan konklusi/kesimpulan"
--o0o--
Artikel terkait:
Comments
Post a Comment