A New Fast Inference Technique based on Knowledge-Base Compilation

一种基于知识库编译的新型快速推理技术

• 批准号: 04452190
• 负责人: ISHIZUKA Mitsuru
• 金额: $ 4.16万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 1993
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04452190/
• 关键词: Knowledge-base; Inference; Artificial Intelligence; Hypothetical Reasoning; Compilation; 知識コンパイル; 部分計算

To overcome the problem of knowledge acquisition bottleneck in current knowledge systems, there have been intensive researches on learning and knowledge acquisition support. Unlike these approaches, we have carried out our research from the viewpoint that a fast inference mechanism based on knowledge-base compilation from declarative knowledge is important. If we consider logical knowledge or its subset, i.e., Horn clauses, the knowledge compilation bacomes to the transformation into prime implicates, which are all the implications derivable from the knowledge-base but not subsumed by others. However, the required memory space becomes too large if we compile the entire knowledge-base. Thus we have developed a partial compilation method which compiles the selected portions being expected to contribute the inference efficiency in a hypothetical-reasoning knowledge-base. Moreover, we have combined a multi-level logic-circuit minimization technique with the knowledge compilation to achieve higher efficiency. For the fast inference of the hypothetical reasoning, we have also developed an important polynomial-time inference mechanism employing an approximate solution method of 0-1 integer programming.

为了克服现有知识系统中知识获取的瓶颈问题，人们对学习和知识获取支持进行了深入的研究。与这些方法不同的是，我们已经进行了我们的研究的观点，一个快速的推理机制的基础上的知识库编译声明性知识是很重要的。如果我们考虑逻辑知识或其子集，即，Horn子句，知识编译过程就是将知识编译成素蕴涵，素蕴涵是指所有可从知识库中导出但不被其他蕴涵所包含的蕴涵。然而，如果我们编译整个知识库，所需的内存空间变得太大。因此，我们开发了一种部分编译方法，该方法将期望对假设推理知识库中的推理效率做出贡献的选定部分进行编译。此外，我们结合了多层次的逻辑电路最小化技术的知识编译，以达到更高的效率。为了实现假言推理的快速推理，我们还开发了一种重要的多项式时间推理机制，该机制采用0-1整数规划的近似求解方法。

项目成果

近藤 朗子、石塚 満: "述語論理知識を扱う仮説推論の高速最適解推論法" 情報処理学会人工知能研究会資料. AI-82-5 (1992)

Akiko Kondo、Mitsuru Ishizuka：“处理谓词逻辑知识的假设推理的高速最佳推理方法”日本信息处理学会人工智能研究组材料 AI-82-5（1992）。

大沢 幸生、石塚 満: "多項式時間推論を達成するネットワーク化バブル伝播アルゴリズム" 情報処理学会人工知能研究会資料. AI-85-3 (1992)

Yukio Osawa、Mitsuru Ishizuka：“网络气泡传播算法实现多项式时间推理”日本信息处理学会人工智能研究组的材料（1992）。

石塚 満: "仮説推論" 日本ファジィ学会誌. 4. 620-630 (1992)

Mitsuru Ishizuka：《假设推理》日本模糊科学学会杂志 4. 620-630 (1992)。

堂前 宣夫、石塚 満: "最適解計算仮説推論のための知識ベースの部分コンパイル法" 情報処理学会人工知能研究会資料. AI-85-4 (1992)

Nobuo Doumae、Mitsuru Ishizuka：“基于知识的最优解计算假设推理的部分编译方法”日本信息处理学会人工智能研究组资料AI-85-4（1992）。

A.Kondo, T.Makino, M.Ishizuka: "A Fast Hypothetical Reasoning System for Predicate-Logic Knowledge-Base" J.of Japanese Soc.for AI. Vol.8. 819-827 (1993)

A.Kondo、T.Makino、M.Ishizuka：“谓词逻辑知识库的快速假设推理系统”J.of Japanese Soc.for AI。