Sistem Berbasis Aturan

Sistem berbasis aturan (rule-based system) menggunakan Modus Ponens sebagai dasar untuk memanipulasi aturan, yaitu:

fakta A benar, dan
operasi A → B benar,
maka fakta B adalah benar

Proses Reasoning

•  Proses reasoning dari sebuah sistem berbasis aturan adalah tahapan proses mulai dari sekumpulan fakta menuju solusi, jawaban dan kesimpulan.
• Terdapat dua macam cara yang dapat digunakan untuk menghasilkan suatu kesimpulan, yaitu:
  – Forward Chaining (data driven): kesimpulan dihasilkan dari seperangkat data yang diketahui.
  – Backward Chaining (goal driven): memilih beberapa kesimpulanyang mungkin dan mencoba membuktikan kesimpulan tersebut dari bukti-bukti yang ada.