情景演算(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×