Felsefe Arkivi, sa.41, ss.45-63, 2014 (Hakemli Dergi)
ÖZET
Bu çalışmada yapay zekâ ve mantık ilişkisi incelenmesi amaçlanmıştır. Bu doğrultuda yapay zekâ tarihçesi mantık temelli ele alınmış, yapay zekânın alt alanı olan bilgi gösteriminde mantığın rolü irdelenmiş, yapay zekâ ve felsefi mantık ilişkisi değerlendirilmiş ve sağduyu akılyürütmesini formelleştirme iddiası taşıyan monoton-olmayan mantık tanımlanmıştır. Anahtar Kelimeler: yapay zekâ, mantık, felsefi mantık, monoton-olmayan mantık, sağduyu akılyürütmesi.
ABSTRACT
The study aims to analyze the relation between artifical intelligence and logic. The history of artificial intelligence is addressed on the basis of logic, the role of logic in knowledge representation which is the subfield of artificial intelligence is examined, the relation between artificial intelligence and logic is evaluated, and non-monotonic logic which claims to formalize commonsense reasoning is defined.
Keywords: artificial intelligence, logic, philosophical logic, non-monotonic logic, commonsense reasoning