Logika

Logika merupakan suatu pengkajian ilmiah tentang serangkaian penalaran, sistem kaidah, dan prosedur yang membantu proses penalaran. Logika merupakan bentuk representasi pengetahuan yang paling tua, yang menjadi dasar dari teknik representasi high level.

Dalam melakukan penalaran, komputer harus dapat menggunakan proses penalaran dedukti dan induktif ke dalam bentuk yang sesuai dengan manipulasi komputer, yaitu berupa Logika Simbolik atau Logika Matematik. Metode itu disebut Logika Komputasional. Bentuk logika komputasional ada 2 macam, yaitu Logika Proporsional atau Kalkulus dan Logika Predikat.

Penalaran deduktif bergerak dari penalaran umum menuju ke konklusi khusus. Umumnya dimulai dari suatu silogisme, atau pernyataan premis dan inferensi yang biasanya terdiri dari 3 bagian, yaitu premis mayor, premis minor, dan konklusi.

Berikut ini merupakan contoh penalaran secara deduktif :

Penalaran induktif merupakan kebalikan dari penalaran deduktif, dimulai dari masalah khusus menuju ke masalah umum. Penalaran ini menggunakan sejumlah fakta atau premis yang mantap untuk menarik kesimpulan umum .
Berikut ini merupakan contoh dari penalaran secara induktif :

Pada penalaran induktif konklusi tidak selalu mutlak, dapat berubah bilamana ditemukan fakta-fakta baru.