知识处理中的推理机设计

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