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: Semra Doğandağ
Danışman: FERDA NUR ALPASLAN
Ö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. Anahtar Kelimeler: eylem dilleri, durağan model anlambilimi, mantıksal programlama