Abstract
Knowledge-based programs have been proposed as an abstract formalism for the design of distributed systems, based on the idea that an agent's actions are a function of its state of knowledge. We identify two natural cases in which finite state implementations of atemporal knowledge-based programs in finite environments may be automatically constructed. The first concerns an interpretation of knowledge in which agents are aware only of their current observation and the current time. The second concerns the perfect recall interpretation of knowledge, in environments in which all communication is by synchronous broadcast. These results contribute towards a theory of automated synthesis of protocols from knowledge-based specifications.
Work begun while the author was with the Information Sciences Laboratory, NTT Basic Research Laboratories, Kanagawa, Japan, and continued at the Department of Applied Math and Computer Science, Weizmann Institute of Science. Thanks to Yoram Moses and Moshe Vardi for helpful discussions.
Preview
Unable to display preview. Download preview PDF.
References
J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proc. Symposium on Logic in Computer Science, pages 428–439. IEEE, 1990.
C. Dwork and Y. Moses. Knowledge and common knowledge in a byzantine environment. Information and Computation, 88:156–186, 1990.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Knowledge-based programs. In Proc. ACM Symposium on Principles of Distributed Computing, 1995.
R. Fagin, J. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
V. Hadzilacos. A knowledge theoretic analysis of atomic commitment protocols. In Proc. 6th ACM SIGACT-SIGMOD-SIGART Conf. on Principles of Database Systems, pages 129–134, 1987.
J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549–587, 1990.
J. Halpern and L. Zuck. A little knowledge goes a long way: Simple knowledge based derivations and correctness proofs for a family of protocols. Journal of the ACM, 39(3):449–478, 1992.
R. van der Meyden. Knowledge-based programs: on the complexity of perfect recall in finite environments. In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge, pages 31–50. Morgan Kaufmann, 1996.
M. Vardi. Implementing knowledge-based programs. In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge, pages 15–30. Morgan Kaufmann, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Meyden, R. (1996). Finite state implementations of knowledge-based programs. In: Chandru, V., Vinay, V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1996. Lecture Notes in Computer Science, vol 1180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62034-6_55
Download citation
DOI: https://doi.org/10.1007/3-540-62034-6_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62034-1
Online ISBN: 978-3-540-49631-1
eBook Packages: Springer Book Archive