Bilgi Temsili ve Akıl Yürütme (AING355)
Sembolik bilginin mantık kullanılarak temsil edilmesi. Temsil gücü ve hesaplama özellikleri arasındaki temel değiş tokuş. Bilgi Temsili için uygun birinci dereceden mantık parçaları. Otomatik akıl yürütme yöntemleri: Akıl yürütme algoritmaları ve uygulamaları ve akıl yürütmenin bilgi temsilini desteklemek için nasıl kullanıldığı. Cevap kümesi programlama. Anlamsal Web için ontoloji dilleri. Monotonik olmayan mantıklar. Mantık ve olasılığın birleştirilmesi.