Situated Modeling of Epistemic Puzzles

Details Situated Modeling of Epistemic Puzzles Situated Modeling of Epistemic Puzzles

1994-09-07

arxiv.org/abs/cmp-lg/9409006v1

Computer Science

Computation and Language

iii + 49 pages, compressed, uuencoded Postscript file; revised version of the first author's Bilkent M.S. thesis, written unde

Scientific paper

Situation 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 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.

Affiliated with

Also associated with

No associations

Rating

Situated Modeling of Epistemic Puzzles does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Situated Modeling of Epistemic Puzzles, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Situated Modeling of Epistemic Puzzles will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-339187