论文部分内容阅读
Tuili-Ⅱ是一个基于Tuili的知识程序设计语言,属性谓词是其中的一种新的知识表示方法。属性谓词体现了逻辑推理语言Tuili与框架/对象在一定意义下的结合。本文主要介绍属性谓词的提出和基本思想,给出属性谓词说明及其使用的语法定义、语义及解释。讨论了属性谓词的实现思想和主要算法,并给出一个由属性谓词表示分类知识的专家系统原型的例子。