... e (SC2) Happens(a,tl) /\ lnitiates(a,f,tl) /\ tl < t2 /\ -1 Clipped(tl,f,t2) ... Axiom (SC2) says that a fluent holds at time t if it was initiated at ...
確定! 回上一頁