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