Using stable model semantics (SMODELS) in the causal calculator (CCALC)
Causal calculator'da (CCALC) durağan anlambiliminin (SMODELS) kullanımı
- Tez No: 118974
- Danışmanlar: DOÇ. DR. FERDA NUR ALPASLAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- 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
- Yıl: 2002
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- 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
- Okunabilir kopyalama algoritmalı DSM sisteminin gerçeklenmesi
Başlık çevirisi yok
ÖZGÜR KORAY ŞAHİNGÖZ
Yüksek Lisans
Türkçe
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. TAKUHİ NADİA ERDOĞAN
- Using criticalities as a heuristic for answer set programming
Kritiklerin yanıt kümesi programlamada buluşsal yöntem olarak kullanılması
ORKUNT SABUNCU
Yüksek Lisans
İngilizce
2002
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. FERDA NUR ALPASLAN
- Otonom araçların şerit algılama sistemlerinde YOLO mimarilerinin (v9, v11, v12, v26) semantik segmentasyon performanslarının karşılaştırmalı değerlendirilmesi
Comparative evaluation of the semantic segmentation performance of YOLO architectures (v9, v11, v12, v26) in lane detection systems of autonomous vehicles
ZEYNEP KUBİLAY YUNSO
Yüksek Lisans
Türkçe
2026
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilişim Sistemleri Mühendisliği Ana Bilim Dalı
PROF. DR. İSMAİL HAKKI CEDİMOĞLU
- Multi-scale recursive context aggregation network for semantic segmentation
Anlamsal bölümleme için çok ölçekli özyinelemeli bağlam birleştirme ağı
ABDULLAH YALÇIN
Yüksek Lisans
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET KESKİNÖZ
- Transformer tabanlı öznitelik bütünleştirme ile eksik veriye dayanıklı tahminsel model geliştirilmesi
Development of a predictive model robust to missing data via transformer-based feature integration
DUYGU BAYRAK GÜMÜŞ
Yüksek Lisans
Türkçe
2026
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilişim Sistemleri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MUHAMMED KOTAN