摘要
通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。
Tools of universal interactive logical inference, Tuili in short, is a new style artificial intelligence language, it can do reasoning in different directions using various search strategies. It is very convenient to use Tuili for building expert systems and other knowledge-based systems quickly. In this paper, we will present the implementation techniques which are used in the implementation of Tuili.
出处
《软件学报》
EI
CSCD
北大核心
1991年第2期52-62,共11页
Journal of Software
基金
中国科学院和国家自然科学基金
