A Program Refinement Framework Supporting Reasoning about Knowledge and Time
作者： Kai Engelhardt , Ron van der Meyden , Yoram Moses
关键词:
摘要: This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and about the knowledge of single agent. The generalizes previously developed by amalgamating it with logic quantified local propositions, generalization knowledge. combined provides formal setting development knowledge-based programs, addresses two problems existing theories such programs: lack compositionality fact programs often have only implementations high computational complexity. Use is illustrated control theoretic example concerning robot operating an imprecise position sensor.
springer.com
core.ac.uk
sci-hub.st 参考文章(20)
Mark Utting, Colin Fidge, A real-time refinement calculus that changes only time British Computer Society Learning & Development. ,(1996) , 10.14236/EWIC/RW1996.14
Beverly A. Sanders, A predicate transformer approach to knowledge and knowledge-based protocols ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme. ,vol. 181, ,(1992) , 10.3929/ETHZ-A-000659332
Ron van der Meyden, Yoram Moses, On Refinement and Temporal Annotations FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 185- 201 ,(2000) , 10.1007/3-540-45352-0_16
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)
Ralph-Johan J. Back, D. Gries, F. B. Schneider, Refinement Calculus: A Systematic Introduction ,(1998)
Ron van der Meyden, Yoram Moses, Kai Engelhardt, Knowledge and the logic of local propositions theoretical aspects of rationality and knowledge. pp. 29- 41 ,(1998)
Ron van der Meyden, Yoram Moses, Top-Down Considerations on Distributed Computing international symposium on distributed computing. pp. 16- 19 ,(1998) , 10.1007/BFB0056469
Carroll Morgan, Programming from specifications Prentice-Hall, Inc.. ,(1990)
Ron van der Meyden, Knowledge based programs: on the complexity of perfect recall in finite environments theoretical aspects of rationality and knowledge. pp. 31- 49 ,(1996)
Moshe Y. Vardi, Implementing knowledge-based programs theoretical aspects of rationality and knowledge. pp. 15- 30 ,(1996)