Finite State Implementations of Knowledge-Based Programs

摘要: Knowledge-based programs have been proposed as an abstract formalism for the design of distributed systems, based on idea that agent's actions are a function its state knowledge. We identify two natural cases in which finite implementations atemporal knowledge-based environments may be automatically constructed. The first concerns interpretation knowledge agents aware only their current observation and time. second perfect recall knowledge, all communication is by synchronous broadcast. These results contribute towards theory automated synthesis protocols from specifications.