Teknik Penalaran
dzhoeLakers
Teknik Penalaran merupakan Teknik penyelesaian masalah dengan cara merepresentasikan masalah ke dalam basis pengetahuan (knowledge base) menggunakan logika atau bahasa formal (bahasa yang dipahami oleh komputer).
Dalam hal ini terdapat inti pokok dari Teknik Penalaran ini, yaitu:
  1. Logika Proposisi
  2. Kalkulus Predikat
  3. Logika Samar
Logika proporsional dan kalkulus predikat digunakan untuk menyelesaikan masalah yang memiliki kepastian sedangkan logika samar digunakan untuk menyelesaikan masalah yang memiliki ketidakpastian.
Berbeda dengan metode pencarian yang merepresentasikan masalah ke dalam  ruang masalah serta menggunakan strategi pencarian, teknik penalaran merepresentasikan masalah ke dalam basis pengetahuan dan melakukan proses penalaran untuk menemukan solusi.

A. Logika Proporsional
    Tata Bahasa dan Logika Proporsional,Simbol-simbol yang digunakan adalah:
   - True atau False (pernyataan proposisi)
   - Or, And, If-Then,  If-Only If, Not, If-Then Else (simbol proposisi)
   - Ú, Ù, ®, Û, dan ~ (notasi penghubung proposisi)

B. Semantik pada Logika Proporsional
    Secara semantik sangatlah sederhana mendefinisikan logika proporsional.
      Misalnya menggunakan P dan Q yang dianggap menyatakan fakta apapun yang kita inginkan.
     Logika proposisi akan menyatakan true adalah konstanta yang menyatakan kebenaran dan false sebaliknya.
Semantik untuk kelima penghubung dapat diilustrasikan sebagai berikut:











C. Aturan Inferensi untuk Logika Proporsional

Inferensi adalah suatu metode untuk menurunkan mesimpulan berdasarkan hipotesa yang diberikan, tanpa harus menggunakan tabel kebenaran.

Beberapa aturan inferensi:
  • Modus Ponens
Pada suatu implikasi ‘jika P maka Q’ yang diasumsikan bernilai benar, dan apabila juga diketahui bahwa nilai P benar, maka nilai Q mesti benar.
  • Modus Tollens
Suatu implikasi ‘jika P maka Q’ akan selalu ekuivalen dengan kontraposisinya, yaitu ‘jika bukan P maka bukan Q’.
  • Prinsip Silogisme
Jika suatu implikasi ‘jika P maka Q’ dan ‘jika Q maka R’ keduanya bernilai benar maka implikasi ‘jika P maka R’ pasti benilai benar.
Category:

Posting Komentar

:)) ;)) ;;) :D ;) :p :(( :) :( :X =(( :-o :-/ :-* :| 8-} :)] ~x( :-t b-( :-L x( :-p =))

Langganan: Posting Komentar (Atom)