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

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