Mesh models of knowledge in distributed systems

Author

Suchenek, Marek A. ; Okeke, Henrietta

Author_Institution

California State Univ., Carson, CA, USA

fYear

1993

fDate

27-29 Jan 1993

Firstpage

113

Lastpage

120

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on

Conference_Location

Gran Canaria

Print_ISBN

0-8186-3610-6

Type

conf

DOI

10.1109/EMPDP.1993.336413

Filename

336413