摘要
Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法．属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合．本文主要介绍属性谓词的提出背景和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释，讨论属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子．
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.
出处
《计算机学报》
EI
CSCD
北大核心
1997年第10期878-883,共6页
Chinese Journal of Computers
基金
中国科学院院长基金资助。
关键词
属性谓词
人工智能语言
知识表示
知识程序设计
Attribute-predicate
Al language
representation of knowledge
knowledge programming
