Geri Dön

Using stable model semantics (SMODELS) in the causal calculator (CCALC)

Causal calculator'da (CCALC) durağan anlambiliminin (SMODELS) kullanımı

  1. Tez No: 118974
  2. Yazar: SEMRA DOĞANDAĞ
  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: eylem dilleri, durağan model anlambilimi, mantıksal programlama, Bilgisayar programları, Causal calculator, Programlama dilleri, action languages, stable model semantics, logic programming, Computer programs, Causal calculator, Programming languages
  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ı: Belirtilmemiş.

Özet

Eylem dilleri eylemler ve bunların durum değişkenleri üzerindeki etkilerini konu alan biçimsel yöntemlerdir. Planlamada yeni bir yaklaşım olarak problemlerin alanı eylem dilleri kullanılarak tanımlanır. Bu çalışmanın amacı eylem dili C ile tanımlanmış olan bir dizgeyi önce nedensel teoriye çevirmek, daha sonra da karşılık gelen mantık programını bularak planlama yapmaktır. Bu durumda planlama problemi mantık programının yanıt setini bulmaya indirgenmiş ola caktır. Bu dizge nedensel teoriler için model bulan Causal Calculator (CCALC) 'a eklenmiştir.

Özet (Çeviri)

Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem is reduced to finding the answer set (stable model) of this logic program. This planner has been added as an extension to the Causal Calculator (CCALC) which is a model checker for the language of the causal theories.

Benzer Tezler

  1. Bazı esterlerin kinetik incelenmesi ve termodinamik parametrelerin belirlenmesi

    Kinetic study and detesmination of thermodnamic parameters of some esters

    İBRAHİM TAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Kimya MühendisliğiUludağ Üniversitesi

    Kimya Ana Bilim Dalı

    PROF. DR. MUSTAFA CEBE

  2. Doğuştan kalça çıkıklı hastalarda kalça patolojilerinin bilgisayarlı tomografi ile değerlendirilmesi

    Başlık çevirisi yok

    NECDET ŞÜKRÜ ALTUN

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1987

    Ortopedi ve TravmatolojiGazi Üniversitesi

    Ortopedi ve Travmatoloji Ana Bilim Dalı

    PROF.DR. ORHAN ASLANOĞLU

  3. Hızlı katılaşma ile yüksek mukavemetli malzemelerin üretilmesi ve kurşun-asit akümalatörlerine uygulanması

    Başlık çevirisi yok

    ÜMİT AKÇAL

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Makine MühendisliğiUludağ Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DOÇ. DR. HALİM DEMİRCİ

  4. Plazma arkı eldesi ve yüzey bölgesi modifikasyonunda kullanılabilirliği

    Başlık çevirisi yok

    ÖZKAN ÖZİPEKLİLER

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Makine MühendisliğiUludağ Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DOÇ. DR. HALİM DEMİRCİ