基于一阶逻辑FOL的知识交换格式KIF

摘要：

计算机应用已与我们须臾不可分,计算机处理问题离不开相应语言的支持.本文介绍了用于机器的知识交换格式KIF及其作用,并结合有关实例阐述了KIF在知识表示方面的应用和KIF使用前景.

关键词：一阶逻辑、知识交换格式

所属期刊栏目：22

分类号：TP3(计算技术、计算机技术)

在线出版日期：2003-09-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：41-42