Integrating Intuitionistic Confidence and Graphical Models for a Research Support System
Integrating Intuitionistic Confidence and Graphical Models for a Research Support System
批准号:
22650027
负责人:
YAMAMOTO Akihiro
金额:
$2.14万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Challenging Exploratory Research
财政年份:
2010
资助国家:
日本
项目状态:
已结题
起止时间:
2010 至 2012
中文摘要
我们提出了一个挑战,即通过将代表命题不确定性的数值和数理逻辑中推理的图形表示相结合来发展一个理论。我们的目标是将其用于我们无法使用统计理论的研究领域。为了使我们的理论更加实用,我们开发了一些有效的逻辑推理方法,从自然语言文本中提取逻辑关系,以及从文档图像中检索信息。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Integrating Probabilistic Reasoning and Logic for Expressing Human Inference with Uncertainty
整合概率推理和逻辑来表达人类的不确定性推理
DOI:
--
发表时间:
2010
期刊:
影响因子:
--
作者:
[Masaaki Nishino, Madori Ikeda, Akihiro Yamamoto]
通讯作者:
Akihiro Yamamoto
Semantics of a graphical model for representing hypotheses and a system supporting management of hypotheses
用于表示假设的图形模型的语义和支持假设管理的系统
DOI:
--
发表时间:
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.
整数計画ソルバーを用いた帰納論理プログラミング
使用整数规划求解器的归纳逻辑编程
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
[近藤 誠一, 山本章博]
通讯作者:
山本章博
節論理における推論の明示を目指したグラフィカルモデル
旨在澄清子句逻辑推论的图形模型
DOI:
--
发表时间:
2011
期刊:
影响因子:
--
作者:
[橋谷 祐司, 山本 章博]
通讯作者:
山本 章博
Data Mining Methods Based on Closed Sets for Data Which Are Combination of Discrete and Continuous Attributes
-
批准号:22240010
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$24.04万
-
财政年份:2010
-
负责人:YAMAMOTO Akihiro
-
依托单位:
Knowledge Discovery from Structured Data with Efficient Methods of Searching Lower Sets Based on Frequency
-
批准号:19300046
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$8.32万
-
财政年份:2007
-
负责人:YAMAMOTO Akihiro
-
依托单位:
Hypothesis Finding Methods based on Proof Completion
-
批准号:12680364
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.24万
-
财政年份:2000
-
负责人:YAMAMOTO Akihiro
-
依托单位: