|
|||||
|
|
| 信念修正与开放逻辑之间的关系 | |
| 作者姓名： | 张东摩 顾红芳 陈世福 |
| 作者单位： | 1. 南京航空航天大学计算机科学研究所, 南京, 210016;2. 南京大学软件新技术国家重点实验室, 南京, 210093 |
| 摘 要： | 基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联系及本质差别,证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下,3种运算的操作结果一致。 |
| 关 键 词： | 信念修正 信念基修正 开放逻辑 重构 |
| 收稿时间： | 1998-05-20 |
| 修稿时间： | 1998-09-20 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《航空学报》浏览原始摘要信息 | |
| 点击此处可从《航空学报》下载全文 | |