Situated Modeling of Epistemic Puzzles

DOI10.1093/JIGPAL/3.1.51MaRDI QIDQ4834294zbMATH OpenOpenAlexFDO

Authors Murat Ersan, Varol Akman

Publication date 20 February 1996

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cmp-lg/9409006, http://hdl.handle.net/11693/17634

zbMATH Keywords

commonsense reasoninginformation flowlogical puzzlesmeaningprogrammingsituation theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80) Logic in artificial intelligence (68T27)

Abstract: 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.

Recommendations

• Dynamic Epistemic Logic and Knowledge Puzzles
• scientific article; zbMATH DE number 4181308
• Modelling Puzzles in First Order Logic
• Evaluations of epistemic components for resolving the muddy children puzzle
• An epistemic model of logic programming
• A puzzle for the field ontologists

Cited in

(2)

• Formalising the Fisherman's Folly puzzle
• A puzzle for the field ontologists

This page was built for publication: Situated Modeling of Epistemic Puzzles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4834294)