适于认知系统和条件句系统的更新语义(英文)

• 作者: 李小五
• 来源期刊: 心智与计算
• 学科: 哲学
• 关键词: 更新语义 认知系统 条件句系统 模型可靠性 模型完全性 框架完全性
• 年，卷（期）: 2008,（2）
• 页码范围: 74-135
• 页数: 62页
• 分类号: B81

摘要

更新语义是一种刻画单个主体信息变化的语义。本文我们首先提出由Veltman[1]提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。其次,我们提出带两分定义的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李小五	中山大学逻辑与认知研究所	16	15	1.0	3.0