Using criticalities as a heuristic for answer set programming
Tezin Türü: Yüksek Lisans
Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye
Tezin Onay Tarihi: 2002
Tezin Dili: İngilizce
Öğrenci: ORKUNT SABUNCU
Danışman: FERDA NUR ALPASLAN
Özet:ÖZ KRİTİKLERİN YANIT KÜMESİ PROGRAMLAMADA BULUŞSAL YÖNTEM OLARAK KULLANILMASI Sabuncu, Orkunt Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Doç. Dr. Ferda Nur Alpaslan Eylül 2002, 55 sayfa Yanıt kümesi programlama temeli mantık programlama olan yeni bir yaklaşımdır. Ana bileşeni mantık programlarının yanıt kümelerini bulan dizgedir. Programın yanıt kümelerine karşılık gelen durağan modeller (stable models) durağan model anlambilimi kullanılarak bulunur. Sistemler yeni harfler (literals) seçebilmek için genelde bazı buluşsal yöntemler (heuristics) kullanırlar ve seçilen harfleri aday modele (candidate model) yanıt kümesi bulmak için eklerler. Kullanılan buluşsal yöntemler sistemin performansı açısından önemli bir unsurdur. Bu çalışmada yanıt kümesi programlama sistemleri için yeni bir buluşsal yöntem geliştirilmiştir. Bu yöntemin ana fikri için hiyerarşik planlamadan esinle nilmiştir. Soyutlama hiyerarşilerinin oluşturulmasında kullanılan kritik kavramı (criticality) geliştirilen buluşsal yöntemin temelini oluşturur. SMODELS sis temi üzerinde geliştirdiğimiz CSMODELS bu yeni yöntemi kullanır. Deney sel sonuçlar yeni buluşsal yöntemin ümit verici olduğunu gösteriyor. Genelde CSMODELS'ın yanıt kümesi bulması SMODELS'dan daha az zaman alıyor.Anahtar Kelimeler: yanıt kümesi programlama, mantık programlama, SMOD- ELS, durağan model anlambilimi, kritikler, soyutlama hiyerarşisi