摘要
本文以一阶形式逻辑为基础,根据知识库的接口功能:ask和tell操作,讨论了知识系统与不完备知识库的接口问题,介绍了一个不完备知识库的逻辑接口语言KL,并分析说明了它的使用。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1991年第6期21-24,共4页
Computer Engineering
关键词
知识库
接口语言
Incompete knowledge base Interface language
