Article

Studia Logica

, Volume 67, Issue 3, pp 315-331

First online:

The Concurrent, Continuous Fluent Calculus

  • Michael ThielscherAffiliated withDepartment of Computer Science, Dresden University of Technology

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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 actions cognitive robotics