本文介绍了情景演算语言的一种扩展——Lsitcalc+，它包含无穷历史的概念。该语言的字母表增加了标识无穷历史的变量符号和特殊谓词，用于描述动作序列之间的序关系和可能性。基本公理包括情景和无穷历史的描述，提供了一个逻辑框架来处理动态系统的规格和实现。
关于情景演算语言的介绍可参考链接: 情景演算(Situation Calculus).
带无穷历史的情景演算(Situation Calculus with Infinite Histories)
字母表
带无穷历史的情景演算是语言 L s i t c a l c + \mathcal{L}^{+}_{sitcalc} Lsitcalc+ 是一个多分类一阶逻辑语言，它的字母表除了情景演算语言 L s i t c a l c \mathcal{L}_{sitcalc} Lsitcalc的字母表以外，还包括以下内容：
- 用于标识无穷历史类 i n f h i s t infhist infhist 的变量符号： h , h ′ h,h' h,h′
最低0.47元/天 解锁文章
2320
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
