论文部分内容阅读
本文论述了尽管各种非调推理模式在形式表达方面，在语义解释方面都有不同的体现，但非单调推理在相当层次上具备如下三个特征：一是一般我们所理解的非单调性；二是知识增长的不确定性和认识的容错性；最后如何非要坚持正确性和完全性，便是非单调计算的困难性，一般是半不可判定的。
非单调推理的三大特征
【摘 要】
：
本文论述了尽管各种非调推理模式在形式表达方面，在语义解释方面都有不同的体现，但非单调推理在相当层次上具备如下三个特征：一是一般我们所理解的非单调性；二是知识增长的不确定
【机 构】
：
国防科技大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1992年1期
其他文献
近年来海外学者对昆仑神话及昆仑文化有较多的关注,学界应用不同的理论和方法从不同的角度论证"昆仑是什么""昆仑神话起源与发展""西王母神话""昆仑神话的图像研究"等相关问
知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实
在高二<思想政治>第五课的教学中,学生对感性认识和理性认识有许多错误认识,如认为现象属于感性认识,本质属于理性认识;感性认识是理性认识的来源;理性认识是感性认识的最终
本文系一项为提高我国灌装机设计技术水平而进行的研究，以微机、自控、检测技术为手段，实现了灌装系统的模拟及其过程参数的检测和数据处理。
本文描述并实现了一种关系数据库系统视图定义的扩充方法,即参数化视图定义方法。该方法可根据对视图的动态赋值,在不扩充其运算符及过程结构的情况下定义递归关系。本文还给
1 晚秀亲本为甜梨×晚三吉.平均单果重660 g;果形扁圆,果面光滑,平整,有光泽,无水锈,为秀丽的黄褐色.果肉白色,硬脆,质细多汁,含糖量13.6%,甜味浓,品质极上.果实10月上旬
深州市林业局1996年春从郑州果树研究所引进早美酥梨树苗3 200株,并以七月酥、黄冠为授粉树,经过科学管理,定植第3年结果,株产8.2 kg,第5年667 m2(1亩)产量为3 216 kg.创产值
本文揭示ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。
在青海文坛,鸿颖的散文诗创作独树一帜。本文就其《鸿雁孤飞》《你是王妃》《月光如水》《花与蝴蝶》等近作进行了文本分析,认为作者在不断的行走中遇见了生活与诗意交织而成