情景演算(Situation Calculus)
情景演算的字母表
情景演算是语言 L s i t c a l c \mathcal{L}_{sitcalc} Lsitcalc 是一个多分类一阶逻辑语言，它包括以下的字母表：
- 一阶逻辑中的逻辑联结词和量词符号： ¬ , ∧ , ∃ \neg,\land,\exists ¬,∧,∃;
- 用于标识情景类的变量符号： s , s ′ s,s' s,s′;
- 用于标识动作类的变量符号： a , a ′ a,a' a,a′;
- 其它变量符号；
- 一个特殊的情景常量符号 S 0 S_{0} S0，表示初始情景，即没有动作发生；
- 除 S 0 S_{0} S0以外的常量符号；
- 一个特殊的函数符号 d o : a c t i o n × s i t u a t i o n → do:action\times situation \rightarrow do:action×
最低0.47元/天 解锁文章
146
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
