next up previous contents
Next: Attachment Up: Predicting the Future Previous: Predicting the Future

Persistent Behaviors

Tom Costello [] has proposed generalizing the notion of persistence. Instead of a fluent persisting, he proposes that a fluxion (a further borrowing from Newton) persists. A fluxion is a function of time. The following is an adaptation of his idea.

Consider a lemming walking. Consider the following formulas:


 equation165
and


 equation168
where v is the velocity of the lemming, and we have the definition


 equation171
walking is thus treated as an ordinary persistent fluent in (10). Its effect on the position of the lemming is given by the auxiliary formula (11).

A persistent fluent continues to hold until something stops it, and then it ceases to hold.


 eqnarray176

For completeness, we should also include


 eqnarray179
but there isn't much that lasts forever.



John McCarthy
Mon Mar 2 16:21:50 PDT 1998