アブダクションによる極小限定プリファレンスの発見

スポンサーリンク

概要

• 論文の詳細を見る
• 芝浦工業大学の論文

著者

• 佐藤 健

  国立情報学研究所

• 佐藤 健

  国立情報学研究所:総合研究大学院大学

• 若木 利子

  芝浦工業大学システム工学部

• 若木 利子

  芝浦工業大学

関連論文

• マルチエージェントシステムにおける論理プログラミング(論理に基づく推論研究の動向)
• セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
• 画像のグルーピングとグループ間類似度に基づく主観的類似検索(:ビジュアルデータベース)
• マルチエージェントシステムにおける論理プログラミング
• 論理に基づく人工知能の法学への応用
• 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)
• 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• ラフ集合理論援用によるWebページのテキスト分類
• 変分ベイズ法を用いたモデル構造探索に基づく抽象的単語の学習(人工知能,認知科学)
• 設計議事録に対する主題遷移解析に基づく動的文脈生成機構
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマ関連セッション1)
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習
• HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
• グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマセッション(1),CVのためのパターン認識・学習理論の新展開)
• 語の吸引力に基づく主題遷移解析と視覚化(情報可視化,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
• 文書における語の共起依存性に基づく主題の視覚化 (テーマ:特集 「感性とインタラクション」および一般)
• 1W-8 論証ダイアグラムの分析と議論計算を統合したJ Araucariaツールの開発(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 2Z-3 解集合プログラミングによるアブダクションを用いた発想的議論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 2Z-1 多値論理EALPの知識表現による一貫性制約を用いた議論の意味論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
• 論理コンピューティング(知能コンピューティングとその周辺〔第10回〕)
• (3)推論, プランニング(会議報告)
• 会議報告 IJCAI-01
• 論理プログラムの解集合意味論に関する証明系(「定理証明, 推論関係の新技術」)
• 共起依存度を用いた語彙連鎖に基づく連想的情報断片探索手法 (人工知能基礎論研究会(第53回)特集「シナリオ創発の科学へ向けて」および一般演題) -- (セッション(2)知識発見と情報視覚化)
• 第13回欧州人工知能会議報告
• 生成と検査の論理プログラムの統合による極小限定・定理証明器の構築
• 生成と検査の論理プログラムの統合による優先順位付き極小限定・定理証明器の構築
• 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)
• 暗黙知・形式知を用いたeラーニング用Web検索エンジン
• ラフ集合理論援用によるWebページの自動分類とその評価
• ラフ集合理論援用によるWebページのテキスト分類 (特集:「ネットワークが創発する知能」および一般)
• セマンティック Web 推論と議論エージェント推論の統合
• セマンティックWeb推論と議論エージェント推論の統合
• UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
• 人工知能への論理的アプローチにおける学習(機械学習,それが人に及ばざる理由)
• 双対化を用いた新しい極大頻出アイテム集合の計算(「21世紀の知識情報科学に向けて」,及び一般)
• エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
• DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
• アブダクションによる極小限定プリファレンスの発見
• 特集「定理証明, 推論関係の新技術」にあたって
• 2V-5 発想的議論を用いた譲歩と妥協の形式化に基づくエージェント間交渉(マルチエージェント(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• Computing argumentation semantics in answer set programming (「スキルサイエンス」「論理プログラミング」及び一般)
• 極小限定モデル生成系(さまざまな分野の形式的検証最前線」及び一般)
• 2Z-2 価値に基づく議論の解集合プログラミングによる計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
• 事例の相対距離による類似度学習とその検索誤り率について
• タブローに基づく論理的帰結発見手続きSOL
• Ripple Down Rules法における近傍事例の積極的活用に関する検討
• 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算
• 不完全通信環境下におけるアブダクションによる投機的計算 (テーマ:「インターネットとAI」及び一般)
• 画像特徴量空間から類似性空間への写像を利用した類似画像検索
• 2R-6 議論に基づく交渉システムの実装(マルチエージェント(2),学生セッション,人工知能と認知科学)
• 1R-4 議論に基づく推薦システムの構築 : Google検索エンジンのユーザーインターフェースへの応用(マルチエージェント(1),学生セッション,人工知能と認知科学)
• 動的プリファレンスを扱う議論エージェントシステムの構築(「Webインテリジェンス」及び一般)
• 4V-6 動的プリファレンスを扱う議論エージェントシステムの構築(マルチエージェント(2),学生セッション,人工知能と認知科学)
• 4V-5 不完全論証の完全論証の補強による協調的議論エージェントシステムの実現(マルチエージェント(2),学生セッション,人工知能と認知科学)
• 3V-9 解集合プログラミングによる議論の意味論の計算(マルチエージェント(1),学生セッション,人工知能と認知科学)
• 2U-5 オントロジーマッピングによるLOMとCRM間のメタデータ変換(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
• 3S-1 Araucariaツールの形式論証から拡張論理プログラムの自動生成(XMLと応用,学生セッション,データベースとメディア)
• 潜在的問題分析支援システムの教育への一応用
• D-8-2 日本語対応議論分析ツールJAraucariaとEALP上の議論計算エンジンの統合(D-8.人工知能と知識処理,一般セッション)
• 記号処理の現在-論理による知識表現と推論
• 全域仮説論理プログラミングに基づくプラン修正メカニズムについて (テーマ:特集「宇宙とAI」および一般)
• 整数計画法を用いた優先順位付き極小限定の極小モデルの計算
• 確率一般化LR構文解析器生成系の実現とゲノム解析への応用
• D-5-7 確率一般化LR構文解析器生成系の実現とゲノムへの応用検討
• D-5-11 暗黙知・形式知によるe-learning用Webページ検索エンジン(D-5.言語理解とコミュニケーション,一般講演)
• 極小変更論理仕様のデフォルト論理による計算手法について (論理と学習)
• 第5回環太平洋人工知能国際会議(PRICAI '98)報告
• CBRによる概念学習の単調関数を用いた解析
• 事例ベース推論における動的類似性の仮説論理プログラミングによる実現
• isAI 2011報告
• 動的プリファレンスを扱う議論エージェントシステムの構築

もっと見る 閉じる

スポンサーリンク