|
|||||
|
|
| 基于命题模型集的信念修正描述 | |
| 引用本文： | 张晓如,张再跃.基于命题模型集的信念修正描述[J].江苏科技大学学报(社会科学版),2008,22(6). |
| 作者姓名： | 张晓如 张再跃 |
| 作者单位： | 江苏科技大学计算机科学与工程学院,江苏镇江212003 |
| 基金项目： | 国家自然科学基金，中国科学院计算技术研究所智能信息处理重点实验室开放课题 |
| 摘 要： | 基于命题理论的信念修正是知识工程领域研究的重要内容，AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设．分析了命题运算的基本性质以及相关模型基本特点，以基于有穷命题变元的命题逻辑的模型集合为论域，定义了一种模型选择算子，并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设． |
| 关 键 词： | 信念修正 AGM公设 命题逻辑 模型集 |
| 本文献已被 维普 万方数据 等数据库收录！ | |