POKRS系统推理机构的设计与实现  

Design and Implementation of POKRS's Inference Mechanism

作　　者：陈福安[1] 朱逸芬[1] 

机构地区：[1]合肥工业大学微机所,合肥230009

出　　处：《计算机研究与发展》1993年第6期55-59,21,共6页Journal of Computer Research and Development

摘　　要：本文介绍了基于PROLOG 的、面向对象的知识表示系统POKRS 推理机构的设计和实现技术,它包括对象的消息处理和方法搜索机构,逻辑执行机构,以及元级推理实现方法执行中在对象局部知识单元上的演绎推理。This paper describes the design and implementation of a Prolog-based Object-oriented Knowledge Representation System's(POKRS,for short)inference mechanism,which includes a mecha- nism of object's message processing and method searching,an executing mechanism of logic,and meta- inference carrying out the deductive inference on the object's local knowledge unit in the method execution.

关 键 词：POKRS 推理机构 设计 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]