Representing and Reasoning about Program in Situation Calculus

被引：0
|
作者：
Yang Bo [1 ,2 ]
Zhang Ming-yi [3 ]
Wu Mao-nian [4 ]
Xie Gang [2 ]
机构：
[1] Guiyang Univ, Dept Phys & Elect Informat Sci, Guiyang, Guizhou, Peoples R China
[2] Guizhou Univ, Coll Comp Sci & Informat, Guiyang, Guizhou, Peoples R China
[3] Guizhou Acad Sci, Guiyang, Guizhou, Peoples R China
[4] Guizhou Univ, Coll Sci, Guiyang, Guizhou, Peoples R China
来源：
FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES | 2012年 / 8350卷
关键词：
situation calculus; program property; action; fluent; situation;
D O I：
10.1117/12.920881
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页数：7
相关论文
共 50 条
  • [1] REASONING ABOUT TIME IN THE SITUATION CALCULUS
    PINTO, J
    REITER, R
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 251 - 268
  • [2] Hypothetical reasoning about actions: From situation calculus to event calculus
    Provetti, A
    [J]. COMPUTATIONAL INTELLIGENCE, 1996, 12 (03) : 478 - 498
  • [3] Reasoning about noisy sensors and effecters in the situation calculus
    Bacchus, F
    Halpern, JY
    Levesque, HJ
    [J]. ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 171 - 208
  • [4] Reasoning about noisy sensors and effectors in the situation calculus
    Bacchus, Fahlem
    Halpern, Joseph Y.
    Levesque, Hector J.
    [J]. Artificial Intelligence, 1999, 111 (01): : 171 - 208
  • [5] Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
    Belle, Vaishak
    Lakemeyer, Gerhard
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 255 - 260
  • [6] Representing the process semantics in the situation calculus
    Li, CP
    [J]. ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PT 1, PROCEEDINGS, 2005, 3641 : 591 - 600
  • [7] Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
    De Giacomo, G
    Lesperance, Y
    Levesque, HJ
    [J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 1221 - 1226
  • [8] Temporal Reasoning in Bounded Situation Calculus
    De Giacomo, Giuseppe
    [J]. 2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 2 - 2
  • [9] NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS
    BAKER, AB
    [J]. ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 5 - 23
  • [10] Decidable Reasoning in a Modified Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1891 - 1897
12345