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:
“A young man is not a proper hearer of lectures on political science; for he is inexperienced in the actions that occur in life, but its discussions start from these and are about these; and, further, since he tends to follow his passions, his study will be vain and unprofitable, because the end that is aimed at is not knowledge but action. And it makes no difference whether he is young in years or youthful in character.”
—Aristotle (384–323 B.C.)