摘要
在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.
Tuili is a programming language designed for logical inference. In its implementation, it is essential to build multiple inference engines with different inference capabilities and to make them work in acooperative way. The strategies of constructing the multiple inference engines and the main algorithms used for implementing them are presented.
出处
《计算机学报》
EI
CSCD
北大核心
1991年第10期781-789,共9页
Chinese Journal of Computers
关键词
Tuili系统
推理
多推理机
程序设计
Tuili, inference, multiple inference engines system, implementation of inference, logic programming.
