METODE LAIN DARI INFERENSI

METODE LAIN DARI INFERENSI

ANALOGI

-        Mencoba dan menghubungkan situasi lama sebagai penuntun ke situasi baru.

-        Contoh : diagnosis medical (gejala penyakit yang diderita oleh seorang pasien ternyata sama dengan gejala yang dialami pasien lain).

-        Pemberian alasan analogis berhubungan dgn induksi. Bila induksi membuat inferensi dari spesifik ke umum pada situasi yang sama, maka analogy membuat inferensi dari situasi yang tidak sama.

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 mirip dengan modus ponens

             Abduction             Modus ponens

            p à q                  p à q

q                         p

            \ p                    \ q

-        Bukan argument deduksi yang valid

-        Berguna untuk kaidah inferensi heuristik

-        Analogi,generate and test, abduction adalah metode bukan deduksi. Dari premise yg benar, metode ini tidak dapat membuktikan kesimpulan yg benar

Perbedaan  Forward Chaining,

 Backward Chaining dan Abduction

Inference	Start	Tujuan
FORWARD BACKWARD ABDUCTION	Fakta Kesimpulan tdk pasti Kesimpulan benar	Kesimpulan yang harus mengikuti Fakta pendukung kesimpulan Fakta yang dapat mengikuti

NONMONOTONIC REASONING

-        Adanya tambahan aksioma baru pada sistem logika berarti akan banyak teorema yang dapat dibuktikan.

-        Peningkatan teorema dengan peningkatan aksioma dikenal dengan sistem monotonik

-        Suatu masalah dapat terjadi, jika diperkenalkan aksioma parsial atau komplit baru yang kontradikasi dengan aksioma sebelumnya.

-        Pada sistem nonmonotonik, tidak perlu adanya peningkatan teorema yang sejalan dengan peningkatan aksioma.