一种快速推理算法──索引法  

INDEXING APPROACH──A FAST INFERENCE ALGORITHM

作　　者：张自力[1] 

机构地区：[1]西南师范大学计算机科学系

出　　处：《西南师范大学学报（自然科学版）》1994年第3期245-249,共5页Journal of Southwest China Normal University(Natural Science Edition)

摘　　要：在概述索引技术在人工智能（ＡＩ）各领域应用情况的基础上，提出了索引推理的思想，并详细讨论了以谓词逻辑表示知识时的索引推理算法。Based on a brief introduction of the applications of the indexing technique in Artificial Intelligence(AI),the idea of indexing inference is presented. The indexing infexence algoirthm using predicate log- ic for knowledge representation are forthesly discussed in detail.

关 键 词：索引技术 推理算法 知识工程 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]