Sillojistik akıl yürütmenin bilgisayarda modellenmesi üzerine

Bu tezin amacı, Doğal Lojik Programı kapsamında İngilizce doğal diline ait bazı temel sillojistik akıl yürütmelerin mantıksal türetimlerinin ve karşıt modellerinin, Python programlama dili kullanılarak İngilizce dilinin doğal yapısı çerçevesinde nasıl modüller oluşturulacağı üzerinde durmaktır. Tez, altı bölümden oluşmaktadır. Tez ile ilgili genel bilgilerin yer aldığı giriş bölümünden sonra, önbilgiler bölümünde temel kavramlara yer verildi. Üçüncü bölümde, sillojizm kavramının doğuşu, gelişimi, klasik ve modern yorumlarına yer verildi. Ayrıca, klasik ve modern sillojizmler arasındaki farklılıklar ve benzerlikler verildi. Dördüncü bölümde, temel sillojistik lojikler ve kardinalite ve kesişen sıfatlardan oluşan sillojistik lojikler hakkında lojiksel ve cebirsel bilgiler verildi. Beşinci bölümde, önceki bölümde bahsedilen sillojistik lojiklerin türetim algoritmaları, doğal dildeki gramer yapıları, bilgisayarda karşılık gelen veri yapıları, sonsuz döngüden nasıl kurtarılacağı ve modüllerin girilen veri sayısına karşılık ne kadar zamanda sonlacanağı hakkında bilgiler verildi. Altıncı bölümde, tez boyunca elde edilen bilgilerin ve sonuçların bir özeti verildi.