並列化による前向き演繹エンジンの高速化

• Item type: Trans(1)
• 公開日: 2005-06-15
• タイトル: 並列化による前向き演繹エンジンの高速化
• タイトル / 言語: en
• タイトル: Improving the Performance of Forward Deduction Engines by Parallel Processing
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: シンポジウム特集論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 埼玉大学大学院理工学研究科
• 著者所属: 埼玉大学大学院理工学研究科
• 著者所属: 埼玉大学大学院理工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering Saitama University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering Saitama University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering Saitama University
• 著者名: 奈良, 信介; 後藤祐一; 程京徳
• 著者名(英): Shinsuke, Nara; Yuichi, Goto; Jingde, Cheng
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 前向き演繹エンジンとは，論理的推論規則を用いて与えられた前提から新しい結論を自動的に導出するシステムである．それは自動定理発見システムや先行計算システムなど様々な分野の情報システムにおいて，不可欠な中心構成要素として求められている．実用的な前向き演繹エンジンを開発する際の最大の課題はその高速化である．本論文では，この課題を解決するために，自動前向き演繹の並列計算モデルを提案し，共有メモリ型並列計算機とPC クラスタ上での実装と実験結果を示し，この並列計算モデルの有効性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A forward deduction engine is an automated deduction system which deduces new conclusions from given premises automatically by applying logical inference rules. It is often required as an indispensable component in various advanced information systems, such as automated theorem finding systems and anticipatory computing systems. The most important issue in implementation of a forward deduction engine is its performance. This paper presents a parallel computing model for automated forward deduction and its implementations on a shared-memory parallel computer and a cluster of PCs. We also present some evaluation results of our implementation to show the effectiveness of our model.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464803
• 書誌情報: 情報処理学会論文誌数理モデル化と応用（TOM）; 巻 46, 号 SIG10(TOM12), p. 19-29, 発行日 2005-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7780
• 出版者 / 言語: ja
• 出版者: 情報処理学会