矛盾した知識集合からの3値論理による推論(人工知能, 認知科学)
スポンサーリンク
概要
- 論文の詳細を見る
矛盾した知識集合から意味のある(自明でない)結論を導く推論は一般にparaconsistent reasoningと呼ばれ, これまで主として無矛盾な部分集合に基づく方法, 3値論理に基づく方法が提案されてきた.本論文では3値論理に基づく論理的帰結関係として, 知識集合の解釈においてあいまいさを最小にするという観点から, 第三の真理値uが割り当てられた素式の個数が最小のモデル(これをU-最小モデルと呼ぶ)に着目し, すべてのU-最小モデルにおいて真となる論理式をその知識集合の結論とするような論理的帰結関係を提案する.そして, 知識集合の矛盾の原因は極小矛盾集合の存在であるという観点から, 無矛盾な部分集合に基づく方法において有用な概念である極小矛盾集合とU-最小モデルとの関係を検討し, 極小矛盾集合に現れる素式の集合間の最小ヒッティング集合とU-最小モデルにおいてその真理値がuである素式の集合が一致することを明らかにする.更にこの結果に基づき, 3値論理における論理的帰結関係を古典論理に帰着させて計算する方法(導出原理による質問応答アルゴリズム)を提案する.
- 2005-05-01
著者
関連論文
- 成果物・タスク・課題の依存関係に基づくソフトウェア開発プロジェクトのモデル化(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 矛盾した知識集合からの3値論理による推論(人工知能, 認知科学)
- D-8-18 スケールフリーネットワーク上におけるエージェント間の相互作用(D-8.人工知能と知識処理,一般講演)
- ScoreIlluminator : スコアリーディング支援のためのオーケストラスコアの自動色付け(演奏者支援)
- M-047 ネットワークによる人を介した情報推薦(ユビキタス・モバイルコンピューティング,一般論文)
- E-069 語の関連性に基づく内容語選択と文生成パターンの置換を用いた発話文生成(自然言語・音声・音楽,一般論文)
- H-046 ロゴタイプのような変形文字に対応した文字領域特徴抽出(H分野:画像認識・メディア理解)
- F-027 所在地に着目した観光地情報検索支援システム(F分野:人工知能・ゲーム)
- F-003 PS-GTRを用いたマルチエージェント強化学習システムにおけるロバスト性(F分野:人工知能・ゲーム)
- E-066 相手の感情を考慮した対話システム(E分野:自然言語・音声・音楽)
- E-032 テキスト構造に着目した学術論文の要旨自動生成のための重要文抽出(E分野:自然言語・音声・音楽)
- E-024 オクターブ関係の推定と階層構造に着目したパート形成(E分野:自然言語・音声・音楽)
- E-015 係り受け関係を用いた共起語による適合フィードバック(E分野:自然言語・音声・音楽)
- E-004 箇条書き表現に着目した質問応答システム(E分野:自然言語・音声・音楽)
- D-12-119 簡易人体モデルとオプティカルフローによる撮影位置に依らない行動認識(D-12.パターン認識・メディア理解,一般講演)
- D-12-35 Support Vector Machinesを用いた楽曲推薦システム(D-12.パターン認識・メディア理解,一般講演)
- D-8-12 強化学習における副報酬の役割(D-8.人工知能と知識処理,一般講演)
- D-5-14 共起パターンに基づく小説内登場人物の相関図作成(D-5.言語理解とコミュニケーション,一般講演)
- D-5-13 行動表現の連鎖に基づく方法説明領域の抽出(D-5.言語理解とコミュニケーション,一般講演)
- 知識の関係構造を用いた新しい概念の生成
- F_040 Modular Profit Sharingによるマルチエージェント強化学習(F分野:人工知能・ゲーム)
- E_023 セグメントレベルを考慮した話し言葉のセグメンテーション(E分野:自然言語)
- E_012 応答文生成に向けた内容語選択における精度向上(E分野:自然言語)
- LF_004 知識の関係構造を用いた新しい関数の生成(F分野:人工知能・ゲーム)
- D-5-4 映画の内容に基づくタイトル検索(D-5.言語理解とコミュニケーション,一般セッション)
- D-14-6 波形編集型音声合成法における調音結合部での素片接続に関する一検討(D-14.音声,一般セッション)
- ScoreIlluminator:スコア色付けによるオーケストラスコアリーディング支援システム
- F-009 機能の利用関係によるディジタル生命モデルの構築(人工知能・ゲーム,一般論文)
- LF_003 木構造表現を用いたディジタル生命モデルの構築(F分野:人工知能・ゲーム)
- D-8-18 木構造表現を用いた人工生命(D-8. 人工知能と知識処理)
- 実時間MRI計測システムの開発とインタラクティブ実験への適用
- 脳画像データのボクセル間情報量解析システムMvIA : 脳機能解析ツールを目指して
- L-022 スレッドフロート型掲示板における情報取得支援(ネットワーク・セキュリティ,一般論文)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- RF-003 概念生成による創造的飛躍と創造的問題解決(人工知能・ゲーム,査読付き論文)
- D-8-17 関係構造を用いた述語の生成(D-8. 人工知能と知識処理)
- D-7-4 E-CELL2のためのハイブリッドペトリネット形式GUI(D-7. MEとバイオサイバネティックスA)
- E-058 評判情報の素性による信頼性の推定(自然言語・音声・音楽,一般論文)
- E-067 自由対話のための語の関連性に基づく応答文生成(E分野:自然言語・音声・音楽)
- 話し言葉における出現位置情報を用いたキーワード抽出(抽出(1))
- 話し言葉における出現位置情報を用いたキーワード抽出(抽出(1))
- F-012 ネットワーク知識表現に基づく応答文生成(F.人工知能)
- M-033 強化学習を利用した信号制御(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- 4S-8 How-to型質問応答システムにおける回答の選択手法(対話・質問応答,学生セッション,人工知能と認知科学)
- 2)視知覚のメッセージ転送モデル(視覚情報研究会(第80回))
- 当て推量を用いた故障診断
- 当て推量の説明生成問題への適用
- 当て推量を用いた制約推定法
- D-12-93 エッジ部における奥行き推定のための三次元エッジトラッキング法の一検討(D-12.パターン認識・メディア理解,一般セッション)
- D-14-1 音声の静的・動的特徴に着目したSUSサブワードの提案(D-14.音声,一般セッション)
- D-5-11 読み上げのための小説への感情タグ付け(D-5.言語理解とコミュニケーション,一般セッション)
- D-5-10 動詞に着目した算数問題解決システムの頑健性の向上(D-5.言語理解とコミュニケーション,一般セッション)
- D-5-9 時系列情報に着目した複数のL^AT_EX文書の自動要約(D-5.言語理解とコミュニケーション,一般セッション)
- A-4-26 窓がけ信号に対する短時間スペクトルからの長時間スペクトルの合成法(A-4.信号処理,一般セッション)
- D-5-4 述語を手掛かりとした名詞の訳語選択(D-5. 言語理解とコミュニケーション)
- D-8-20 副報酬の強化学習への影響(D-8. 人工知能と知識処理, 情報・システム1)
- F-036 マクロオペレータを用いた強化学習結果の他環境への適用(F.人工知能)
- F-035 マルチエージェント強化学習における行動選択手法(F.人工知能)
- F-014 無意識的引き込み模倣により母音を獲得する模倣学習モデル(F分野:人工知能・ゲーム,一般論文)
- J-014 重心に着目した静止姿勢の推定(ヒューマンコミュニケーション&インタラクション,一般論文)
- D-12-125 模擬育種法によるVRML画像作成支援システム(D-12. パターン認識・メディア理解, 情報・システム2)
- 仮説を含む知識の説明に基づく閉包
- 説明に基づく閉世界仮説
- タブロー法に基づく文脈推論のための決定手続き
- タブロー法に基づく文脈推論のための決定手続き
- 候補間の表層的差異に着目した地名の所属国推定
- ラティスベース多重継承ネットワークにおける推論
- RF-001 親から子への語りかけによる言語の学習モデル(F分野:人工知能・ゲーム,査読付き論文)
- H-026 色分布のクラスタリングによる所持物の検知(画像認識・メディア理解,一般論文)
- F-015 振動子を利用した群知能モデル(人工知能・ゲーム,一般論文)
- ベイジアンネットワークにおけるBeliefの$\pi-\lambda$表現可能性について (情報科学としての函数解析とその周辺)
- D-5-3 ランク情報のフィードバックによる文書検索支援システム(D-5. 言語理解とコミュニケーション, 情報・システム1)
- 矛盾した知識集合からの推論(人工知能,認知科学)
- D-12-19 粗密探索を用いたパターンマッチングによる部分画像抽出(D-12.パターン認識・メディア理解A)
- D-5-9 対話によるエージェント誘導システム(D-5. 言語理解とコミュニケーション)
- D-8-18 重み付き論理式で表現された知識の比較統合
- 情報量、共分散を用いたfMRI画像のブロック解析と構造解析
- メンタルマッピングにおけるfMRI解析と、その実験システムの開発
- 写真と絵の再認の脳内表現 : fMRI解析
- 多変量情報量によるfMRIデータの脳活動マッピング画像化と構造解析
- 相互情報量、媒介作用を使ったfMRIデータの脳活動マッピング画像化と構造解析
- 矛盾した知識からの推論
- ラティス構造内の領域探索法と制約充足問題への応用
- ベイジアンネットワークにおけるBeliefのπ-λ表現可能性について
- 1S-4 宿泊施設レビューにおける評判の要約と評価基準の重要度を用いたランキング(情報検索・評価分析,学生セッション,人工知能と認知科学)
- 著者判別に有効な特徴量の推定
- 6X-7 オントロジーを用いた学術論文における引用情報の表現(音声・言語処理,学生セッション,人工知能と認知科学)
- 5W-5 形状特徴と動作方向のクラスタリングに基づく行動の種類獲得(人物・行動の認識,学生セッション,人工知能と認知科学)
- 3W-3 複数フレームを用いた手ぶれ画像復元の最適画像抽出(動画像・メディア理解,学生セッション,人工知能と認知科学)
- D-8-12 作業目標を共有したマルチエージェント環境における信念の推定
- D-8-18 命題のベクトル表現に基づく類推問題解決モデル
- D-8-16 ニューラルネットワークによる自然言語の知識表現
- 準正規デフォルト体系における質問応答
- D-12-18 発話情報と聴覚情報により母音を獲得する音声模倣モデル(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- D-12-54 単眼カメラを用いた指領域の変化によるアクション検出(D-12.パターン認識・メディア理解B(コンピュータビジョンとコンピュータグラフィックス),一般セッション)
- D-8-11 ネットオークションにおけるユーザー間の関係に着目した評判システム(D-8.人工知能と知識処理,一般セッション)
- 選好的仮説集合をもつ知識べースにおける推論
- 後ろ向き連鎖による発想的推論
- E-025 発言分類に基づく自由対話システム(生成・対話・知識獲得,E分野:自然言語・音声・音楽)