摘要
本文介绍了一个基于元逻辑程序设计的专家系统工具HEST.它以逻辑为基础,用元级和目标级相结合的推理方法来实现的.它具有元级推理、模糊推理等机制,函数和面向对象程序设计风格,多种知识表示以及知识的吸收、调节、推理解释等知识库管理和交互功能,是一个良好的专家系统开发环境.
The paper discusses an expert systems tool based on meta-logic-pro-gramming,HEST.It is implemented mainly by using an ides of combination of meta-level and object-level reasoning upon a basis of logic.It has the mechanisms of meta-reasoning, fuzzy reasoning, etc.It includes the styles of functional and object-oriented progrmming, and various paradigms of knowledge representation.It also possesses management and interaction functions of knowledge base, such as assimilation and accommodation of knowledge and explanation of reasoning.Therefore, it serves as a good development environment of expert systems.
关键词
专家系统
逻辑程序设计
模糊推理
logic programming
expert systems
PROLOG language
meta-level reasoning
fuzzy reasoning
knowledge representation: functional and object-oriented programming
