Share Email Print
cover

Proceedings Paper

Representing and reasoning about program in situation calculus
Author(s): Bo Yang; Ming-yi Zhang; Mao-nian Wu; Gang Xie
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 13 January 2012
PDF: 7 pages
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
Show Author Affiliations
Bo Yang, Guiyang Univ. (China)
Guizhou Univ. (China)
Ming-yi Zhang, Guizhou Academy of Science (China)
Mao-nian Wu, Guizhou Univ. (China)
Gang Xie, Guizhou Univ. (China)


Published in SPIE Proceedings Vol. 8350:
Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies
Safaa S. Mahmoud; Zhu Zeng; Yuting Li, Editor(s)

© SPIE. Terms of Use
Back to Top