基于框架知识表示的专家系统工具FBEST

本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可以是代表属性语义的符号,而且还可以是代表关系的函数或过程,并将一个概念的所有属性集约于同一结构。本文首先介绍FBEST用于描述事实、推理知识、元知识,然后介绍FBEST所提供的推理机制,包括继承性推理、正向推理及问题归约法,最后介绍了FBEST所提供的人机接口。