Show simple item record

dc.contributor.advisorAkman, Varolen_US
dc.contributor.authorErsan, Muraten_US
dc.date.accessioned2016-01-08T20:12:05Z
dc.date.available2016-01-08T20:12:05Z
dc.date.issued1994
dc.identifier.urihttp://hdl.handle.net/11693/17634
dc.descriptionAnkara : The Department of Computer Engineering and Information Science and the Institute of Engineering and Science of Bilkent Univ., 1994.en_US
dc.descriptionThesis (Master's) -- -Bilkent University, 1994.en_US
dc.descriptionIncludes bibliographical references leaves 67-72en_US
dc.description.abstractSituation theory is a mathematical theory of meaning introduced by Jon Barwise 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 reallife applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we examine how much PROSIT reflects situationtheoretic concepts and solve a group of epistemic puzzles, using the constructs provided by this programming language.en_US
dc.description.statementofresponsibilityErsan, Muraten_US
dc.format.extentviii, 72 leavesen_US
dc.language.isoEnglishen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectEpistemic Puzzlesen_US
dc.subject(Computational) Situation Theoryen_US
dc.subjectPROSITen_US
dc.subjectKnowledge Representationen_US
dc.subjectCommonsense Reasoningen_US
dc.subject.lccQ360 .E37 1994en_US
dc.subject.lcshLogic,symbolic and mathematical.en_US
dc.subject.lcshInformation theory--Mathematics.en_US
dc.subject.lcshLogic.en_US
dc.subject.lcshSituation (Philosophy)en_US
dc.titleSituated modeling of epistemic puzzlesen_US
dc.typeThesisen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.publisherBilkent Universityen_US
dc.description.degreeM.S.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record