6、情景演算与粗糙集相关逻辑问题探讨

情景演算与粗糙集相关逻辑问题探讨

情景演算中的动作公理化

在情景演算中对动作进行公理化时，首先要明确动作具有前提条件。我们引入谓词符号 Poss ， Poss(a, s) 表示在通过执行一系列动作所产生的世界状态中，能够执行动作 a 。以下是一些示例：
- 若机器人 r 在情景 s 中能够捡起物体 x ，那么机器人未持有任何物体、它位于 x 旁边且 x 不重，可表示为： Poss(pickup(r, x), s) → [(∀z)¬holding(r, z, s)] ∧ ¬heavy(x) ∧ nextTo(r, x, s) 。
- 若机器人能够修理物体，那么该物体必须损坏且有胶水可用，即： Poss(repair(r, x), s) → hasGlue(r, s) ∧ broken(x, s) 。

动态世界的另一个特征是因果定律，即动作如何影响流的值，这由所谓的效果公理来指定。例如：
- 机器人掉落易碎物体对关系流 broken 的影响： fragile(x, s) → broken(x, do(drop(r, x), s)) ，意味着在当前情景 s 中，如果 x 易碎，那么在执行 drop(r, x) 动作后的后续情景