述語論理知識を扱う全解探索仮説推論の高速化
スポンサーリンク
概要
- 論文の詳細を見る
仮説推論は, 与えられた観測を説明する仮説集合を求めるという知識処理を行うことができ, 設計・診断問題などに実用化されている.しかしながら, 計算量が極めて大きいため実用的な大規模知識ベースシステムへの応用は難しいという問題がある.これまで, 命題論理を扱う仮説推論に対しては効率的な手法が開発されてきたが, 述語論理を扱う仮説推論の効率化は難しかった.KICK-HOPEは, QSQR法と呼ばれる演繹データベースの手法と元来の高速仮説推論システムATMSを組み合わせて用いることで, 効率的な推論を実現した述語論理を扱う仮説推論システムである.しかしながら, 実用的な知識ベースでは矛盾処理と包摂処理にまだ膨大な計算時間がかかるという問題がある.本論文では, KICK-HOPEの問題となっている矛盾処理, 包摂処理の高速化の手法を提案する.最初に, 生成される仮説集合の大半においての矛盾処理, 包摂処理の膨大な計算時間が不要であることを述べる.次に, 冗長な計算を削減するために, 仮説集合に含まれる仮説を一つのベクトル(チェックベクトル)で表し, このチェックベクトルを調べることでむだな処理を削減するように改良した.実験では, KICK-HOPEで用いられた例題知識ベースと, 全解探索で問題となった矛盾制約が緩い場合の知識ベース, 回路の故障診断問題, 時間割作成のスケジューリング問題の知識ベースを用い, 冗長な矛盾処理, 包摂処理を削減することができたことを示した.
- 人工知能学会の論文
- 2001-03-01
著者
-
広瀬 貞樹
富山大学工学部
-
広瀬 貞樹
東北大学電気通信研究所
-
木村 春彦
金沢大学工学部
-
越野 亮
金沢大学大学院自然科学研究科
-
林 貴宏
金沢大学大学院自然科学研究科
-
林 貴宏
電気通信大学
-
広瀬 貞樹
富山大
関連論文
- 不完全な同期下の単純セルオートマトンの時空間パターンによる分類(情報・システム基礎)
- Langtonの自己増殖ループの形態的進化
- Watson-Crickオートマトンの族の間の関係とそれらの族と文脈自由言語との関係
- 16セグメントディスプレイ上の英字パターンの一斉射撃問題
- 文脈を用いない挿入・削除システムの計算能力
- 7セグメントディスプレイ上の数字パターンの一斉射撃問題
- 推論の失敗を考慮した仮説推論システム(人工知能, 認知科学)
- 環境の変化によって生じる複雑な形をした雪の結晶の類似パターン生成
- CCDカメラ画像に基づいた自動車の車庫入れの自動化(高度交通システム(ITS))
- 打鍵間時間を基にした認証システムのリズム打鍵による改善(ネットワークセキュリティ)(コラボレーションアートとネットワークエンターテイメント)
- 改良山登り法によるコストに基づく仮説推論の高速最適解法
- クラスタリングによる人間の振舞い認知
- 赤外線センサ情報からのデータマイニングによる独居老人の振舞い認知に関する一考察
- 動的環境に対処するための遺伝的アルゴリズムの制御方法
- 故障診断のための事例ベース推論を導入した高速仮説推論システム
- 実時間探索を導入したコストに基づく仮説推論システムにおけるヒューリスティック関数の改良
- 複数の人間の家庭内における振舞い認知 (特集 知的センシング技術と設備管理)
- 仮説推論に対する3種の近似解法
- 述語論理知識を扱う全解探索仮説推論の高速化
- 北陸支部 : 表彰活動による学生の元気付け(わが支部の魅力はここにあり)
- 歩行者の安全を考慮した交通信号制御に関する研究
- 万能文法と言語の代数的表現 (計算の複雑性に関する研究)
- 万能文法に関する二,三の考察
- 6-214 理論と実践の融合による社会人基礎力育成と目に見える評価システムの構築(口頭発表論文,(20)産学連携教育-II)
- 6-212 「製品開発体験実習による実践的ものづくり技術者育成」事業の活動報告(口頭発表論文,(20)産学連携教育-II)
- A-17-21 地上解像度にスケーラブルな雪ハザードマップの構築(A-17.ITS,一般セッション)
- 2-217 製品開発体験実習による実践的ものづくり技術者育成((18)産学連携教育-I,口頭発表論文)
- 癒し型ペットロボットの飼い主判別機構の実現
- セルオートマトンを用いた雪の結晶の類似パターン生成
- 仮説推論における累積実行時間の削減方法の提案
- 複数パターンの文字列照合におけるマッチングマシンの動的構成法
- 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案
- 最小スケルトン検索アルゴリズム
- 一般形状6面体辺要素を用いた有限要素電磁界解析
- KICK-SHOTGANとKICK-HOPEの実行比較
- プロダクションシステムのためのベリフィケーションシステムの構築
- 各種直積インスタンシエーション表現法の効用比較
- プロダクションシステムの直接条件照合アルゴリズムの改善案
- 推論パスネットワークによる仮説合成時の包摂処理の改善案
- 推論パスネットワークによる仮説推論の高速包摂処理
- 推論パスネットワークによる仮説推論における矛盾処理の効率改善
- 相関ルールを用いた組織内における文書校正支援
- プロダクションシステムの直積インスタンシエーション表現の拡張
- プロダクションシステムの高コストルール対処法に関する一考察
- プロダクションシステムの直接条件照合アルゴリズム
- プロダクションシステムの高速条件照合アルゴリズム
- プロダクションシステムの高速イントラコンディションテストに関する一考察
- プロダクションシステムの高速推論を実現するワーキングメモリーのデータ構造
- エージェントモデルを用いたATMの設置台数決定法
- エージェントモデルを用いた狭域商圏業種の最適店舗数の推定
- D-12-57 眼球画像からの特徴抽出を用いた人材選抜支援システムに関する検討(D-12.パターン認識・メディア理解A)
- 商標図形の外枠の知覚実験
- 白黒反転商標の類似検索における前処理
- 商標図形の外枠の認識に関する検討
- ライフゲームの挙動におけるセル数依存性
- 409 産学連携による実践型ものづくり科目「製品開発体験実習」(OS14-1 ものづくり技術教育,オーガナイズドセッション:14 技術と社会(高等教育改善))
- 408 産学連携教育による実践的ものづくり技術者育成(OS14-1 ものづくり技術教育,オーガナイズドセッション:14 技術と社会(高等教育改善))
- 熟練技能者の模倣情報伝達による試行錯誤型タスク支援
- ライフゲームにおける過渡現象のセル数依存性
- 仮説推論の反復に対する高速化
- 癒し型ペットロボットの飼い主判別に関する一考察 : ゼロデータの導入
- 癒し型ペットロボットの飼い主判別手法(人工知能,認知科学)
- 癒し型ロボットの飼い主判別手法
- マルチエージェントを用いた停止回数削減のための交通信号制御
- 強化学習型マルチエージェントによる交通信号制御
- 自律的な負荷分散方式の評価
- ノード間交渉に基づく負荷分散方式の提案と評価
- 条件照合アルゴリズムの動的双方向切換えを導入した高速プロダクションシステム
- 推論パスネットワークによる仮説推論の高速矛盾処理
- 命題論理の仮説推論に対する問題分割法の実行時間予測
- プロダクションシステムの高コストルール対処法 : 属性値管理
- MGTPによる仮説推論の改善案
- プロダクションシステムにおけるジョイン演算の順序に関する一考察
- 強化学習型マルチエージェントによる交通信号制御
- 放送型野球中継映像における打席シーンの分割に必要なスコアテロップ内の情報領域の抽出と意味推定
- ライフゲームにおける過渡現象のセル数依存性
- 多状態実時間両方向探索
- 酸化スズガスセンサを用いた観葉植物の室内空気汚染浄化指数の測定
- 条件照合アルゴリズムの動的切り替えによるプロダクションシステムの高速化
- 高次αメモリを導入した直接条件照合アルゴリズム
- ケプストラム処理による室内ガス発生事象信号の復元
- テキストマイニングと強化学習を用いた電子メール自動分配(データマイニング)
- 文字への加工を利用したハードコピーへの情報ハイディングの一提案(セキュリティ基盤技術)(「インタラクション:理論,技術,応用,評価」)
- 模擬育種法を用いた顔の同定支援システムの改善
- 官公庁向け文書決裁業務支援システムの開発と運用評価
- 模擬育種法を用いた顔の同定支援システムに関する研究
- アクティブデータベースを用いた対話型インターフェースについての研究
- マルチガスセンサとプロダクションシステムを用いた室内空気汚染ガスの検知システム
- マルチエージェントシステムを用いたエレベータ群管理システム
- エレベータ群管理システムに対する一考察
- 述語論理知識を扱う全解探索仮説推論の高速化
- 環境の変化によって生じる複雑な形をした雪の結晶の類似パターン生成
- 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案
- 理科離れと工学の復権
- スペクトル解析による1次元セルオートマトンの分類
- 散逸境界条件下のセルオートマトンについて
- スペクトル解析による1次セルオートマンの分類
- 六方非対称な雪の結晶の類似パターン生成(研究速報)
- ICカード学生証・身分証で変わる大学
- 六方非対称な雪の結晶の類似パターン生成