论文部分内容阅读
对“封闭世界假设”从新的角度进行了解释,据此提出了知识库系统模型,并给出了一种通用失败求反规则(GNAF)和一个多项式时间的知识库设计的递归算法。
封闭世界假设及其在知识库中的应用
【摘 要】
：
对“封闭世界假设”从新的角度进行了解释,据此提出了知识库系统模型,并给出了一种通用失败求反规则(GNAF)和一个多项式时间的知识库设计的递归算法。
【机 构】
：
复旦大学计算机科学系,复旦大学计算机科学系1988级博士研究生
【出 处】
：
复旦学报(自然科学版)
【发表日期】
：
1990年4期
其他文献
<正> 目前被列为我国高校通用的几种形式逻辑教材中,都或多或少地吸收了一些数理逻辑的成果,引进了人工符号作为辅助的表达工具,这是十分有益的。然而,有些逻辑教材在用人工
本文介绍了唐山矿业分公司对S50掘进机动力泵和S100掘进机电控等部件进行技术改造的内容、经过及改造方案,挖掘了老设备的潜力,降低了事故率,保证了快速掘进。
本文给出了有限板裂纹系问题的复应力函数的一般表达式,把有限平面裂纹系的第一、第二基本问题归结为求解一类奇异积分方程问题,解出了有限平面一共直线和一共圆周裂纹系问题
<正>狭义相对论表明,任何性质的作用力在不同惯性系中测量,会得到不同的量值和方向,这就是力的相对论效应。一般相对论著述中,力的变换关系:
<正>毛泽东同志关于整顿党风的理论,是他建党理论的一个重要组成部分。在长期的革命斗争中,毛泽东同志极为重视党的作风的整顿和建设,并把它视为无产阶级政党建设的好方法。
<正> 1.绪论 一场比赛,抢得兰板球次数的多少是一个队胜负的重要因素之一,抢兰板球是获得控球权,争取场上主动的主要手段。如果进攻队员抢得兰板球,不仅可以增加进攻次数和兰
【正】由周桂钿副教授撰写,北京师范大学出版社出版,并荣获美国王安研究院中国学术研究中心奖助金的学术专著《董学探微》一书,近日将与读者见面了。笔者有幸先睹为快,颇受启
<正> 我校是一所培养中学师资的专科学校,现有一千七百名学生,如何在广大青年学生中卓有成效地进行理想纪律教育,培养又红又专的合格的教育人才,这是我们新时期思想政治工作
<正>关于酸碱理论,学生已在无机化学中学过。但是如何应用广义酸碱理论理解有机物的酸碱性及它们强弱的变化,对学生来说还是新课题。他们往往感到这部分内容捉摸不透,解题时