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

INDEXING APPROACH──A FAST INFERENCE ALGORITHM

在概述索引技术在人工智能（ＡＩ）各领域应用情况的基础上，提出了索引推理的思想，并详细讨论了以谓词逻辑表示知识时的索引推理算法。

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.