THE ATTRIBUTE-PREDICATE IN TUILI-II AND ITS IMPLEMENTATION

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.