Resolusi dan Resolving Argument pada Logika Informatika

TauPintar.net. Kali ini admin akan membahas tentang Resolusi dan Resolving Argument pada logika informatika. Mari kita bahas.

Resolusi
Resolusi Merupakan suatu metode yang lebih mekanis dan mudah digunakan didalam pembuktian ekspresi  - ekspresi logika.

Teknik resolusi dilakukan dengan menresolved klausa - klausa yang berbentuk CNF, yang memiliki literal berpasangan. Misalnya A dan ¬A, untuk menghasilkan klausa baru, demikian dan seterusnya sampai yang terakhir. Teknik disebut Resolvent. Teknik tersebut dapat diproyeksikan dalam bentuk pohon resolusi. CNF adalah bentuk normal yang memakai perangkat  kongjunsi (˄) dari disjungsi (˅) .

Strategi pembalikan dipakai pada teknik resolusi dengan menkaji kesimpulan sehingga jika hasil revolusi adalah ⊥, maka argumen disebut valid. Jika tidak atau akan sebaliknya ⊥ selalu bernilai salah dan pada resolvent dapat berarti klausa kosong.
Argumen yang hendak dibuktikan validitasnya harus diubah menjadi CNF dengan klausa - klausanya sebelum dilakukan deduksi resolusi.

Contoh Pohon Resolusi

⊥ (falsum) adalah konstanta proposional yang selalu bernilai salah. Artinya jika nilai kebenaran dari premis - premis dan negasi kesimpulan - kesimpulan bernilai salah (falsum) maka argument pasti valid. 

Resolving Argument
Sebelumnya telah dikemukakan bahwa logika berhubungan dengan deduksi atau penarikan kesimpulan, masalah pembuktian dan validitas argument

Langkah - langkah Resolving Argument

1. Tentukan variable proposisinya
2. Tentukan logika ekspresi (premis dan kesimpulan)
3. Susun dalam bentuk ekspresi logika
4. Gunakan strategi pembalikan
5. Lakukan teknik Resolving Argument dengan cara diubah menjadi CNF
6. Buatlah pohon dengan tetap menggunakan CNF

Contoh :
Jika Jambu ini manis, maka jambu ini enak dimakan. Jika Jambu ini enak dimakan, maka saya akan memakannya. Dengan demikian, jika jambu ini manis, maka saya akan memakannya.

Pertanyaan : Buktikan pernyataan bahwa pernyataan tersebut valid

1. Misalkan:
A = jambu ini manis
B = jambu ini enak dimakan
C = saya akan memakannya

2. Premis dan Kesimpulan
A → B (Premis)
B → C (Premis)
A → C (Kesimpulan)

3. Ekspresi Logika
 ((A → B) ^ (B→C)) → (A → C)

4. Strategi Pembalikan
 ((A → B) ^ (B→C)) ^ ¬ (A → C)

5. Lakukan teknik Resolving Argument dengan cara diubah menjadi CNF
(A → B) ^ (B→C) ^ ¬ (A → C)
≡ (¬A v B) ^ (¬B→C) ^ ¬ (¬A v C)

≡ (¬A → B) ^ (¬B→C) ^ (¬¬A v ¬C)

≡ (¬A → B) ^ (¬B→C) ^ (A v ¬C)

≡ (¬A → B) ^ (¬B→C) ^ A v ¬C

6. Buatlah pohon dengan tetap menggunakan CNF

 

Dari Penyelesain pohon terbalik diatas dikatakan bahwa argument bernilai valid.

 Itulah penjelasan singkat tentang Resolusi dan Resolving Argument. Semoga bermanfaat.