【摘 要】
：
开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论,它开辟了常识推理研究一条新途径,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用.基
【机 构】
：
吉林大学符号计算与知识工程教育部重点实验室,吉林大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
论文部分内容阅读
开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论,它开辟了常识推理研究一条新途径,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用.基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别,为此,文中给出了基于完备拟序的开放逻辑.该文采用假说上的完备拟序刻画信度区别,给出了新的重构概念,讨论了假说及完备拟序在知识进化过程中的更新,定义了新的认识进程并证明了所定义的认识进程具有收敛性.
其他文献
目的探讨小儿感染性心内膜炎（IE）的临床特点,内外科综合治疗的方法和疗效。方法回顾性分析自2000年1月至2006年12月确诊的24例IE患者的临床资料。结果围手术期死亡1例（死亡率3%）,
在图像处理中，小波变换所具有的空频局部性，使得图像的能量重新分布.从函数正交分解的角度，小波分解相当于把图像分成一组正交基的坐标.由于这些坐标具有按不同频带所表现出的能
网络并行计算（也称集群式计算）是实现高性能计算的重要方式，该文介绍了一个清华大学研制的网络并行超级计算系统THNPSC-1.它是由Pentium III SMP计算结点组成；网络互联采用两种高
该文研究了用于遥感图像人造地物目标识别的三维建模方法 .文中分析了识别任务的特点 ,比较了一般的建模方法 ,介绍了一种基于广义锥思想的几何表示方法 ,并利用面向对象的技术来表示模型内部数据及其操作