Tuili-Ⅱ里的属性谓词及其实现  

THE ATTRIBUTE-PREDICATE IN TUILI-Ⅱ AND ITS IMPLEMENTATION

作　　者：高全泉[1] 

机构地区：[1]中国科学院数学研究所

出　　处：《计算机学报》1997年第10期878-883,共6页Chinese Journal of Computers

基　　金：中国科学院院长基金资助。

摘　　要：Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法．属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合．本文主要介绍属性谓词的提出背景和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释，讨论属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子．Tuili-Ⅱ is a knowledge programming language based on Tuili, and theattribute-predicate is a new way of knowledge representation in it. The attributepredicate reflects the combination of logic inference language Tuili and frame/objectstyle in a certain sense. This paper introduces the background and basic idea of theattribute-predicate, presents syntax definitions and semantic interpretation of itsspecification and usage, and discusses its implementation strategy and main algorithm. An prototype expert system example of classified knowledge represented byattribute-predicate is presented.

关 键 词：属性谓词 人工智能语言 知识表示 知识程序设计 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]