EPG Bs5 A GS7 APE ^ EX (BsS A GS7 A Ptt) if 3g E T such that (S, 7} |= BG guard(g) and Tt = body(g) In a state s where some planning goal rule is applicable ...
確定! 回上一頁