前向き自動帰結演算システムの効率化
スポンサーリンク
概要
- 論文の詳細を見る
現在の知識処理システムでは, 設計者がシステムを構築する際にあらかじめ考えておいた問題にしか対応できず, 既に分かっている知識を基にして新しい知識を獲得するようなことはできない。新しい知識の獲得を実現するためには, 既に分かっている帰結関係に基づいて自動的に新しい帰結関係を生成することを実現しなければならない。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
-
牛島 和夫
九州大学大学院システム情報科学研究院
-
程 京徳
埼玉大学大学院理工学研究科
-
牛島 和夫
九州産業大学情報科学部
-
程 京徳
九州大学大学院システム情報科学研究科 情報工学専攻
-
西 和則
九州大学大学院システム情報科学研究科情報工学専攻
関連論文
- 教官の研究教育活動等報告書データベースシステムの開発と運用
- 産学協同実践教育「プロジェクトベース設計演習」高度化の取組み(情報システム教育コンテスト(3))
- 日本語文章の推敲支援における並列構造の曖昧さの指摘法について
- Tenderにおける資源「演算」の扱い
- 異なるスケジューラの共存制御法
- 異なるスケジュール法の共存制御法
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- MERIT-9紹介状形式文書の汎用Webブラウザによる表示手法の開発
- インターネットを利用した遠隔制御機器アクセス方式の提案と評価
- 分散生産ライン管理・保守システムのオブジェクト指向技術に基づく設計と実装
- (社)日本工学教育協会第46回年次大会報告(第2報) : シンポジウム : 変革期の工学教育
- 移動型プログラムを用いた分散システム管理におけるセキュリティ機構の設計と試作
- ニューラルネットを組み込んだ学習システムのデザインパターンによる実現
- 属性間の因果関係を考慮した決定木学習
- 広域分散環境下における移動型プログラム構築環境の実装
- インターネットに適した衛星通信リンクの制御方法について
- フロー制御機能を備えたアプリケーションの開発
- ネットワーク管理における障害通知について
- オブジェクト指向型決定木学習システムの開発
- オブジェクト指向型概念学習システムのための視覚化アプリケーションの開発
- 情報処理学会とカタカナ語
- 6. 通常資源から知識資源へ (九州発21世紀へのメッセージ)
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- 産学協同によるプロジェクトベース設計演習のためのFD(大学教員能力開発)プログラムの実施と総括
- テキスト処理による推敲支援情報の抽出(テキストの自動評価)
- 中野先生を偲んで
- 経済産業省平成18年度産学協同実践的IT教育訓練基盤強化事業"「プロジェクトベース設計演習」FDプログラムの開発"実施報告
- 双方向型産学連携実践教育(若手の会,PBL(Project-Based Learning))
- 双方向型産学連携実践教育(実践教育,産学連携論文)
- 2005年度産学連携実践教育実施報告
- 2-332 講義記録システムを用いた九州産業大学情報科学部におけるファカルティデベロプメントの推進((14)ファカルティ・ディベロップメント)
- 物理的教室と複合した仮想教室環境の開発(eラーニング1, 夏のデータベースワークショップDBWS2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップDBWS2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップ2005)
- (開発支援環境・自動化技術)ソフトウェアメトリクスを利用したリファクタリングの自動化支援機構(オブジェクト指向技術)
- リファクタリングを自動化するための基本機構の提案
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- MHC-Message Harmonized Calendaring Systemの設計と実装
- 多様な選択ポリシーを利用可能なサーバ選択機構
- 通信路の品質変化に対応する通信制御機構の評価
- マルチメディアコンピュータを用いた英語発音学習システムの開発と評価
- 通信路の品質変化に対応するための通信制御手順
- 通信路の品質変化に適応する自動通信制御機構の評価
- 通信路の品質変化に適応する自動通信制御機構の評価
- 大学の設備を用いた中学生のための計算機ネットワーク体験教室
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- タスク型を含む並行処理プログラムのテストケース生成法について
- Ada並行プログラムのためのタスク従属ネットとその自動生成
- BDIアーキテクチャを用いた分散人工知能戦略選択機構
- BDIアーキテクチャを用いた分散人工知能戦略選択機構
- BDIアーキテクチャを用いた分散人工知能戦略選択機構(並列・分散)
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- 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 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- 走行中のプロセス間で共有されたプログラムの部分入替え法の提案とその評価
- 表の配置グラフに基づくX-Window上での表操作ツールTableXについて
- 自律移動型プログラムを用いた計算機管理支援の枠組について
- 移動型プログラムを利用した分散システムの管理について
- 一般情報処理教育用システムにおける利用者情報の管理について
- 表の物理構造を表現した配置グラフの X-Window上での操作ツールの試作
- ネームサーバを用いた自律分散的負荷分散
- ネームサーバを用いた柔軟な負荷分散 (インターネットコンファレンス'99論文集) -- (分散環境)
- ネームサーバを用いた負荷分散方式
- 分散問題解決による共有資源の効率的な実現
- 5F-2 Tenderにおける永続制御機能の設計と実現
- Tenderにおける永続制御機能
- Tenderにおける永続制御機能
- サービスの処理内容を考慮したトランザクション処理の負荷分散法
- 分散システムでの負荷分散に向けたシステム状態の把握法
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderのメモリ管理機能 : ヘテロ仮想記憶(HVS)
- サービス処理速度の調整制御法 (特集 ソフトウェア発展)
- 3Z-3 プログラム実行速度調整機能における処理の均一性向上手法
- 3F-5 Tenderオペレーティングシステムにおけるプロセス間通信機能
- Tenderオペレーティングシステムにおけるプログラム実行速度調整機能の設計と実現
- 4P-1 通信品質が動的に変化する通信路上でのFCC通信制御手順の評価
- (36) 卒業論文・修士論文・博士論文に索引を付けさせる(第9セッション 教育研究指導(3))
- プログラム実行時間を調整する入出力制御法
- 日本語文における名詞句の並列構造の推定およびその推敲支援への適用
- 字面解析を応用した日本語文章推敲支援ツールの開発
- 字面解析による用言の活用形推定について
- 分散問題解決による共有資源の実現
- 矛盾を扱える論理プログラミングシステムALPS-HI
- 関数型プログラムの束縛評価グラフ生成ツール
- Ada 2012プログラムのためのタスキングデッドロック検出ツール