信念修正与开放逻辑之间的关系

论文

本期目录 | 过刊浏览 | 高级检索

前一篇 | 后一篇

信念修正与开放逻辑之间的关系

张东摩^1,2, 顾红芳¹, 陈世福²

1. 南京航空航天大学计算机科学研究所, 南京, 210016;2. 南京大学软件新技术国家重点实验室, 南京, 210093

收稿日期:1998-05-20 修回日期:1998-09-20 出版日期:1999-04-25 发布日期:1999-04-25

RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC

Zhang Dongmo^1,2, Gu Hongfang¹, Chen Shifu²

1. Institute of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, 210016;2. State Key Lab.for Novel Software Technology, Nanjing University, Nanjing, 210093

Received:1998-05-20 Revised:1998-09-20 Online:1999-04-25 Published:1999-04-25

摘要/Abstract

摘要：

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，3种运算的操作结果一致。

关键词: 信念修正, 信念基修正, 开放逻辑, 重构

Abstract:

A uniform treatment for the operations of belief revisions and belief base revisions in Belief Revision and the operation of reconstructions in Open Logic is given by using the total partition structure.The connections and differences among the three operations are analyzed.It is proved that if the original knowledge base is a logically closed set and the closeness of their operating results is ignored, the three operations coincide.

Key words: belief revision, belief base revision, open logic, reconst ruct ion

中图分类号:

TP18

张东摩;顾红芳;陈世福. 信念修正与开放逻辑之间的关系[J]. 航空学报, 1999, 20(2): 118-121.

Zhang Dongmo;Gu Hongfang;Chen Shifu. RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 1999, 20(2): 118-121.

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

主管单位：中国科学技术协会主办单位：中国航空学会北京航空航天大学

[1]	柳汀, 林麒, 刘震, 王晓光, 吴惠松, 许勇刚. 电磁散射测试的可重构绳系并联支撑机构[J]. 航空学报, 2024, 45(2): 328658-328658.
[2]	张桂玮, 刘召庆, 朱镭, 张衡, 田玮, 李伟光, 杨智春. 地面颤振模拟试验技术研究进展[J]. 航空学报, 2024, 45(10): 29229-029229.
[3]	魏雁昕, 刘君. 一种基于面元梯度重建的格心型有限体积空间离散方法[J]. 航空学报, 2024, 45(1): 128541-128541.
[4]	王宏越, 王兵, 方国东, 孟松鹤. 2.5D机织浅交弯联复合材料数字单元建模分析[J]. 航空学报, 2023, 44(9): 227478-227478.
[5]	屠园园, 王大轶, 张香燕, 李嘉兴, 黄晓峰. 航天器的可重构性与自主重构方法[J]. 航空学报, 2023, 44(23): 628855-628855.
[6]	李西宁, 叶园园, 李卫平, 王守川. 面向形状控制的传感器和作动器布局综合优化[J]. 航空学报, 2023, 44(13): 227880-227880.
[7]	李明, 胡辉, 郭萌, 禹飞, 谢虹群. 基于互相关移位相乘BOC (m,n)无模糊捕获算法[J]. 航空学报, 2022, 43(8): 325897-325897.
[8]	赵飞, 刘丽玲, 石泳, 左光, 万千, 张宇佳. 类X-43A飞行器高超声速分离仿真[J]. 航空学报, 2022, 43(5): 125171-125171.
[9]	何康, 李新亮, 刘洪伟. 混合动理学通量WENO方法拓展[J]. 航空学报, 2022, 43(1): 625909-625909.
[10]	杨洋, 朱兴一, 赵鸿铎. 基于真实道面模型的机轮滑水行为影响因素[J]. 航空学报, 2022, 43(1): 124813-124813.
[11]	张昊, 谢春晖, 董义道, 王东方, 邓小刚. 基于边界变差最小的高精度有限差分格式构造[J]. 航空学报, 2021, 42(S1): 726397-726397.
[12]	许珂, 高振勋, 蒋崇文, 李椿萱. 边界层内WENO格式特征重构精度的理论分析[J]. 航空学报, 2021, 42(S1): 726362-726362.
[13]	任玉新, 王乾, 潘建华, 章雨思, 黄乾旻. 构建非结构网格高精度有限体积方法的新途径[J]. 航空学报, 2021, 42(9): 625783-625783.
[14]	李增聪, 陈燕, 李红庆, 田阔, 王刚, 高峰, 王博. 面向集中力扩散的回转曲面加筋拓扑优化方法[J]. 航空学报, 2021, 42(9): 224616-224616.
[15]	罗庆, 张涛, 单鹏, 张文涛, 刘子豪. 基于改进Q学习的IMA系统重构蓝图生成方法[J]. 航空学报, 2021, 42(8): 525792-525792.

信念修正与开放逻辑之间的关系

RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价