並列化による前向き演繹エンジンの高速化(<特集>シンポジウム)
スポンサーリンク
概要
- 論文の詳細を見る
前向き演繹エンジンとは, 論理的推論規則を用いて与えられた前提から新しい結論を自動的に導出するシステムである.それは自動定理発見システムや先行計算システムなど様々な分野の情報システムにおいて, 不可欠な中心構成要素として求められている.実用的な前向き演繹エンジンを開発する際の最大の課題はその高速化である.本論文では, この課題を解決するために, 自動前向き演繹の並列計算モデルを提案し, 共有メモリ型並列計算機とPCクラスタ上での実装と実験結果を示し, この並列計算モデルの有効性を示す.
- 社団法人情報処理学会の論文
- 2005-06-15
著者
関連論文
- OP-255-5 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較 : ソナゾイド造影超音波は腫瘍組織を反映しているのか(画像診断-3,一般口演,第110回日本外科学会定期学術集会)
- SF-031-1 超音波造影剤を用いた肝内血流動態評価による,びまん性肝障害の肝線維化評価(肝治療-2,サージカルフォーラム,第110回日本外科学会定期学術集会)
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ENQUETE-BAISE:ユビキタスアンケートのための汎用電子アンケートサーバ (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- O-2-35 肝細胞癌切除例におけるソナゾイド造影超音波画像と病理組織像との比較検討(企画関連口演24 分子生物の臨床応用2,第64回日本消化器外科学会総会)
- P-3-266 進行肝細胞癌に対するIVR治療によるdownstaging後の肝切除の意義(肝 集学的治療,一般演題(ポスター),第64回日本消化器外科学会総会)
- P-2-403 肝切除の術前肝予備能判定としてFibroscanの有用性(肝 術前評価1,一般演題(ポスター),第64回日本消化器外科学会総会)
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- ISO/IEC 15408に基づく情報セキュリティ要求管理データベース
- ユビキタスコンピューティングのためのソフトシステムバス技術
- 先行予測反応システム
- 先行予測反応システム
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- PS-031-1 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較(PS-031 肝 肝細胞癌-3,第112回日本外科学会定期学術集会)
- WS-1-5 肝・胆道疾患に対する肝切除後,肝不全の発生と対策 : 術前門脈塞栓の意義(WS-1 ワークショップ(1)肝臓外科手術後の合併症対策の進歩-病態に基づく新たな治療戦略-)
- Ada 2012プログラムのためのタスキングデッドロック検出ツール
- ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
- ユビキタスコンピューティングの基盤としての永続コンピューティング