Yapay Zekâ ve Monoton-olmayan Mantık (Artificial Intelligence and Non-monotonic Logic)

[TR] 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. [EN] 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.