论文部分内容阅读
常识推理作为一种非单调的推理方式,当知识库获得新的知识后,有可能摒弃原有的一些信息.但古典逻辑没有这种特性,为此,在 KLEENE 三值逻辑基础上,加入一个假设算子 M 而得到一种能够反映非单调推理过程的三值逻辑系统 TL
具有非单调推理能力的三值逻辑系统TL
【摘 要】
：
常识推理作为一种非单调的推理方式,当知识库获得新的知识后,有可能摒弃原有的一些信息.但古典逻辑没有这种特性,为此,在 KLEENE 三值逻辑基础上,加入一个假设算子 M 而得到
【机 构】
：
兰州大学计算机系,兰州大学计算机系兰州730000,兰州730000
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
1992年S1期
其他文献
大相对孔径变焦系统在像差补偿自由度较少的光学补偿式变焦系统中,通常需采用较多的镜片才能完成像差校正,导致系统体积和质量不甚理想。通过合理分配变焦参数,优化变焦系统
第五届中国国际航空航天博览会(简称珠海航展)是唯一在中国境内举办的国际性专业航空航天展览。以“国际化、专业化、科学化、市场化、品牌化”为运作要求的珠海航展,为了给
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以一座4×16m空腹式等截面石拱桥为工程背景，对其进行桥梁缺损状况检查评定、桥梁材质状况与状态参数检测评定及桥梁静载试验。基于检查及静载试验结果，通过引入桥梁承载能
双官能团含磷萃取剂２－（二苯基氧化膦甲基）氮氧化喹啉的合成①冯银厂唐瑜甘新民②谭民裕（兰州大学化学系，兰州７３００００）多官能团含磷萃取剂对ｆ区元素具有显著的萃取性，近年来这类萃取剂引起了
以小麦的幼穗为外植体，接种于Ｎ６Ｂ５ＭｓＩ培养基上，３０ｄ后可形成大量愈伤组织。该愈伤组织继代１次后即产生淡黄色颗粒状的胚性愈伤组织和白色致密状的非胚性愈伤组织。将此两种愈伤组织分别转入
可编程控制器（PLC）自动化控制装置是以计算机技术为基础核心装置,可编程控制器可靠性强,结构简单,体积较小,使用方便,更关键件的是它的编程简单,最近几年来在各行各业自动化的
生态环境损害赔偿制度改革是云南省努力成为全国生态文明建设排头兵的重要内容,是生态文明制度体系建设的重要组成部分,是环境资源领域一项重大的、基础性的机制创新和制度改
肺炎其临床以发热、咳嗽、气促、呼吸困难及肺部固定湿啰音为特征。是婴幼儿时期的常见病,严重威胁儿童的健康。无论是发病率还是死亡率均占首位。小儿重症肺炎的护理过程中,