Fluents and Actions
In the event calculus, fluents are reified. This means that statements are not formalized as predicates but as functions. A separate predicate is used to tell which fluents hold at a given time point. For example, means that the box is on the table at time ; in this formula, is a predicate while is a function.
Actions are also represented as terms. The effects of actions are given using the predicates and . In particular, means that, if the action represented by the term is executed at time, then the fluent will be true after . The predicate has a similar meaning, with the only difference being that will be false and not true after .
Read more about this topic: Event Calculus
Famous quotes containing the word actions:
“When a Man is in a serious Mood, and ponders upon his own Make, with a Retrospect to the Actions of his Life, and the many fatal Miscarriages in it, which he owes to ungoverned Passions, he is then apt to say to himself, That Experience has guarded him against such Errors for the future: But Nature often recurs in Spite of his best Resolutions, and it is to the very End of our Days a Struggle between our Reason and our Temper, which shall have the Empire over us.”
—Richard Steele (1672–1729)