Situated modelling of epistemic puzzles
Epistemik bulmacaların durumsal modellenmesi
- Tez No: 33478
- Danışmanlar: DOÇ. DR. VAROL AKMAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Epistemik Bulmacalar, (Hesapsal) Durum Kuramı, PROSIT, Bilgi Gösterimi, Sağduyusal Akıl Yürütme. iv, Bulmacalar, Durum denklemleri, Epistemic Puzzles, (Computational) Situation Theory, PROSIT, Knowledge Representation, Commonsense Reasoning. m, Puzzles, State equations
- Yıl: 1994
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET EPISTEMIK BULMACALARIN DURUMSAL MODELLENMESİ Murat Ersan Bilgisayar ve Enformatik Mühendisliği, Yüksek Lisans Danışman: Doç. Dr. Varol Akman Temmuz 1993 Durum kuramı Jon Barwise ve John Perry tarafından önerilmiş ve anlam üzerine matematiksel bir kuramdır. Bu kuram kuramsal ve pratik ilgi uyandır mış ve bir takım 'hesapsal' sistemlerin çerçevesini güdülendirmiştir. PROSIT bu konuda yapılmış öncü bir çalışmadır. Ne yazık ki, bu sistemlerde gerçek yaşamdan uygulamalarda eksiklikler vardır ve bu çalışma bu eksikliği gider meyi hedeflemektedir. Burada, PROSIT' in durum kuramının kavramlarını ne denli yansıttığını inceliyor ve bu programlama dilini kullanarak bir dizi epis- temik bulmacayı çözüyoruz.
Özet (Çeviri)
ABSTRACT SITUATED MODELING OF EPISTEMIC PUZZLES Murat Ersan M.S. in Computer Engineering and Information Science Advisor: Assoc. Prof. Varol Akman July, 1994 Situation theory is a mathematical theory of meaning introduced by Jon Bar- wise and John Perry. It has evoked great theoretical and practical interest and motivated the framework of a few 'computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real- life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we examine how much PROSIT reflects situation- theoretic concepts and solve a group of epistemic puzzles, using the constructs provided by this programming language.
Benzer Tezler
- Termaller ve cumuluslerde meteorolojik parametrelerin ölçülmesi, analizi ve konvektif yapının modellenmesi
Measurements and analysis of the meteorological parameters in thermals and cumulus clouds and modelling of the conventive structure
ZAFER ASLAN
- Çanakkale Boğazı Nara Burnu geçişinde eskort römorkör manevralarının incelenmesi
Analysis of escort tugboat maneuveirngs at dardanel strait, cape nara
ALİ GÜRÜN
Yüksek Lisans
Türkçe
1997
Gemi Mühendisliğiİstanbul Teknik ÜniversitesiGemi Makineleri İşletme Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET BAYÜLKEN
- Erzincan manyetotelürik verilerinin değerlendirilmesi (profil-A)
Interpretation of Erzincan mt measurements
HIDIR AYGÜL
- Bir yolcu vagonunun dinamik tasarımı ve titreşim konferunun analizi üzerine bir yaklaşım
Dynamic design verification and vibratory comfort analysis of a passenger coach by using the lumped and the continious systems models
ERDAL ABA
- Sustainable/environment friendly development planning of Fethiye-Kayaçukuru using GIS-based techniques
Fethiye-Kayaçukuru'nun CBS-tabanlı teknikler kullanılarak sürdürülebilir/çevre dostu gelişim planlaması
AYGÜN ERDOĞAN
Yüksek Lisans
İngilizce
2000
Jeodezi ve FotogrametriOrta Doğu Teknik ÜniversitesiJeodezi ve Coğrafi Bilgi Teknolojileri Ana Bilim Dalı
DOÇ. DR. OĞUZ IŞIK