推論プロセスの定式化と効率化に関する研究

推理过程的表述和效率研究

• 批准号: 63633511
• 负责人: 茨木 俊秀
• 金额: $ 1.15万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-63633511/
• 关键词: 演繹データベース; 結合演算の最適順序; NP困難性

適当な形式にしたがって格納されている知識を、Prologやプロダクション形式に記述された規則に基づいて推論を進め、解決方策を導出するプロセスは、可能な経路数に"組合せ的爆発のために、問題の規模が少し大きくなると、計算機を用いてもその処理が困難になる。本研究では、この困難を克服するため、関係データベースを一般化した演繹データベースの立場から、計算効率の向上を、データベース技法の適用によって実現することを試みる。計算手間の観点から最も重要なデータベース演算は、関係テーブルの閉包(closure)と結合(join)であって、計算量を減少するには、これらの演算の個別の実行についてその高速化を計ると共に、多数の演算が実行される場合は、それらの実行順序の最適化が大きな意味を持つ。本年度は、以上の研究課題のうち、とくに結合順序の最適化をとり上げ、一般にはこの最適化問題がNP困難であることを示した。これは、最適化を厳密に実行することが困難であることを示しているので、計算手間の少ない近似アルゴリズムの開発が重要である。この面についても若干の知見を得ている。また、問題が特殊な形をしていると、結合演算の最適順序が簡単に求まることも、スター状およびチェイン状の質問グラフの場合について明らかにした。これらの結果は、規則が複雑にからみ合っている一般に基礎となるものであって、今後、閉包の取扱いを研究することで、実用性の高いシステムを構築する手掛りを与えてくれると考えられる。

The appropriate form of knowledge, Prolog, Prolog, Prolog. This study aims to overcome the difficulties in the development of the relationship, generalize the position of the deduction, calculate the efficiency, and apply the technique to the development of the relationship. The calculation of the most important data points between hands is to reduce the amount of calculation, to reduce the amount of calculation. This year, the above research topics include optimization, general optimization and NP difficulty. This optimization is difficult to perform and it is important to develop a computational approach that approximates the complexity of the algorithm. Some of the knowledge gained from the experience was acquired. For example, when the problem is special, the optimal order of the combination calculation is simple, the problem is special, and the problem is special. The result is that the rules are complex, the basic rules are complex, the future rules are complex, and the future rules are complex.