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 条
  • [41] Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
    Schiffer, Stefan
    Ferrein, Alexander
    Lakemeyer, Gerhard
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2012, 66 (1-2) : 273 - 300
  • [42] Non-monotonic Reasoning for Machine Ethics with Situation Calculus
    Limarga, Raynaldio
    Pagnucco, Maurice
    Song, Yang
    Nayak, Abhaya
    [J]. AI 2020: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 12576 : 203 - 215
  • [43] Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
    Stefan Schiffer
    Alexander Ferrein
    Gerhard Lakemeyer
    [J]. Journal of Intelligent & Robotic Systems, 2012, 66 : 273 - 300
  • [44] Representing and reasoning about mappings between domain models
    Madhavan, J
    Bernstein, PA
    Domingos, P
    Halevy, AY
    [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 80 - 86
  • [45] Special Issue: Understanding, representing, and reasoning about style
    Eckert, Claudia M.
    Do, Ellen Yi-Luen
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2006, 20 (03): : 163 - 165
  • [46] Representing and Reasoning about Different Viewpoints: An Agronomy Application
    Croitoru, Madalina
    Thomopoulos, Rallou
    [J]. CONCEPTUAL STRUCTURES: LEVERAGING SEMANTIC TECHNOLOGIES, PROCEEDINGS, 2009, 5662 : 128 - 140
  • [47] Representing and reasoning about three-dimensional space
    Hanna, Sean
    Regli, William
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2011, 25 (04): : 315 - 316
  • [48] Segment calculus and region calculus: an engineering approach to reasoning about time and space
    [J]. Nippon Kikai Gakkai Ronbunshu C Hen, 597 (2050-2057):
  • [49] A Heuristic Calculus for Transformative Reasoning about Social Information
    Rubin, Stuart H.
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 533 - 538
  • [50] Using session types for reasoning about boundedness in the π-calculus
    Huttel, Hans
    [J]. ACTA INFORMATICA, 2020, 57 (06) : 801 - 827
12345