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 条
  • [21] A concurrent lambda calculus with futures
    Niehren, J
    Schwinghammer, J
    Smolka, G
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 248 - 263
  • [22] A concurrent lambda calculus with futures
    Niehren, J.
    Schwinghammer, J.
    Smolka, G.
    THEORETICAL COMPUTER SCIENCE, 2006, 364 (03) : 338 - 356
  • [23] The boundary between decidable and undecidable fragments of the fluent calculus
    Hölldobler, S
    Kuske, D
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 436 - 450
  • [24] Planning in the fluent calculus using binary decision diagrams
    Störr, HP
    AI MAGAZINE, 2001, 22 (03) : 103 - 105
  • [25] A Fluent Calculus Approach to Automatic Web Service Composition
    Chifu, Viorica
    Salomie, Ioan
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 75 - 83
  • [26] From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
    Thielscher, M
    ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 277 - 299
  • [27] From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential Frame Problem
    Thielscher, Michael
    Artificial Intelligence, 1999, 111 (01): : 277 - 299
  • [28] A Stochastic pi calculus for concurrent objects
    Kuttler, Celine
    Lhoussaine, Cedric
    Niehren, Joachim
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
  • [29] OOlong: An Extensible Concurrent Object Calculus
    Castegren, Elias
    Wrigstad, Tobias
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1022 - 1029
  • [30] Semantic Web Service Composition Method Based on Fluent Calculus
    Chifu, Viorica R.
    Salomie, Ioan
    Harsa, Ioana
    Gherga, Marius
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 325 - 332
12345