基于一阶逻辑FOL的知识交换格式KIF
作者机构：华东交通大学电子电气学院 江西财经大学图书馆
出 版 物：《情报杂志》 (Journal of Intelligence)
年 卷 期：2003年第22卷第8期
页 面：41-42页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：一阶逻辑 FOL 知识交换格式 KIF 计算机语言 形式语言
摘 要：计算机应用已与我们须臾不可分 ,计算机处理问题离不开相应语言的支持。本文介绍了用于机器的知识交换格式KIF及其作用 。
维普期刊数据库
同方期刊数据库