【摘 要】
：
针对知识库系统的研究现状和存在的问题，分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性，根据知识库系统的特点和需求，指出可计算性逻辑既能为知识库系统提供合理的
论文部分内容阅读
针对知识库系统的研究现状和存在的问题，分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性，根据知识库系统的特点和需求，指出可计算性逻辑既能为知识库系统提供合理的逻辑基础，又能弥补经典逻辑作为知识库系统逻辑基础的不足．并在此基础上用证明论方法，建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统，显示出易于表达、操作简单的特点．
其他文献
YL-335A自动生产线由五个工作站组成,可以完成供料、加工、装配、分拣和输送的全部工作过程。在此主要对YL-335A自动生产线的网络控制进行剖析。
YL-335A automatic product
十三陵水库位于京郊昌平区境内，因坐落在明十三陵附近而得名。水库大坝长６２７米，底宽１７９米，顶宽７．５米，坝底高程７４米，坝顶高程１０３米，最大坝高２９米。水库于１９５８年１月２１日正式开工，４０万劳动大军经过１６０个昼夜的艰苦奋
目的：探讨乳腺富含糖原透明细胞癌的临床病理特征与鉴别诊断特点。方法：观察7例乳腺富含糖原透明细胞癌的临床病理和免疫组化结果,并复习相关文献。结果：患者发病年龄42~75岁,中
儿童文学是文学家族的重要成员,是人类文明枝条上的一朵奇葩,但它在中国的发展却显得相对滞后。本文从分析儿童文学在中国的发展历程出发,力图唤起作家、社会对儿童文学的关
随着数字图像技术的飞速发展,图像应用的领域也变得越发广泛,因此图像检索成为了计算机视觉领域的一个重要的研究课题。在实际应用中,为了降低搜索的开销,近似最近邻搜索是一
从工程应用的角度入手,研究了环境影响下的雷达回波信号模型.介绍了基于地物散射模型生成多普勒波束锐化(DBS)参考图的方法,以某机场光学图为原始图,运用该模型生成了模拟回
艺术必须与时俱进,创新是艺术生命力之所在,戏曲舞美设计亦应如此。戏曲舞美包括布景、服装、化妆、道具、音响、效果、灯光等。所有这些领域,均应以创新为其设计宗旨。何以
针对《CA6140车床刀架的拆装与测绘》课程设计心得进行了研究分析。
微机原理与接口技术课程是高校电子类专业的基础课,是后续专业课程的纽带,一直被学生认为是比较难的课程。文章讨论了如何将微信小程序应用于微机原理与接口技术的教学过程中