METODE INFERENSI/KESIMPULAN

TREES, LATTICES DAN GRAF

Tree :struktur data hirarki yg berisi node/vertices/objek yg menyimpan informasi/pengetahuan dan link/edges/cabang yg menghubungkan node
Disebut juga dg tipe jaringan semantik khusus
@ Merupakan kasus khusus yg disebut graf
@ Suatu graf dapat mempunyai nol atau lebih link, dan tidakada perbedaan antara root dan child

STATE SPACE

State adalah kumpulan karakteristik yg dapat digunakan untuk menentukan status.

State Space adalah rangkaian pernyataan yg menunjukkan transisi antara state dimana objek dieksprerimen

POHON AND-OR

Dalam SP, untuk menemukan solusi problem dapat menggunakan rangkaian backward yaitu dengan tree ANDOR dan AND-OR-NOT











LOGIKA DEDUKTIF DAN SILOGISME
Tipe-tipe Inferensi

Deduction
􀂾 Pemberian alasan logikal dimana kesimpulan harus mengikuti premis
Induction
􀂾 Inferensi dari khusus ke umum
Intuition
􀂾 Tidak ada teori yg menjamin. Jawabannya hanya muncul, mungkin dengan penentuan pola yg ada secara tidak disadari.
Heuristic
􀂾 Aturan yg didasarkan pada pengalaman
Generate & Test
􀂾 Trial dan error. Digunakan dgn perencanaan.
Abduction
􀂾 Pemberian alasan kembali dari kesimpulan yg benar kepremis .
Default
􀂾 Diasumsikan pengetahuan umum sebagai default
Autoepistemic
􀂾 Self-knowledge
Nonmonotonic
􀂾 Pengetahuan yg sebelumnya mungkin tdk benar jika bukti baru didapatkan
Analogy
􀂾 Kesimpulan yg berdasarkan pada persamaan untuk situasi yg
lainnya.
Silogisme merupakan satu type argumen logika.

@ A dan I disebut “affirmative in quality” , subjek dimasukkan kedalam jenis predikat
@ E dan O disebut “negative in quality”, subjek tidak masuk dalam jenis predikat

BARIS INFERENCE (RULES OF INFERENCE)

Yaitu modus ponens dan modus tollens. Diagram venn tidak sesuai untuk argumen yg lebih kompleks karena menjadi sulit untuk dibaca pada decision tree untuk silogisme.
Hukum Inferensi:
Hukum Data skema
Hukum Kontra positif, dsb

Tabel Kondisional dan variantnya


Solusi :
1. Ingat p 􀃆 q dan q 􀃆 p benar maka p dan q ekuivalen
2. Jika (p 􀃆 q) ∧ (q 􀃆 p) maka ekuivalen dg p↔q dg kata lain p
≡ q
FIRST ORDER PREDICATE LOGI
Kategori silogisme dengan menggunakan predikat logic





LOGIC SYSTEMS = WFFS = WFF

Koleksi objek seperti baris, aksioma, pernyataan dsb
􀀹 Tujuan :
1. Menentukan bentuk argumen (WFFS=Well Formed Formulas)
Contoh All S is P
2. Menunjukkan baris inference yg valid
3. Mengembangkan sendiri dg menemukan baris baru dari inference shg memperluas rentangan argumen yg dapat dibuktikan
RESOLUSI
# Diperkenalkan oleh Robinson (1965)
# Merupakan baris inference yg utama dalam prolog


SISTEM RESOLUSI DAN DEDUKSI
Refutation adalah salah satu type pembuktian yang salah.



RESOLUSI DAN LOGIKA PREDIKAT FIRT ORDER
Sebelum resolusi dapat diterapkan, wff harus diletakkan dalam bentuk casual


RANGKAIAN BACKWARD DAN FORWARD

Forward : bottom-up reasoning, breadth first.
Backward : top-down reasoning, depth-first.


METODE LAIN DARI INFERENCE/KESIMPULAN
ANALOGI
Mencoba dan menghubungkan situasi lama sebagai penuntun ke situasi baru.
Contoh : diagnosis medical
􀂾 Pemberian alasan analogis berhubungan dgn induksi



GENERATE AND TEST
Pembuatan solusi kemudian pengetesan untuk melihat apakah solusi yg diajukan memenuhi semua persyaratan. Jika solusi memenuhi maka berhenti yg lain membuat sollusi yg baru kemudian test lagi dst
􀂾 Contoh : Dendral, prog AM(artificial Mathematician),Mycin

ABDUCTION/PENGAMBILAN
Metodenya sama dg modus ponens


@ Bukan argument deduksi yg valid
@ Berguna untuk baris/rules heuristik inference
@ Analogi,generate and test, abduction adalah metode bukan deduksi. Dari premise yg benar, metode ini tidak dapat membuktikan kesimpulan yg benar



NONMONOTONIC REASONING
Tambahan aksioma yg baru pada sistem logika berarti bahwa banyak teori yg dapat dibuktikan jika ada banyak aksioma dari teori yg didapat, disebut monotonik system


METAKNOWLEDGE
Program meta-DENDRAL menggunakan induksi untuk menyimpulkan baris baru dari struktur kimia.
Contoh : TEIRESIAS yg menambah pengetahuan secarainteraktif dari exp