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

Discussion

How do successor state axioms address the frame problem?

  • A.A fluent holds after an action if it was made true or was true and not undone
  • B.Every action is given an explicit list of unchanged fluents
  • C.Fluents are simply assumed to be unchanged unless an axiom says otherwise
  • D.Actions are restricted so that each changes only one fluent

Answer: A

Writing one axiom per fluent, saying exactly when it becomes or stays true, replaces the quadratic number of frame axioms with a linear number of compact ones. The second option is the naive approach the technique replaces, the third is the non-monotonic alternative, and the fourth changes the problem. Reorganising a description so that its size grows linearly rather than quadratically, without losing content, is a representational improvement of the most practical kind.

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

Post your comment

Please log in or register to post a comment.