In other words , we can prove that a formula po is BDI LTL - provable iff po is ... ( ID - WR ) nor does the agent believe in the negation of p ( IB - WR ) .
確定! 回上一頁