Show simple item record

dc.contributor.advisorAkman, Varol
dc.contributor.authorErsan, Murat
dc.date.accessioned2020-12-02T12:50:58Z
dc.date.available2020-12-02T12:50:58Z
dc.date.submitted1994
dc.date.issued2018-08-06
dc.identifier.urihttps://acikbilim.yok.gov.tr/handle/20.500.12812/37368
dc.description.abstractÖ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. Anahtar Sözcükler: Epistemik Bulmacalar, (Hesapsal) Durum Kuramı, PROSIT, Bilgi Gösterimi, Sağduyusal Akıl Yürütme. iv
dc.description.abstractABSTRACT 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. Keywords: Epistemic Puzzles, (Computational) Situation Theory, PROSIT, Knowledge Representation, Commonsense Reasoning. men_US
dc.languageEnglish
dc.language.isoen
dc.rightsinfo:eu-repo/semantics/embargoedAccess
dc.rightsAttribution 4.0 United Statestr_TR
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectBilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontroltr_TR
dc.subjectComputer Engineering and Computer Science and Controlen_US
dc.titleSituated modelling of epistemic puzzles
dc.title.alternativeEpistemik bulmacaların durumsal modellenmesi
dc.typemasterThesis
dc.date.updated2018-08-06
dc.contributor.departmentDiğer
dc.subject.ytmPuzzles
dc.subject.ytmState equations
dc.subject.ytmPROSIT
dc.identifier.yokid33478
dc.publisher.instituteMühendislik ve Fen Bilimleri Enstitüsü
dc.publisher.universityİHSAN DOĞRAMACI BİLKENT ÜNİVERSİTESİ
dc.identifier.thesisid33478
dc.description.pages72
dc.publisher.disciplineDiğer


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/embargoedAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/embargoedAccess