基于完备拟序的开放逻辑

• 作者: 刘大有 王淞昕 王飞
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 开放逻辑 完备拟序 重构 认识进程的收敛性
• 年，卷（期）: 2002,（12）
• 所属期刊栏目: 短文
• 页码范围: 1441-1444
• 页数: 4页
• 分类号: TP18
• 字数: 4393字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.12.022

摘要

开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论,它开辟了常识推理研究一条新途径,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用.基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别,为此,文中给出了基于完备拟序的开放逻辑.该文采用假说上的完备拟序刻画信度区别,给出了新的重构概念,讨论了假说及完备拟序在知识进化过程中的更新,定义了新的认识进程并证明了所定义的认识进程具有收敛性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘大有	吉林大学符号计算与知识工程教育部重点实验室	211	4714	34.0	63.0
5	王飞	吉林大学符号计算与知识工程教育部重点实验室	70	634	13.0	22.0
9	王淞昕	吉林大学符号计算与知识工程教育部重点实验室	2	4	1.0	2.0