Reasoning adalah cara
mempresentasikan setiap fakta dalam Bahasa formal, seperti dalam logika
predikatif. Sehingga pada saat diajukan pertanyaan yang berhubungan dengan alur
fakta tersebut dan dengan menggunakan metode inferensi sebab akibat) maka akan
di dapat jawaban dari pertanyyan tersebut.
Sebagai contoh :
perhatikan permasalahan untuk mendapatkan jawaban dari suatu pertanyaan
berdasarkan pada data fakta berikut ini :
- Agus adalah seorang lelaki
- Agus adalah seorang berkebangsaan x
- Agus adalah seorang berkebangsaan x
- Agus dilahirkan pada tahun 1908
- Semua manusia adalah fana
- Semua orang berken=bangsaan x meninggal karena adanya bencana banjir tahun 1995
- Tidak ada manusia yang dapat hidup lebih lama dari 80 tahun
- Sekarang tahun 2006
Jika diajukan pertanyaan “Apakah agus masih hidup?” dengan
merepresentasikan setiap Bahasa formal maka representasi logikanya:
