Geri Dön

Using criticalities as a heuristic for answer set programming

Kritiklerin yanıt kümesi programlamada buluşsal yöntem olarak kullanılması

  1. Tez No: 119329
  2. Yazar: ORKUNT SABUNCU
  3. Danışmanlar: DOÇ. DR. FERDA NUR ALPASLAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: yanıt kümesi programlama, mantık programlama, SMOD- ELS, durağan model anlambilimi, kritikler, soyutlama hiyerarşisi, answer set programming, logic programming, SMODELS, stable model semantics, criticalities, abstraction hierarchy IV
  7. Yıl: 2002
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 67

Ö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.

Özet (Çeviri)

ABSTRACT USING CRITICALITIES AS A HEURISTIC FOR ANSWER SET PROGRAMMING Sabuncu, Orkunt M.Sc, Department of Computer Engineering Supervisor: Assoc. Prof. Dr. Ferda Nur Alpaslan September 2002, 55 pages Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. Stable model semantics is used to find the stable models of the program which correspond to the answer sets. Generally, systems utilize some heuristics to choose new literals so that they can augment a candidate model with the chosen literals in order to find an answer set. The heuristic used in this process is one of the key points for the performance of the system. In this thesis, a new heuristic for answer set programming has been devel oped. The main idea of this heuristic is inspired by hierarchical planning. The notion of criticality, which was introduced for generating abstraction hierarchies in hierarchical planning, is used as the new heuristic. The resulting system called CSMODELS uses this new heuristic and is based on the system SMODELS. The experimental results show that this new heuristic is promising for answer set programming. CSMODELS generally takes less time than SMODELS to find an answer set. İÜ llCY^SWftfe^T^.:.,

Benzer Tezler

  1. Arazi şartlarında faydalı yük taşıyabilen ve güç kaynağı olarak kullanılabilen tekerlekli araç platformunun tasarım sürecinde güvenilirlik merkezli bakım uygulaması

    Reliability centered maintenance application in wheeled vehicle platform which can carry payload in off-road conditions and can be used as a power source

    HAKAN ÇEKEL

    Doktora

    Türkçe

    Türkçe

    2024

    Makine MühendisliğiAnkara Üniversitesi

    Tarım Makineleri ve Teknolojileri Mühendisliği Ana Bilim Dalı

    PROF. DR. ALİ İHSAN ACAR

  2. Sürdürülebilir binalarda kritik başarı faktörlerinin incelenmesi

    Review of critical success factors for sustainable buildings

    EZGİ DERİNÖZLÜ BAYDUR

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    DOÇ. DR. AHMET MURAT ÇIRACI

  3. İnternette güvenlik

    Security on the internet

    MURAT GÜNDOĞDU

    Yüksek Lisans

    Türkçe

    Türkçe

    2003

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. GÜNSEL DURUSOY

  4. Sendikal hakların kullanılmasının engellenmesi suçları

    Criminalities of prevention of using syndical rights

    FATMA SÜMER

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Hukukİstanbul Üniversitesi

    Kamu Hukuku Ana Bilim Dalı

    YRD. DOÇ. DR. SELMAN DURSUN