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 条
  • [1] A layered agent calculus with concurrent, continuous processes
    Jung, CG
    Fischer, K
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 245 - 258
  • [2] Descriptions in the fluent calculus
    Hölldobler, S
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1311 - 1317
  • [3] Representing beliefs in the fluent calculus
    Jin, Y
    Thielscher, M
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 823 - 827
  • [4] Fluent calculus-based Web service composition - From OWL-S to fluent calculus
    Chifu, Viorica R.
    Salomie, Ioan
    Chifu, Emil St.
    2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 161 - 168
  • [5] Decidability results for the propositional fluent calculus
    Lehmann, H
    Leuschel, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 762 - 776
  • [6] A new equational foundation for the fluent calculus
    Störr, HP
    Thielscher, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 733 - 746
  • [7] The concurrent objects calculus
    Zhang, Q
    Li, WH
    Chen, SH
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
  • [8] Concurrent Pattern Calculus
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    THEORETICAL COMPUTER SCIENCE, 2010, 323 : 244 - +
  • [9] A CONCURRENT PATTERN CALCULUS
    Given-Wilson, Thomas
    Gorla, Daniele
    Jay, Barry
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03)
  • [10] Calculus for concurrent objects
    Di, Blasio, Paolo
    Fisher, Kathleen
    Lecture Notes in Computer Science, 1996, 1119
12345