摘要： 本文以一阶形式逻辑为基础,根据知识库的接口功能:ask和tell操作,讨论了知识系统与不完备知识库的接口问题,介绍了一个不完备知识库的逻辑接口语言KL,并分析说明了它的使用。

关键词: 不完备知识库, 接口语言

Abstract: Based on the first-order formal logic, the knowledge system interface to an incomplete knowledge base is discussed by presenting the interface function of knowledge base: Ask and Tell. An incomplete logical interface language KL is introduced together with its usage.