LiEP CIS-1999-011: Fluent Calculus Planning with Continuous Change.

Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science

The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Fluent Calculus Planning with Continuous Change.

Title:	Fluent Calculus Planning with Continuous Change.
Authors:	Michael Thielscher
Series:	Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841
Issue:	Vol. 4(1999): nr 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.
Keywords:

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.

Keywords:

Intended publication 1999-08-16	Postscript
Info from authors
Third-party information

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se

29-Jun-98 16:48