Knowledge-based programs

摘要: Reasoning about activities in a distributed computer system at the level of knowledge individuals and groups allows us to abstract away from many concrete details we are considering. In this paper, make use two notions introduced our recent book facilitate designing reasoning systems terms knowledge. The first notion is that knowledge-based program. A program syntactic object: with tests for second context, which captures setting be executed. given standard (one without knowledge) represented by (i.e., corresponds precise sense to) unique system. program, on other hand, may no system, one or systems. provide sufficient condition way context. This applies cases interest, covers programs considered literature. We also completely characterize complexity determining whether has representation, any representation all, finite-state