Mesin inferensi adalah

Mesin inferensi adalah software yang merupakan alat operasi pelacakan dan pencocokan pola. Kadang-kadang juga disebut penafsir aturan, karena bekerja sebagai interpreter bahasa komputer. Jika interpreter bahasa melihat baris kode ke dalam suatu program dan kemudian melakukan spesifikasi operasi, sedang interpreter kaidah menguji aturan-aturan dalam urutan tertentu untuk mencari yang sesuai dengan kondisi awal dan kondisi berjalan yang sudah dimasukkan ke dalam basis pengetahuan. Begitu aturan cocok dengan kondisi yang ditemukan, maka aturan terstimulasi, dan oleh karena itu mulai langkah selanjutnya ditentukan (Armadyah, 2008).

Karena aturan terus menstimulasi, maka aturan yang satu akan mengacu kepada aturan lainnya dan membentuk lingkaran inferensi. Pada saat aturan baru diuji, ia mengecek status solusi masalah yang sudah disimpan dalam pangkalan data. Hal ini memberi informasi tambahan kepada aturan interpreter yang menyebabkan ia bisa memodifikasi urutan rules terpilih berikutnya. Proses ini terus berlangsung sampai ditemukan solusi yang diinginkan. Kebanyakan sistem pakar berbasis aturan menggunakan inferensi yang dinamakan modus ponen. Berdasarkan strategi ini terdapat aturan ”If A Then B”, dan jika diketahui bahwa A benar, maka dapat disimpulkan bahwa B juga benar. Strategi inferensi modus ponen dinyatakan dalam bentuk:

[A and (A-->B)] --> B

Dengan A dan A B adalah proposisi-proposisi dalam basis pengetahuan