Knowledge and communication: a tutorial

摘要: The subtle interaction between knowledge, action, and communication is an important theme underlying much of the literature on reasoning about knowledge in a variety disciplines. purpose this paper to review work relationship distributed systems. Communication basic means by which obtained transferred system. As result, properties medium play central role determining what states can result from communication. Most theorems that illustrate connection discussion their implications. In latter part paper, we consider knowledge-oriented programming, novel approach describing agents' behavior Knowledge-oriented programs are extension knowledge-based protocols Halpern Fagin, abstracted away completely description behavior. its stead, agents perform high level actions defined terms changing state other agents. Such called actions. then enters when come implement given context. programming makes explicit use fact change