前向き推論による並列論理プログラミング

使用前向推理的并行逻辑编程

• 批准号: 04650325
• 负责人: 中村 克彦
• 金额: --
• 依托单位: Tokyo Denki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04650325/
• 关键词: 論理プログラミング; 並列計算; 前向き推論; データ駆動型計算; 単位融合

本研究の目的は単位融合(unit resolution)および前向き推論による新しい並列論理プログラミングの方式を確立し,各種の問題解決への応用を調べることであった。この方式の計算では,入力データは単位節の集合として与えられ,計算は単位節に対してホーン節の規則を適用するデータ駆動型の前向き推論によって進められる.このため,本方式は従来の後向の推論にもとづく論理プログラミングでは困難であった大量のデータから結論を引き出すような各種の問題解決に適していることが期待される.本年度の主な研究内容とその成果は以下の通りである.1.並列計算モデルとその制御方式について基本的な検討を行った.2.この方式の計算のために設計されたMonolog言語の直列および並列計算のインプリメンテーションについて検討し,Prolog言語によってPrologへのコンパイラを作成した.3.Monolog言語の制御機能について検討し,簡潔で強力な制御機能(#excl)を考案した.#exclが付加された規則はある単位節に対して一回だけ適用される.4.以上の制御機能およびインプリメント方式について各種の実験を行い,エイトクィーン問題の解法などの探索処理に対する有効性を確認した.5.論理超グラフ文法の概念にもとづく構造パタンの識別問題に対する応用について調べた結果.本方式にもとづいた上向き構造解析が有効であることが明らかになった.

The purpose of this study is to unite resolution) forward き inference に よ る new し い parallel theory プ ロ グ ラ ミ ン の method を established し, various の problem solving へ の応 を べ る こ と で あ っ た.この法のcalculationでは, enter the force of the データはunit Festival のassemble として and えられ, calculate The rules of the single unit festival are applicable to the forward direction and inference of the moving type.よって入められる.このため,This method is a backward inference and a conclusion.理プログラミングではdifficultyであったa lot ofのデータから Conclusionをinducingき出すようWe are looking forward to solving various problems in a suitable way. This year’s main research is The results are as follows: 1. Parallel calculation of control methodsついてBasic analysis and design Monolog language parallel calculation of parallel calculationいて検し,Prolog language によってProlog へのコンパイラをproduced した.3.Monolog language control function について検し, simple and strong The control function of force (#excl) is the test case.ンプリメントWAY について Various の実験を行い, エイトクィーン problem solutions法などのExploration and treatment of に対するconfirmation of validity した.5. Theoretical super グラフgrammatical concept Read the にもとづく structure パタンのidentification problem に対する応与について Adjust the べた result. This method is effective in constructing and analyzing the structure and analysis.