主観信頼性とグラフィカル・モデルの組合せによる研究支援システムの構築

2012 年度 研究成果報告書

• 研究課題/領域番号: 22650027
• 研究種目: 挑戦的萌芽研究
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 京都大学
• 研究代表者: 山本 章博 京都大学, 大学院・情報学研究科, 教授 (30230535)
• 研究期間 (年度): 2010 – 2012
• キーワード: 不確実推論 / 主観信頼性 / グラフィカル・モデル / 数理論理

研究概要

不確実性を表すための新たな着想に基づく数値と論理的推論のグラフによる表現を組合せた新たな理論の開発に挑戦した.その目標は,統計理論を適用できない研究に対して利用することである.また,この理論を応用するために,論理的推論の高速化,代数的手法によるテキストデータからの論理的関係の抽出,文書画像検索の新たな手法の提案を行った.

研究成果

• [雑誌論文] Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses (2011)
  • 著者名/発表者名: M. Ikeda, M. Nishino, K. Doi, A. Yamamotoand S. Hayashi
  • 雑誌名: Lecture Notes in Computer Science 巻: 6746 ページ: 32-43
  • DOI: DOI:10.1007/978-3-642-24788-0_4
• [学会発表] Classification by Selecting Plausible Formal Concepts in a Concept Lattice (2013)
  • 著者名/発表者名: Ikeda, M., Yamamoto, A.
  • 学会等名: Workshop on Formal Concept Analysis meets Information Retrieval (FCAIR2013)
  • 発表場所: Moscow
  • 年月日: 20130000
• [学会発表] 整数計画ソルバーを用いた帰納論理プログラミング (2013)
  • 著者名/発表者名: 近藤 誠一, 山本章博
  • 学会等名: 第89回人工知能基本問題研究会
  • 発表場所: 滝沢
  • 年月日: 20130000
• [学会発表] 節論理における導出原理に基づく確率推論 (2012)
  • 著者名/発表者名: 橋谷 祐司, 山本章博
  • 発表場所: 下呂
  • 年月日: 20120000
• [学会発表] SATソルバーを用いた帰納論理プログラミング (2012)
  • 著者名/発表者名: 近藤 誠一, 山本章博
  • 学会等名: 第85回人工知能基本問題研究会
  • 発表場所: 下呂
  • 年月日: 20120000
• [学会発表] 言明を表す論理式間への順序関係付与における形式概念解析の利用 (2011)
  • 著者名/発表者名: 池田真土里, 山本章博
  • 学会等名: 第84回人工知能基本問題研究会
  • 発表場所: 横浜
  • 年月日: 20110000
• [学会発表] 節論理における推論の明示を目指したグラフィカルモデル (2011)
  • 著者名/発表者名: 橋谷 祐司, 山本 章博
  • 学会等名: 2011年度人工知能学会全国大会(第25回)
  • 発表場所: 盛岡
  • 年月日: 20110000
• [学会発表] 質問学習とメタアルゴリズムの組合せによる文字列画像検索 (2011)
  • 著者名/発表者名: 秦亮一, 池田真土里, 杉山麿人, 山本章博
  • 学会等名: 第6回情報論的学習理論と機械学習研究会
  • 発表場所: 大阪
  • 年月日: 20110000
• [学会発表] Integrating Probabilistic Reasoning and Logic for Expressing Human Inference with Uncertainty (2010)
  • 著者名/発表者名: Masaaki Nishino, Madori Ikeda, Akihiro Yamamoto
  • 学会等名: 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010)
  • 発表場所: Tokyo
  • 年月日: 20100000
• [学会発表] Semantics of a graphical model for representing hypotheses and a system supporting management of hypotheses (2010)
  • 著者名/発表者名: Ikeda, M., Nishino, M., Doi, K., Yamamoto, A., Hayashi, S
  • 学会等名: The Fifth International Conference on Knowledge, Information and Creativity Support Systems, KICSS2010
  • 発表場所: Chiang Mai, Thai
  • 年月日: 20100000
• [備考]
  • URL: http://www.iip.ist.i.kyoto-u.ac.jp/research.html