The concurrent, continuous fluent calculus

被引：14
|
作者：
Thielscher M. [1 ]
机构：
[1] Department of Computer Science, Dresden University of Technology
来源：
Studia Logica | 2001年 / 67卷 / 3期
关键词：
Cognitive robotics; Logics of actions;
D O I：
10.1023/A:1010558931274
中图分类号：
学科分类号：
摘要：
The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently. © 2001 Kluwer Academic Publishers.
引用
收藏
页码：315 / 331
页数：16
相关论文
共 50 条
  • [31] A confluent calculus for concurrent constraint programming
    Marriott, K
    Odersky, M
    THEORETICAL COMPUTER SCIENCE, 1997, 173 (01) : 209 - 233
  • [32] INTERPRETING ONE CONCURRENT CALCULUS IN ANOTHER
    MILNER, R
    THEORETICAL COMPUTER SCIENCE, 1990, 75 (1-2) : 3 - 13
  • [33] Concurrent Calculus (CC) and Its Properties
    李未
    王飓安
    Science China Mathematics, 1993, (06) : 744 - 753
  • [34] Calculus of Concurrent Probabilistic Reversible Processes
    Arpit
    Kumar, Divya
    7TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION TECHNOLOGY (ICCCT - 2017), 2017, : 34 - 40
  • [35] A Calculus for Concurrent Processes with Cryptographic Primitives
    Wang, Huanbao
    APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 3397 - 3400
  • [36] Concurrent Calculus (CC) and Its Properties
    李未
    王飓安
    ScienceinChina,SerA., 1993, Ser.A.1993 (06) : 744 - 753
  • [37] Solving the entailment problem in the fluent calculus using binary decision diagrams
    Hölldobler, S
    Störr, HP
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 747 - 761
  • [38] A New Multiple Intelligent Agents Reasoning Model Based on Fluent Calculus
    Yang, Tao
    Deng, Hongli
    Diao, Yongfeng
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY II, PTS 1-4, 2013, 411-414 : 2017 - +
  • [39] Abstraction of Situation Calculus Concurrent Game Structures
    Lesperance, Yves
    De Giacomo, Giuseppe
    Rostamigiv, Maryam
    Khan, Shakil M.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10624 - 10634
  • [40] OOlong: A Concurrent Object Calculus for Extensibility and Reuse
    Castegren, Elias
    Wrigstad, Tobias
    APPLIED COMPUTING REVIEW, 2018, 18 (04): : 47 - 60
12345