Knowledge-Based Asynchronous Programming

Authors:
Hendrik Wietze de Haan;Wim H. Hesselink;Gerard R. Renardel de Lavalette
Affiliations:
Department of Mathematics and Computing Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, The Netherlands;Department of Mathematics and Computing Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, The Netherlands;Department of Mathematics and Computing Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, The Netherlands
Venue:
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Year:
2004

Citing 17
Cited 0

How processes learn

Distributed Computing
What processes know: Definitions and proof methods

PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The existence of refinement mappings

Theoretical Computer Science
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols

Journal of the ACM (JACM)
The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Knowledge-oriented programming

PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Reasoning about knowledge

Reasoning about knowledge
Common knowledge and update in finite environments

Information and Computation
Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness
Dynamic Logic

Dynamic Logic
Descriptions of Game Actions

Journal of Logic, Language and Information
A Refinement Theory that Supports Reasoning About Knowledge and Time

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Eternity Variables to Simulate Specifications

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Implementing knowledge-based programs

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Knowledge-based programs

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A knowledge-based program is a high-level description of the behaviour of agents in terms of knowledge that an agent must have before (s)he may perform an action. The definition of the semantics of knowledge-based programs is problematic, since it involves a vicious circle; the knowledge of an agent is defined in terms of the possible behaviours of the program, while the possible behaviours are determined by the actions which depend on knowledge. We define the semantics of knowledge-based programs via an iteration approach generalizing the well-known fixpoint construction. We propose a specific iteration as the semantics of a knowledge-based program, and justify our choice by a number of examples, including the Unexpected Hanging Paradox.