ゴール書換えモデルに基づく論理型プログラムの並列処理方式

• Item type: Journal(1)
• 公開日: 1984-05-15
• タイトル: ゴール書換えモデルに基づく論理型プログラムの並列処理方式
• タイトル / 言語: en
• タイトル: Parallel Processing of Logic Programs Based on Goal - Rewriting Model
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学工学部電気工学科／現在 日本電信電話公社
• 著者所属: 東京大学工学部電気工学科
• 著者所属: 東京大学工学部電気工学科
• 著者所属: 東京大学工学部電気工学科
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, University of Tokyo
• 著者名: 後藤厚宏; 相田, 仁; 田中, 英彦; 元岡達
• 著者名(英): Atsuhiro, Goto; Hitoshi, Aida; Hidehiko, Tanaka; Tohru, Moto-Oka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 論理型プログラムは プログラムの仕様と実行ストラテジを分離して検証できることから 知識情報処理における高度なプログラミングに対応できる能力をもつと期待されている.しかし従来のProlog処理系では 処理能力が不足しているだけでなく 逐次処理の制約から実行ストラテジの柔軟性が犠牲になっている.これらの問題に対処するために 論理式の導出過程に忠実なゴール書換え操作に基づいたOR並列処理方式を提案する.本方式では ゴールの導出において定義節のすべての選択肢を適用するOR並列単一化プロセス間で独立性の高いゴールフレームを次々と受け渡しながら並列処理を進める.またゴールフレーム間の依存関係を関係木によって保持し ゴールフレームの導出機構と制御を切り離している.この結果 プログラムに内在する並列性を活かした高並列処理が実現できると同時に種々の実行ストラテジに柔軟に対応できる.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 25, 号 3, p. 413-419, 発行日 1984-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764