论文部分内容阅读
基于一阶逻辑，在对假说中的不一致信念不做任何修正的条件下，将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充，假说的扩充是单调的，当且仅当假说在增长过程中没有遇到相反的信息。如果将假说的无限增长过程理解为一个认识进程，则认识进程中假说的扩充收敛于一个确定的极限。
基于非修正方法的认识进程及其极限
【摘 要】
：
基于一阶逻辑，在对假说中的不一致信念不做任何修正的条件下，将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充，假说的扩充是单调的，当且仅当假说在增长过程中
【机 构】
：
吉林工业大学交通学院,东北师范大学计算机科学系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金资助项目!( 6970 3 0 1 0 ,69983 0 0 2 )
其他文献
采用机械化学还原法结合热压烧结制备Mo5Si3-Al2O3复合材料，采用XRD、SEM等对复合材料的相组成、微观结构及磨损机理进行分析。结果表明：复合材料主要物相为Mo5Si3、Al2O3和Mo3
随着计算机的不断普及，与数学教学现代教育教学方式和方法将前者有机地结合起来，使抽象而枯燥的数学知识变得直观、形象．在教育教学过程中充分利用多媒体探索数学的奥秘、发现数