Pendekatan
• Logika pasti (propotitional, first order/predicate)
• Logika tidak pasti (fuzzy logic)
Searching vs Reasoning
SEARCHING REASONING
Representasi : State dan ruang masalah Basis pengetahuan
Teknik : Strategi pencarian Penalaran
Tujuan : Menemukan nilai tertentu Menghasilkan kesimpulan
Masalah : Kelengkapan representasi state Kelengkapan aturan
Jenis Logika
Jenis Logic Yang ada di dunia nyata Apa yg dipercaya agent tentang dunia
nyata
Propositional logic Fakta Benar/salah/tidak diketahui
R-9 R-10
J K
Fakta R-4
G
A
R-5
R-3 F D R-6 H
E
Fakta
Alur Inferensi Backward Chaining (1)
Fakta
R-10 J I C A
K
R-8 R-7 R-1
A H B
Tidak
diketahui
(a) Pertama: Gagal
Alur Inferensi Backward Chaining (2)
Fakta
R-10 R-9 R-4
K J G A
Contoh :
A→B
A
B
Contoh 2:
Semua kucing merupakan anggota feline
Bootsy adalah seekor kucing
Kesimpulan : Bootsy merupakan anggota feline
Induksi
Formatnya: X = {a,b,c,d,...},
if property P is true for a, and if P is true for b, and if P is true for
c,...,
then P is true for all X
Contoh:
Semua kucing Siamese pada pertunjukan kucing 1986 mempunyai mata biru
Semua kucing Siamese pada pertunjukan kucing 1987 mempunyai mata biru
Kesimpulan : Semua kucing Siamese pada pertunjukan kucing mempunyai mata
biru
Abduksi
Formatnya:
• if Y is true and X implies Y , then X is true ?
Contoh:
Implikasi : Tanah menjadi basah jika terjadi hujan (rule)
Aksioma : Tanah menjadi basah (fact)
Konklusi : Apakah terjadi hujan? (result)
How to make an INFERENCE
Knowledge
Fact
Effidence
Conclusion
Planning
Inputs:
Domain Action Theory
Problem Instance
• Deskripsi initial state of the world
• Spesifikasi perilaku dari tujuan yang diharapkan
Output:
Rangkaian aksi yang menjalankan inisial awal untuk mencapai
tujuan
Example Problem Instance:
“Sussman Anomaly”
C B
A B C
Move-C-from-A-to-Table:
preconditions: on(C, A), clear(C)
effects:
add on-table(C)
delete on(C, A)
add clear(A)
Plan Generation:
Search space of world states
1. Buatlah Rules
aturan dan
actions
representation
kasus mengisi
air dalam
bentuk
propositional
*Pengumpulan
pertemuan 6