Integrating Intuitionistic Confidence and Graphical Models for a Research Support System

2012 Fiscal Year Final Research Report

• 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
• 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: DOI:10.1007/978-3-642-24788-0_4
• [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
  • Year and Date: 20130000
• [Presentation] 整数計画ソルバーを用いた帰納論理プログラミング (2013)
  • Author(s): 近藤 誠一, 山本章博
  • Organizer: 第89回人工知能基本問題研究会
  • Place of Presentation: 滝沢
  • Year and Date: 20130000
• [Presentation] 節論理における導出原理に基づく確率推論 (2012)
  • Author(s): 橋谷 祐司, 山本章博
  • Place of Presentation: 下呂
  • Year and Date: 20120000
• [Presentation] SATソルバーを用いた帰納論理プログラミング (2012)
  • Author(s): 近藤 誠一, 山本章博
  • Organizer: 第85回人工知能基本問題研究会
  • Place of Presentation: 下呂
  • Year and Date: 20120000
• [Presentation] 言明を表す論理式間への順序関係付与における形式概念解析の利用 (2011)
  • Author(s): 池田真土里, 山本章博
  • Organizer: 第84回人工知能基本問題研究会
  • Place of Presentation: 横浜
  • Year and Date: 20110000
• [Presentation] 節論理における推論の明示を目指したグラフィカルモデル (2011)
  • Author(s): 橋谷 祐司, 山本 章博
  • Organizer: 2011年度人工知能学会全国大会(第25回)
  • Place of Presentation: 盛岡
  • Year and Date: 20110000
• [Presentation] 質問学習とメタアルゴリズムの組合せによる文字列画像検索 (2011)
  • Author(s): 秦亮一, 池田真土里, 杉山麿人, 山本章博
  • Organizer: 第6回情報論的学習理論と機械学習研究会
  • Place of Presentation: 大阪
  • Year and Date: 20110000
• [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
  • Year and Date: 20100000
• [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
  • Year and Date: 20100000
• [Remarks]
  • URL: http://www.iip.ist.i.kyoto-u.ac.jp/research.html