Studia Logica

, Volume 67, Issue 3, pp 315–331

The Concurrent, Continuous Fluent Calculus

Authors

  • Michael Thielscher
    • Department of Computer ScienceDresden University of Technology
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
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 2001