Integrating Intuitionistic Confidence and Graphical Models for a Research Support System

• Project/Area Number: 22650027
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Single-year Grants
• Research Field: Intelligent informatics
• Research Institution: Kyoto University
• Principal Investigator: YAMAMOTO Akihiro 京都大学, 大学院・情報学研究科, 教授 (30230535)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥3,340,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥540,000); Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2010: ¥1,000,000 (Direct Cost: ¥1,000,000)
• Keywords: 不確実推論 / 主観信頼性 / グラフィカル・モデル / 数理論理 / 実体-関連モデル / 貴重資料画像

Research Abstract

We challenged to develop a theory by combining numerical values with which representing uncertainty of propositions and graphical representation of inference in mathematical logic. Our goal is to use it in research areas where we cannot use statistical theories. Also in order to our theory more practical, we developed some methods for efficient logical inference, extraction of logical relations from texts in natural languages, and information retrieval from document images.

Research Products

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