13 January 2012 Representing and reasoning about program in situation calculus
Author Affiliations +
Abstract
Situation calculus is an expressive tool for modeling dynamical system in artificial intelligence, changes in a dynamical world is represented naturally by the notions of action, situation and fluent in situation calculus. Program can be viewed as a discrete dynamical system, so it is possible to model program with situation calculus. To model program written in a smaller core programming language CL, notion of fluent is expanded for representing value of expression. Together with some functions returning concerned objects from expressions, a basic action theory of CL programming is constructed. Under such a theory, some properties of program, such as correctness and termination can be reasoned about.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Bo Yang, Ming-yi Zhang, Mao-nian Wu, Gang Xie, "Representing and reasoning about program in situation calculus", Proc. SPIE 8350, Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies, 835034 (13 January 2012); doi: 10.1117/12.920881; https://doi.org/10.1117/12.920881
PROCEEDINGS
7 PAGES


SHARE
RELATED CONTENT

On a concept of computer game implementation based on a...
Proceedings of SPIE (August 07 2017)
Supporting image algebra in the C++ language
Proceedings of SPIE (June 23 1993)
What Is The Benefit Of Artificial Intelligence For Robotics?
Proceedings of SPIE (January 17 1985)
Defect density a review on the calculation of size...
Proceedings of SPIE (January 13 2012)

Back to Top