期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于全序划分结构的开放逻辑
原文传递
导出
摘要
利用全序划分结构刻画开放逻辑中知识集的可信程度 ,通过重新定义重构概念 ,解决重构操作的唯一性问题 .基于新定义的重构运算 ,证明了只要认知者对新知识不总是采取极端的怀疑态度 ,且信度改变遵循最小改变策略 ,则其认识进程均可收敛 。
作者
张东摩
李未
机构地区
南京航空航天大学计算机科学研究所
南京大学软件新技术国家重点实验室
北京航空航天大学计算机系
出处
《中国科学(E辑)》
CSCD
1998年第6期542-549,共8页
Science in China(Series E)
基金
国家自然科学基金资助项目 !(批准号 :6 9785 0 0 4)
江苏省自然科学基金资助项目
关键词
开放逻辑
重构
认识进程
知识库
全序划分结构
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
O141.4 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
1
共引文献
31
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
李未.
一个开放的逻辑系统[J]
.中国科学(A辑),1992,23(10):1103-1113.
被引量:32
二级参考文献
1
1
[美]爱因斯坦,A· 著,杨润殷.狭义与广义相对论浅说[M]上海科学技术出版社,1964.
共引文献
31
1
张伟.
关于开放逻辑的可判定性[J]
.中国科学(F辑:信息科学),2009,39(7):715-722.
2
怀进鹏.
非单调数据库及其信念维护系统的研究与实现[J]
.高技术通讯,1994,4(12):16-21.
3
李未,黄文奇.
一种求解合取范式可满足性问题的数学物理方法[J]
.中国科学(A辑),1994,24(11):1208-1217.
被引量:21
4
王飓安.
对开放逻辑系统的哲学思考[J]
.自然辩证法研究,1995,11(2):23-26.
5
赵克,叶尚辉.
一个基于面向对象的设计知识表示的资源模型[J]
.机械科学与技术,1995,14(4):110-115.
被引量:3
6
邓安生,刘叙华.
Boole算子Fuzzy逻辑中推理的形式结构[J]
.中国科学(A辑),1995,25(7):758-764.
被引量:3
7
赵克,叶尚辉.
递归设计过程模型的研究[J]
.机械科学与技术,1996,15(4):629-634.
被引量:2
8
胡懋仁.
开放逻辑与理论系统[J]
.自然辩证法研究,1996,12(3):7-12.
被引量:1
9
张敏,薛永生,胡文华,吴梅红,邓安生.
基于模态缺省理论的多Agent系统的知识更新[J]
.计算机工程,2006,32(17):108-111.
10
李昕,刘伟信.
关于开放逻辑与ATMS的关系研究[J]
.仪器仪表用户,2007,14(2):109-110.
1
张东摩,顾红芳,陈世福.
信念修正与开放逻辑之间的关系[J]
.航空学报,1999,20(2):118-121.
被引量:1
2
怀进鹏,李未.
开放的缺省理论[J]
.计算机学报,1994,17(9):652-661.
被引量:5
3
刘大有,王淞昕,王飞.
基于完备拟序的开放逻辑[J]
.计算机学报,2002,25(12):1441-1444.
4
苏开乐.
开放逻辑沿中子结构链的认识进程[J]
.南京大学学报(自然科学版),1994,30(1):1-5.
被引量:1
5
苏开乐.
开放逻辑中的认识进程[J]
.南京大学学报(数学半年刊),1995,12(2):175-178.
6
应明生.
允许修改推理规则的开放逻辑[J]
.科学通报,1996,41(11):970-972.
被引量:2
7
张伟.
关于开放逻辑的可判定性[J]
.中国科学(F辑:信息科学),2009,39(7):715-722.
8
何建平.
谈谈计算机系统中的“进程”[J]
.科学咨询,2009(20):68-68.
9
林作铨,李未.
开放逻辑及其与限制逻辑的关系[J]
.中国科学(E辑),1998,28(6):550-558.
被引量:2
10
李未.
开放逻辑——一个刻画知识增长和更新的逻辑理论[J]
.计算机科学,1992,19(4):1-9.
被引量:3
中国科学(E辑)
1998年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部