13 January 2012 Representing and reasoning about program in situation calculus
Author Affiliations +
Proceedings Volume 8350, Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies; 835034 (2012); doi: 10.1117/12.920881
Event: Fourth International Conference on Machine Vision (ICMV 11), 2011, Singapore, Singapore
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
KEYWORDS
Calculus

Dynamical systems

Computer programming

Computer programming languages

Logic

Artificial intelligence

Computer science

RELATED CONTENT


Back to Top