Meta-Interpreters for Expert Systems (Computer and Information Science)

这项研究调查了使用元解释器来构建PROLOG专家系统的情况。专家系统被设想为一个知识库和一组简单的元解释器。主要讨论两个问题：如何在PROLOG程序中‘混合’一个元解释程序，使程序充满元解释程序的功能，以及如何结合几个元解释程序的效果。在早期工作的基础上，将开发一种元口译员分类，以促进合并。然后，将开发专家系统，方法是建立知识库，用元解释器描述额外的特征，将它们组合起来产生新的元解释器，然后将新的元解释器混合到知识库中。将调查和实施促进这类系统开发的必要工具和技术。这项工作的重要性在于它为建立具有广泛知识库的专家系统做出了贡献，这些系统仍然是人工可管理和可解释的。

This research investigates the use of meta-interpreters for building expert systems in Prolog. An expert system is conceived as a knowledge base and a collection of simple meta-interpreters. Two main issues will are addressed: how to 'mix in' a meta-interpreter into a Prolog program, so that the program is imbued with the functionality of the meta-interpreter, and how to combine the effects of several meta-interpreters. Building on earlier work, a classification of meta-interpreters will be developed to facilitate combination. Expert systems would then be developed by building the knowledge base, describing extra features with meta-interpreters, combining them to produce a new metainterpreter, and then mixing the new meta-interpreter into the knowledge base. The necessary tools and techniques for facilitating such system development will be investigated and implemented. The importance of this work is its contribution to building expert systems with extensive knowledge bases which are still humanly manageable and interpretable.