2014 | OriginalPaper | Chapter
Coming Upon the Classic Notion of Implicit Knowledge Again
Author : Bernhard Heinemann
Published in: Knowledge Science, Engineering and Management
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Subsequently, we introduce a novel semantics for the bi-modal logic of subset spaces, denoted by LSS. This system was originally invented by Moss and Parikh for the purpose of clarifying the intrinsic relationship between the epistemic notion of knowledge and the geometric concept of topology. Focussing on the knowledge-theoretic side in this paper, we re-adjust LSS to multi-agent scenarios. As a result, a particular dynamic logic of implicit knowledge is obtained. This finds expression in the technical outcome of the paper, which covers soundness, completeness, decidability, and complexity issues regarding the arising system.