Situated modelling of epistemic puzzles

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

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. Keywords: Epistemic Puzzles, (Computational) Situation Theory, PROSIT, Knowledge Representation, Commonsense Reasoning. m