Title :
Mesh models of knowledge in distributed systems
Author :
Suchenek, Marek A. ; Okeke, Henrietta
Author_Institution :
California State Univ., Carson, CA, USA
Abstract :
Theoretical aspects of knowledge in distributed systems are investigated. A nonmonotonic multi-modal variant of logic S5, deductively complete with respect to a Kripke-style minimal-knowledge semantics, is introduced. It allows for formal verification and analysis of information and its flow within a distributed system, either by proof-theoretic methods or by computing models of a system´s knowledge. The introduced system is applied to “Mr. Sum and Mr. Product Puzzle”, a non-trivial example which has not been properly handled by existing methods of modal logic
Keywords :
distributed processing; formal logic; formal verification; nonmonotonic reasoning; semantic networks; theorem proving; Kripke-style minimal-knowledge semantics; Mr. Sum and Mr. Product Puzzle; deductively complete logic; distributed knowledge; distributed systems; epistemic logic; formal verification; information flow analysis; logic S5; mesh models; minimal-knowledge semantics; modal logic; nonmonotonic multimodal logic; proof-theoretic methods; system knowledge modelling; Artificial intelligence; Computer architecture; Digital systems; Distributed computing; Hardware; Information analysis; Logic; Tail; Tin; Topology;
Conference_Titel :
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location :
Gran Canaria
Print_ISBN :
0-8186-3610-6
DOI :
10.1109/EMPDP.1993.336413
