The Role of Kripke Semantics in Reasoning of Knowledge and Time

摘要

Much of the current research on distributed processing adopts the situated-automata approach based on ascribing knowledge on the basis of the information carried by the state of the machine. The standard approach to define knowledge is Hintikka's possible worlds model, and applying Kripke semantics to possible worlds model. This allows one to start with the local state and instant, thus the application of modal and temporal operators, both operates with indistinguishability structure and reachability relation. Using the local state (s), we then describe the applications or process as global state. However, the description of this approach is not simple, as it requires various tuples denoting the local and global states, and besides, maintaining their interrelationships.