next up previous
Next: Javier Pinto's formalism Up: Extensions of the formalism Previous: State constraints after all

Continuous time

 

Continuous time offers no problems for situations and fluents. Indeed [MH69] gave situation formulas for embedding Galileo's falling body formula tex2html_wrap_inline1278 in common sense notions of what the symbols stand for. However, Result(e,s) and Next(s) are not so straightforward when we take into account time as a real number.

[MC98] treats actions whose effects result after a time and which require that certain fluents hold during the intermediate time.



John McCarthy
Wed Feb 6 16:27:33 PST 2002