摘要
本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可以是代表属性语义的符号,而且还可以是代表关系的函数或过程,并将一个概念的所有属性集约于同一结构。本文首先介绍FBEST用于描述事实、推理知识、元知识,然后介绍FBEST所提供的推理机制,包括继承性推理、正向推理及问题归约法,最后介绍了FBEST所提供的人机接口。
This paper presents a frame-based general-purpose expert system tool FBEST. Frame, as a basic unit of representation, combines first-order predicate, procedure and seman-tic network together to describe an independent concept. The attribute of a concept is either a semantic symbol denoting the attribute or a function or procedure denoting a relation. All attri-butes of a concept are integrated into a unified structure. This paper introduces FBEST's me-thod of representing facts, inference knowledge and meta-knowledge first. Then it describes its inference raechanism, including inheritance inference, forward inference and problem reduc-tion. The last part presents the man-machine interface FBEST provides.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第6期437-444,共8页
Chinese Journal of Computers
