Title: Fluent Calculus Planning with Continuous Change
Authors: Michael Thielscher
Series: Linkping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 4(1999), No. 011
URL: http://www.ep.liu.se/ea/cis/1999/011/

Abstract: Green's classical definition of planning by deduction has recently been generalized to hybrid domains, which involve both discrete and continuous change. We show that this generalization is unsuited for planning under incomplete information. An improved theory is developed on the basis of the novel concept of a situation tree with trajectories and using the predicate formalism of the Fluent Calculus.

Original publication
Postscript Checksum
Checksum (old) Information about recalculation of checksum