Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is a fluent in situation calculus?

  • A.A term denoting a particular moment of time
  • B.A property whose truth depends on the situation
  • C.A quantity that varies continuously over time
  • D.An action that may be performed in a situation

Answer: B

Fluents are the facts that change, written with a situation argument, so that on the table holds in one situation and not in another. Actions map situations to situations and eternal facts need no situation argument. Continuity, actions and time points are different notions. Distinguishing what changes from what does not, and marking the difference in the syntax, is what makes reasoning about action possible at all.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.