摘要
本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
This paper intcoduces a prolog mcta-level infcrpreter designed and implemented by the authers.The interpreter solves the problem of backward infernce when the knowledge is represented by transformed rul(?) forms.
出处
《微电子学与计算机》
CSCD
北大核心
1993年第8期21-22,26,共3页
Microelectronics & Computer
关键词
逆向推理
专家系统
元级解释器
Prolog
Backward imference
Knowledge representation
Expert system
Meta-level interpreter
