タブロー法に基づく文脈推論のための決定手続き
スポンサーリンク
概要
- 論文の詳細を見る
McCarthyは「文脈cで命題Pが真である」という言明をist (c, P) という様相で表現し, 文脈推論 (contextual reasoning) の形式化を提案した. 本論文では, 命題論理を対象にした文脈推論の形式化についてその意味論を検討し, 文脈推論システムにおける質疑応答のための決定手続きとしてprefix付タブロー証明を検討した. そして, 文脈推論において重要な役割を果たすliftingスキーマがprefix付タブロー証明の中に無理なく組み込めることをいくつかの例によって示した.
- 社団法人電子情報通信学会の論文
- 1998-01-22
著者
関連論文
- 成果物・タスク・課題の依存関係に基づくソフトウェア開発プロジェクトのモデル化(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 矛盾した知識集合からの3値論理による推論(人工知能, 認知科学)
- D-8-18 スケールフリーネットワーク上におけるエージェント間の相互作用(D-8.人工知能と知識処理,一般講演)
- 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分野:人工知能・ゲーム)
- 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-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分野:自然言語・音声・音楽)
- F-018 構図情報による類似画像検索のための特徴量抽出(情報推薦,F分野:人工知能・ゲーム)
- F-042 複数の目標を持つタスクに対する適格度トレースを用いた強化学習(学習とゲーム,F分野:人工知能・ゲーム)
- F-006 範囲付き真理値と信頼度の概念を用いた議論フレームワーク(知識処理,F分野:人工知能・ゲーム)
- D-14-3 Teager Energy Operatorを用いたストレス状態下での話者照合(D-14.音声)