|
|||||
|
|
| 基于一阶逻辑FOL的知识交换格式KIF | |
| 引用本文： | 刘遵雄,郑淑娟.基于一阶逻辑FOL的知识交换格式KIF[J].情报杂志,2003,22(8):41-42. |
| 作者姓名： | 刘遵雄 郑淑娟 |
| 作者单位： | 1. 华东交通大学电子电气学院 2. 江西财经大学图书馆 |
| 摘 要： | 计算机应用已与我们须臾不可分，计算机处理问题离不开相应语言的支持。本文介绍了用于机嚣的知识交换格式KIF及其作用，并结合有关实例阐述了KIF在知识表示方面的应用和KIF使用前景。 |
| 关 键 词： | 一阶逻辑 FOL 知识交换格式 KIF 计算机语言 形式语言 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |