【摘 要】
：
一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式
【机 构】
：
中国科学院数学研究所,中国科学院数学研究所北京100080,北京100080
论文部分内容阅读
一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式语言、逻辑程序设计和过程型语言有机结合的问题,而且在知识程序的模块化结构、元级推理以及计算功能等方面有重要创新,因而比目前其它的一些人工智能语言,如OPS5、LISP、Prolog 等,更适合建造专家系统和基于知识的系统。Tuili 以其设计新颖、推理功能丰富、高度灵活的控制结构以及表达形式的优雅,受到了国内外同行的普遍重视和高度评价。
其他文献
不同的学习方法体现人的思维的不同侧面,对复杂的任务可用多种方法协同完成。本文提出一种基于联想的集成学习系统结构和一种统一知识表示方式,既考虑了单个学习模块的独立性
自八十年代以来,非传统应用领域对数据库需求的增长和数据库研究的深入导致了面向对象数据库(简称 OODB)的产生。OODB 在近几年发展中所显示的强大生命力使其有可能成为下一
并发性是计算机科学面临的主要挑战之一，近几年来，在这方面已经展开了大量的研究，并发进程模型的重要意义在于。它将提供一个可信赖的通用形式框架及一批新的技术手段。为并行分
“计算学习理论及其应用(1)”介绍了计算机科学的一个新的研究领域——计算学习理论,分析了通过正反例进行学习和通过提问进行学习的两种学习模型。这篇文章分析另一种重要的
<正> 1.引言预测是人类专家经验知识在生产实践中的综合运用,是决策的依据。决策的好坏可决定一个厂矿企业或者一个国家的前途和命运,因此,预测有着重要的实际意义。目前,多
<正> 一、引言属性文法被普遍用作为基于语言的环境中增量语义分析的基础。传统属性文法中,属性是局部的,即语义等式仅能引用相同产生式实例中属性的值。对于以属性文法为基
<正> 1990年12月,在美国加州 Irvine 召开了第四届 CASE 国际专题讨论会。会上交流总结了当前计算机辅助软件工程(ComputerAided Software Engineering,CASE)的研究现状。由
本文在 Khoshafian 的对象标识模型基础上引伸出一种分析和处理对象持久性语义的工具——引用可达图,讨论了在持久对象的处理过程中引用可达图的变化情况,并讨论了引用可达图
<正> 知识工程技术中,基于知识的系统(KBS)的构造可看成一种知识转换过程:知识工程师从领域专家那里获取知识,并将其转化为KBS所采用的知识表达形式。例如知识工程师询问专家
本文概述了数据库的规则语言，分析比较了ＣＯＬ ＬＤＬ和ＲＤＬ。这些语言的理论框架是ＤＡＴＡＬＯＧ，扩充基于一阶逻辑的ＤＡＴＡＬＯＧ规则语言，可以支持过程性功能，否定，更新，复杂对象以及用户控制性结构。