Integrating Intuitionistic Confidence and Graphical Models for a Research Support System

将直觉置信度和图形模型集成到研究支持系统中

• 批准号: 22650027
• 负责人: YAMAMOTO Akihiro
• 金额: $ 2.14万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22650027/
• 关键词: 不確実推論; 主観信頼性; グラフィカル・モデル; 数理論理; 実体-関連モデル; 貴重資料画像

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.

我们提出了一个挑战，即通过将代表命题不确定性的数值和数理逻辑中推理的图形表示相结合来发展一个理论。我们的目标是将其用于我们无法使用统计理论的研究领域。为了使我们的理论更加实用，我们开发了一些有效的逻辑推理方法，从自然语言文本中提取逻辑关系，以及从文档图像中检索信息。

项目成果

Integrating Probabilistic Reasoning and Logic for Expressing Human Inference with Uncertainty

整合概率推理和逻辑来表达人类的不确定性推理

• 发表时间: 2010
• 作者: Masaaki Nishino;Madori Ikeda;Akihiro Yamamoto
• 通讯作者: Akihiro Yamamoto

Semantics of a graphical model for representing hypotheses and a system supporting management of hypotheses

用于表示假设的图形模型的语义和支持假设管理的系统

• 发表时间: 2010
• 期刊: Proceedings of the Fifth International Conference on Knowledge, Information and Creativity Support Systems, KICSS2010
• 作者: Ikeda;M.;Nishino;M.;Doi;K.;Yamamoto;A.;Hayashi;S.
• 通讯作者: S.

整数計画ソルバーを用いた帰納論理プログラミング

使用整数规划求解器的归纳逻辑编程

• 发表时间: 2013
• 作者: 近藤 誠一;山本章博
• 通讯作者: 山本章博

節論理における推論の明示を目指したグラフィカルモデル

旨在澄清子句逻辑推论的图形模型

• 发表时间: 2011
• 作者: 橋谷 祐司;山本 章博
• 通讯作者: 山本 章博