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, Epistemic Puzzles, (Computational) Situation Theory, PROSIT, Knowledge Representation, Commonsense Reasoning. m
- Yıl: 1994
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar ve Enformatik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 81
Ö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
- 5. sınıf öğrencilerinin prizma yüzey alanı bilgisini oluşturma sürecinin rbc+c modeline göre incelenmesi
Investi̇gati̇on of the process of creati̇ng pri̇sm surface area knowledge of 5th grade students accordi̇ng to the rbc+c model
NURGÜL BÜTÜNER
Yüksek Lisans
Türkçe
2024
Eğitim ve ÖğretimBursa Uludağ ÜniversitesiMatematik ve Fen Bilimleri Eğitimi Ana Bilim Dalı
PROF. DR. GÜL KALELİ YILMAZ
- Kaletaş-Söğütağıl-Akpınar (Gümüşhane) yöreleri hidrotermal alterasyonların modellemesi
Hydrothermal alteration modelling of Kaletaş-Söğütağil-Akpınar (Gümüşhane) regions
UĞUR ATAY
Yüksek Lisans
Türkçe
2016
Jeoloji MühendisliğiGümüşhane ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ENVER AKARYALI
- 3d modelling of central Anatolian maars using unmanned air vehicles and comparison of morphological, depositional, geophysical, and geochemical characteristics
Orta Anadolu maarları'nın insansız hava araçları kullanılarak 3 boyutlu modellenmesi ve morfolojik, depolanma, jeofiziksel ve jeokimyasal özelliklerinin karşılaştırılması
GÖKSU USLULAR
Doktora
İngilizce
2023
Jeoloji MühendisliğiMuğla Sıtkı Koçman ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
PROF. DR. GONCA KUŞCU
- Elazığ - Sivrice ve Gezin civarının yeraltı yapısının gravite verileri kullanılarak modellenmesi
Modelling of the subsurface structures of Elazığ - Sivrice and Gezin region by using gravity data
NEDİM GÖKHAN AYDIN
Doktora
Türkçe
2024
Jeofizik Mühendisliğiİstanbul Teknik ÜniversitesiJeofizik Mühendisliği Ana Bilim Dalı
PROF. DR. TURGAY İŞSEVEN
- Ahmetli (Simav-Kütahya) - Pınarbaşı (Gediz-Kütahya) arasındaki polimetalik cevherleşmelerin jenetik modellemesi
Genetic modelling of the polymetalic mineralizations between Ahmetli Simav-Kütahya) pinarbaşi (Gediz-Kütahya)
YEŞİM ÖZEN
Doktora
Türkçe
2012
Jeoloji MühendisliğiSelçuk ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
DOÇ. DR. FETULLAH ARIK