知识处理中的推理机设计

本文重点研究了ＳＫＹ＾〔１〕知识处理中推理机的实现技术、推理解释算法和运行栈、中间代码段等重要资源的管理技术。ＳＫＹ拥有三部推理机：对象推理机、规则集推理机和方法推理机。对象推理机主要完成槽的检索定位任务它还具有控制和协调其它推理机的作用；规则集推理机采用正向推理策略完成对规则集的推理操作；方法推理机主要完成解释执行方法体的任务。

DESIGN OF INFERENCE ENGINE IN KNOWLEDGE PROCESS

The implementation techniques of inference engine. inference interpretation algorithm and the management techniques of important resources. such as running stack and code segment in knowledge process of SKY 1 are mainly studied in this paper. SKY has three inference engines: object inference engine. ruleset inference engine and method inference engine. The object inference engine not only accomplishes the index and location tasks of slot. but also has the function of controlling and coordinating the other inference engines; the ruleset inference engine performs the inference operation of ruleset using forward chaining strategy; the method inference engine completes the task of executing method body.