Studia Logica

, Volume 67, Issue 3, pp 315–331

The Concurrent, Continuous Fluent Calculus

  • Michael Thielscher
Article

DOI: 10.1023/A:1010558931274

Cite this article as:
Thielscher, M. Studia Logica (2001) 67: 315. doi:10.1023/A:1010558931274

Abstract

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.

logics of actionscognitive robotics

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Michael Thielscher
    • 1
  1. 1.Department of Computer ScienceDresden University of TechnologyDresdenGermany