汎用帰結演算システム「EnCal」の並列化について
スポンサーリンク
概要
- 論文の詳細を見る
「EnCal」(Entailment Calculus System)は帰結演算に基づいて推論規則の自動生成と検証、知識獲得および自動定理発見を支援するために我々の研究室で開発している汎用帰結演算システムである。帰結演算の特徴からEnCal内部の帰結演算に関する処理は並列化が可能であり、それによる高速化が期待できる。しかし、現在EnCalは単に逐次型プログラムとしてしか実現されていない。本稿ではEnCalの並列化のためのモデルを提案し、そのモデルを評価する。
- 一般社団法人情報処理学会の論文
- 1995-09-20
著者
関連論文
- 教官の研究教育活動等報告書データベースシステムの開発と運用
- 産学協同実践教育「プロジェクトベース設計演習」高度化の取組み(情報システム教育コンテスト(3))
- 日本語文章の推敲支援における並列構造の曖昧さの指摘法について
- Tenderにおける資源「演算」の扱い
- 異なるスケジューラの共存制御法
- 異なるスケジュール法の共存制御法
- 日本語文章推敲支援ツール『推敲』での「が」と「は」を複数含む文の抽出について
- MERIT-9紹介状形式文書の汎用Webブラウザによる表示手法の開発
- インターネットを利用した遠隔制御機器アクセス方式の提案と評価
- 分散生産ライン管理・保守システムのオブジェクト指向技術に基づく設計と実装
- (社)日本工学教育協会第46回年次大会報告(第2報) : シンポジウム : 変革期の工学教育
- 移動型プログラムを用いた分散システム管理におけるセキュリティ機構の設計と試作
- ニューラルネットを組み込んだ学習システムのデザインパターンによる実現
- 産学協同によるプロジェクトベース設計演習のためのFD(大学教員能力開発)プログラムの実施と総括
- テキスト処理による推敲支援情報の抽出(テキストの自動評価)
- 中野先生を偲んで
- 経済産業省平成18年度産学協同実践的IT教育訓練基盤強化事業"「プロジェクトベース設計演習」FDプログラムの開発"実施報告
- 双方向型産学連携実践教育(若手の会,PBL(Project-Based Learning))
- 双方向型産学連携実践教育(実践教育,産学連携論文)
- 2005年度産学連携実践教育実施報告
- 2-332 講義記録システムを用いた九州産業大学情報科学部におけるファカルティデベロプメントの推進((14)ファカルティ・ディベロップメント)
- 物理的教室と複合した仮想教室環境の開発(eラーニング1, 夏のデータベースワークショップDBWS2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップDBWS2005)
- 物理的教室と複合した仮想教室環境の開発(eラーニング1, 夏のデータベースワークショップ2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップ2005)
- 講義記録システムを含む教育環境の構築と教育実践(セッション2 : 招待講演)(テーマ:デジタルコンテンツの管理と応用)
- ファカルティ・ディベロプメント(情報技術と教育)
- (開発支援環境・自動化技術)ソフトウェアメトリクスを利用したリファクタリングの自動化支援機構(オブジェクト指向技術)
- 日本語文章推敲支援ツール『推敲』 : 開発と使用の経緯
- リファクタリングを自動化するための基本機構の提案
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- MHC-Message Harmonized Calendaring Systemの設計と実装
- 通信路の品質変化に対応する通信制御機構の評価
- マルチメディアコンピュータを用いた英語発音学習システムの開発と評価
- 通信路の品質変化に対応するための通信制御手順
- 通信路の品質変化に適応する自動通信制御機構の評価
- 大学の設備を用いた中学生のための計算機ネットワーク体験教室
- 述語と格助詞を手がかりにした文構造の解析および推敲支援への応用
- 形態素解析を援用した字面解析手法による否定表現の抽出と評価
- 定義使用グラフの拡張
- タスク型を含む並行処理プログラムのテストケース生成法について
- C並行処理プログラムのためのテストケース生成系について
- オブジェクト指向プログラムのテストのためのモデルについて
- テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察
- 順序列テスト基準における測定事象の最適化方法について
- 順序列テスト基準に基づく並行処理プログラムのテスト充分性評価
- C並行処理プログラムのテスト充分性評価システムのソケットへの対応
- Ada並行プログラムのためのタスク従属ネットとその自動生成
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- プログラム依存グラフ可視化ツールの開発
- プログラム依存グラフ可視化ツールの開発
- 並行処理プログラムの安全性破壊に対する順序列テスト基準の信頼性に関する一考察
- 安全性の破壊に対する順序列テスト基準の信頼性評価
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 走行中のプロセス間で共有されたプログラムの部分入替え法の提案とその評価
- OS動作の可視化機能
- OS動作の可視化機能
- Tenderにおける資源「時計」の実現
- Tenderにおける資源管理方式
- 走行中のプロセス間で共有されたプログラムの部分入れ替え法
- 表の配置グラフに基づくX-Window上での表操作ツールTableXについて
- 自律移動型プログラムを用いた計算機管理支援の枠組について
- 移動型プログラムを利用した分散システムの管理について
- 一般情報処理教育用システムにおける利用者情報の管理について
- 表の物理構造を表現した配置グラフの X-Window上での操作ツールの試作
- 相関論理Rcにおける連言-含意のパラドクスおよび選言-含意のパラドクスの証明不可能性について
- 日本語文章推敲支援ツール『推敲』における助詞「が」の抽出について
- 相関論理Rcにおける強相関性原理について
- 相関論理への時間演算子の導入について
- 演繹データベースにおける類似検索の効率化について
- 5F-2 Tenderにおける永続制御機能の設計と実現
- Tenderにおける永続制御機能
- Tenderにおける永続制御機能
- 分散システムでの負荷分散に向けたシステム状態の把握法
- 分散環境における静的な処理分散法の実現と評価
- 応答時間に着目した静的処理分散法
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderのメモリ管理機能 : ヘテロ仮想記憶(HVS)
- 4P-1 通信品質が動的に変化する通信路上でのFCC通信制御手順の評価
- (36) 卒業論文・修士論文・博士論文に索引を付けさせる(第9セッション 教育研究指導(3))
- 日本語文における名詞句の並列構造の推定およびその推敲支援への適用
- 字面解析を応用した日本語文章推敲支援ツールの開発
- 字面解析による用言の活用形推定について
- 日本語文における並列構造の簡便な推定法および推敲支援への適用
- 日本語文章推敲支援ツール『推敲』の活用
- 日本語文における名詞句の並列構造の推定および推敲支援への適用
- 日本語文章推敲支援ツール『推敲』における活用チェック法による否定表現の抽出
- 双方向学習支援システムMICE
- 文章推敲における並列構造の指摘
- 矛盾を扱える論理プログラミングシステムALPS-HI
- 注釈付き論理プログラミングへの含意の入れ子表現の導入について
- 汎用帰結演算システム「EnCal」の並列化について
- Slice-Based Algorithmic Debugging for Logic Programs
- ペトリネット編集・シミュレーションツールの開発
- 関数型プログラムの束縛評価グラフ生成ツール