論理プログラムの意味論と問合せ処理の最適化技術の研究

逻辑程序语义与查询处理优化技术研究

• 批准号: 06680353
• 负责人: 世木 博久
• 金额: $ 0.58万
• 依托单位: Nagoya Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06680353/
• 关键词: 論理プログラム; 問合せ処理; 最適化

論理プログラムの意味論と,その意味論に対応した問合せ処理の最適化技術について,特に,最適化方法の観点から様々な意味論の違いを明確化することを本研究の目的として,研究を行なった。対象とする論理プログラムとしては,通常の論理プログラムよりも表現力の高い,選言的論理プログラム(disjunctive logic programs)を取り上げた。選言的論理プログラムでは,プログラム節の頭部に論理和を許すため,不確定情報の表現が可能で,近年,仮説推論やアブダクション等の応用とも密接に関連することが分かり注目されてきている。プログラム節の本体に否定リテラルを含まないような選言的論理プログラム(postive disjunctive programs)を対象として,まず最適化方法の最も基本的な操作である展開(unfolding)操作を定義し,その操作が選言的論理プログラムの最小モデルを保存することを示した。この結果は,従来の確定ホーン節プログラムに対する最小エルブランモデルの保存という結果を拡張したものになっている。次に,プログラム節の本体に否定リテラルを含むようなより一般的な選言的論理プログラム(general disjunctive programs)に対して,展開操作が2値安定モデル(2-valued stable model)を保存することを示した。一方,安定モデル以外の意味論的性質について,例えば3値安定モデル(3-valued stable model)や,支持モデル(supported model)は,展開操作によって必ずしも保存されないことが分かった。また,選言的論理プログラムの重要な応用として,仮説推論について考察し,与えられた論理プログラムの持つ情報を利用して仮説推論の探索空間を絞り込む効率的な推論方法を提案した。

It means that the most advanced technology is important, and the most efficient method means that the purpose of this study is to make sure that the purpose of this study is to improve the performance of this study. For example, if you don't know what to do, usually you need to know that the force is high, and select the disjunctive logic programs that you choose. The selected information, etc., have been discussed in recent years. The Noumenon negates the definition of the operation definition (unfolding) of the most basic operation, the most basic operation of the optimization method, the definition of the unfolding operation, and the minimum operation of the selection of the operation. The results show that you can make sure that you do not know what to do. Please do not know how to save the results. For the second time, the ontology denies that the information contains the general information (general disjunctive programs) of the selected words, and expand the operation (2-valued stable model) to save the information. On the other hand, it means that there is a lot of sex in the discussion. For example, if you want to settle down (3-valued stable model), support you (supported model), and expand the operation, you must save the information. The reason you choose is to discuss the use of important equipment, to discuss how to conduct an investigation, and to discuss how to use the theory to explore the probability of air travel in space.

项目成果

加藤,昇平: "プログラム解析に基づく仮説推論の高速化技法" 情報処理学会論文誌. 35. 2019-2028 (1994)

加藤翔平：“基于程序分析加速假设推理的技术”日本信息处理学会杂志 35. 2019-2028 (1994)。

坂間,千秋: "Partial Deduction of Disjunctive Logic Programs" 4th Int′l Workshop on Logic Program Synthesis and Trans formation. 1-13 (1994)

Sakama, Chiaki：“析取逻辑程序的部分演绎”第四届逻辑程序综合与转换国际研讨会 1-13 (1994)。

加藤,昇平: "Cost-bosed Horn Abduction to Focus on the Most Probable Diagnosis" 5th Int′l Workshop on Principles of Diagnosis. 148-152 (1994)

Kato, Shohei：“Cost-bosed Horn Abduction to Focus on the Most Proposal Diagnosis”第五届国际诊断原则研讨会 148-152 (1994)。

加藤,昇平: "Cost-bosed Horn Abduction and its Optimal Search" 3 Int′l Conf on Automation Robotics and Computer Vision. 831-835 (1994)

Kato, Shohei：“Cost-bosed Horn Abduction 及其最佳搜索”3 国际自动化机器人和计算机视觉会议 831-835 (1994)。