述語論理を扱う全解探索の仮説推論における矛盾処理, 包摂処理の高速化
スポンサーリンク
概要
- 論文の詳細を見る
述語論理で表現された知識ベースを扱うことができ, 全解を高速に求めることを実現した仮説推論システムとしてKICK-HOPEがある.本研究では, KICK-HOPEで問題となった矛盾処理, 包摂処理の高速化手法を提案し, 全加算回路の故障診断問題の知識ベースを用いて提案手法の有効性を検証する。提案手法は指数オーダーの計算量が必要となり, 大規模な現実問題に適応させることは難しい.そこで, 大規模な問題をいくつかの小規模な部分問題に分割して解き, それらの解を組み合わせて全体の解を求める分割統治法を用いたアルゴリズムを提案する.
- 2001-11-08
著者
関連論文
- 癒し型ペットロボットの飼い主判別手法の改善
- 推論の失敗を考慮した仮説推論システム(人工知能, 認知科学)
- 改良山登り法によるコストに基づく仮説推論の高速最適解法
- 赤外線センサ情報からのデータマイニングによる独居老人の振舞い認知に関する一考察
- 動的環境に対処するための遺伝的アルゴリズムの制御方法
- 故障診断のための事例ベース推論を導入した高速仮説推論システム
- 実時間探索を導入したコストに基づく仮説推論システムにおけるヒューリスティック関数の改良
- 仮説推論に対する3種の近似解法
- 述語論理知識を扱う全解探索仮説推論の高速化
- 癒し型ペットロボットの飼い主判別機構の実現
- 4B-5 Really-Full-LookaheadとACOの統合による学校時間割自動編成システム(最適化問題,一般セッション,ソフトウェア科学・工学)
- 個人の嗜好に基づいた画像検索
- OP-238 軟性膀胱鏡画像確認システムの開発(膀胱腫瘍/診断2,一般演題口演,第97回日本泌尿器科学会総会)
- 超音波センサを用いた顧客振舞い認知システムの開発 : IT活用による小売業売場生産性向上を目指した購買行動計測の基礎実験(日常生活行動コンピューティング)
- 超音波センサを用いた浴槽内での異常検知システムの改善
- 赤外線エリアスキャナによる性別識別システム
- 6-104 フローチャートを可視化するアルゴリズム学習支援システム((12)教育ソフトウェア-I,口頭発表論文)
- 6-101 データマイニングによる授業アンケート分析(口頭発表論文,(13)教育評価・自己点検・評価システム-I)
- 多変量解析による授業アンケート分析と授業改善に関する考察
- 7-212 多変量解析による授業アンケート分析と授業改善に関する考察((12)教育評価・自己点検・評価システム-III)
- D-9-10 エリアスキャナを用いた通行人の性別識別システム(D-9.オフィスインフォメーションシステム,一般講演)
- 生活空間情報に基づく植物生体電位の予測
- 感覚概念を導入したニオイセンサによる環境認識に関する一考察
- センサエージェントによる環境認識に関する研究(化学センサー・一般)
- 自己代理強化学習による交通信号制御(知識処理)
- ゲシュタルト心理学に基づく抽象図形の群化領域認識
- ペットロボットを用いた感情認識システム(人工知能, 認知科学)
- アントコロニー最適化におけるモデル化に依存する探索バイアスの抑制
- 読唇のための色特徴量に基づくエネルギーを用いた動的口唇輪郭抽出法
- バクテリオファージにおける自己組織化のモデル化と人工生命シミュレーション(バイオサイバネティックス、ニューロコンピューティング)
- 放送型野球中継映像における打席シーンの分割に必要なスコアテロップ内の情報領域の抽出と意味推定
- Particle Swarm Optimizationの改良とポートフォリオ選択への応用(数値計算, 数理計画法)
- 様々な最適解探索手法のマルチプルアラインメントへの適用と性能評価(アルゴリズム理論)
- 述語論理知識を扱う全解探索仮説推論の高速化
- ヒューリスティック探索と仮説推論の高速化(基礎・理論)(人工知能分野における博士論文)
- 超音波センサを用いた浴槽内での異常検知システムの開発
- D-8-6 マルチエージェントを用いた小売店レイアウト支援システム(D-8.人工知能と知識処理,一般講演)
- 相関ルールを用いた英文情報の分野判別
- 初期移動方向を考慮したマルチエージェント経路探索 : 渉外業務支援システムへの応用
- 超音波センサを用いた転倒検知システムの開発
- LED光下における植物生体電位と空気浄化特性
- 外乱のない軟性膀胱鏡画像からの操作推定
- ニューラルネットワークを用いた軟性膀胱鏡操作の推定 : 毛細血管の強調と膀胱鏡操作の変化に伴う特徴量の導入
- 述語論理を扱う全解探索の仮説推論における矛盾処理, 包摂処理の高速化
- 軟性膀胱鏡の停止操作の推定とその応用
- 軟性膀胱鏡画像におけるオプティカルフローの外れ値除去と補間方法の一考察
- 予測確率を用いた軟性膀胱鏡操作の時系列パターン認識
- 可視光センサを用いた浴室における転倒検知システムの開発
- HOG と Bag of Keypoints を用いた工作機械用制御盤内における物体認識
- 可視光センサを用いた浴室における転倒検知システムの開発
- レビュー情報を用いた学術本の難易度推定
- Androidスマートフォンにおける近接センサによる画面ロック手法の開発
- 軟性膀胱鏡に対する一連の操作パターンの推定
- 軟性膀胱鏡の停止操作の推定とその応用