Frames in the space of situations
β
Vladimir Lifschitz
π
Article
π
1990
π
Elsevier Science
π
English
β 538 KB
Some of the formalizations discussed in recent work on action and change use variables for propositional fluents. The authors do not specify whether these variables are meant to range over the set of all propositional fluents or over some part of this set. We show that this seemingly minor detail af