RatioLog - Rational Extensions of Logical Reasoning

RatioLog - 逻辑推理的理性扩展

基本信息

  • 批准号:
    235563983
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Research Grants
  • 财政年份:
    2013
  • 资助国家:
    德国
  • 起止时间:
    2012-12-31 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

Human reasoning does not strictly follow the rules of classical logic. Explanations for this may be incomplete knowledge, incorrect beliefs, or inconsistent norms. From the very begin- ning of artificial intelligence (AI) research, there has been a strong emphasis on incorporating mechanisms for rationality into AI reasoning systems. Rationality cannot be restricted to cog- nitive tasks solely, but involves complex behavior and interaction with other subjects and the (physical and spatial) environment.This project aims at establishing a joint model for reasoning and behavior. For this, we will combine logical reasoning with the modeling of continuous systems by building on previous works on non-monotonic calculi, qualitative spatial representation, and hybrid automata. We will extend classical logical reasoning by various forms of non-monotonic aspects, e.g. abduc- tion or defeasible argumentation. This will not be done on a theoretical level only, but these ex- tensions will be incorporated into the existing reasoning system E-KRHyper. The open domain question answering (QA) system LogAnswer that uses E-KRHyper and the free encyclopedia Wikipedia for answering natural language questions will be turned into a system for rational question answering, which offers an excellent testbed for evaluating rational reasoning.
人类的推理并不严格遵循经典逻辑的规则。对此的解释可能是不完整的知识,不正确的信念或不一致的规范。从人工智能(AI)研究的开始起,就一直强调将理性机制纳入AI推理系统。理性不能仅仅局限于认知任务,而是涉及复杂的行为以及与其他主体和(物理和空间)环境的相互作用。本项目旨在建立推理和行为的联合模型。为此,我们将结合联合收割机逻辑推理与连续系统的建模,建立在以前的工作,非单调演算,定性空间表示,和混合自动机。我们将通过各种形式的非单调方面来扩展经典逻辑推理,例如abduc- tion或可废止论证。这将不会只在理论层面上完成,但这些扩展将被纳入现有的推理系统E-KRHyper。使用E-KRHyper和自由百科全书Wikipedia回答自然语言问题的开放域问答系统LogAnswer将变成一个理性问答系统,为评估理性推理提供了一个很好的测试平台。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
The RatioLog Project: Rational Extensions of Logical Reasoning
RatioLog 项目:逻辑推理的理性扩展
  • DOI:
    10.1007/s13218-015-0377-9
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ulrich Furbach;Claudia Schon;Frieder Stolzenburg;Karl-Heinz Weis;Claus-Peter Wirth
  • 通讯作者:
    Claus-Peter Wirth
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Ulrich Furbach其他文献

Professor Dr. Ulrich Furbach的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Ulrich Furbach', 18)}}的其他基金

CORG - Cognitive Reasoning
CORG-- 认知推理
  • 批准号:
    388853480
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Logische Antwortfindung über semantisch strukturierten Wissensbasen
通过语义结构化知识库寻找逻辑答案
  • 批准号:
    48820592
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Model Based Deduction in Predicate Logic for Applications
谓词逻辑中基于模型的演绎应用
  • 批准号:
    5395937
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Deductive design, analysis and verification of multi-agent systems for RoboCup
RoboCup多智能体系统的演绎设计、分析与验证
  • 批准号:
    5318952
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Hybrid spatial deduction in dynamic environments with application to cooperating agents in the RoboCup
动态环境中的混合空间推导及其在 RoboCup 中合作代理的应用
  • 批准号:
    5227136
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似国自然基金

基于Rational Krylov法和小波域稀疏约束的时间域海洋电磁三维正反演研究
  • 批准号:
    41804098
  • 批准年份:
    2018
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
基于Rational-Tensor(RTCam)摄像机模型的序列图像间几何框架研究
  • 批准号:
    61072105
  • 批准年份:
    2010
  • 资助金额:
    29.0 万元
  • 项目类别:
    面上项目

相似海外基金

Advances in rational operations in free analysis
自由分析中理性运算的进展
  • 批准号:
    2348720
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CAREER: Rational Design of Dual-Functional Photocatalysts for Synthetic Reactions: Controlling Photosensitization and Reaction with a Single Nanocrystal
职业:用于合成反应的双功能光催化剂的合理设计:用单个纳米晶体控制光敏化和反应
  • 批准号:
    2339866
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Rational design of rapidly translatable, highly antigenic and novel recombinant immunogens to address deficiencies of current snakebite treatments
合理设计可快速翻译、高抗原性和新型重组免疫原,以解决当前蛇咬伤治疗的缺陷
  • 批准号:
    MR/S03398X/2
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Fellowship
Designing Rational Combinations to Improve CAR T Cell Therapy for Prostate Cancer
设计合理的组合以改善前列腺癌的 CAR T 细胞疗法
  • 批准号:
    10752046
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
Computability and the absolute Galois group of the rational numbers
可计算性和有理数的绝对伽罗瓦群
  • 批准号:
    2348891
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Rational GAGA and Applications to Field Invariants
Rational GAGA 及其在场不变量中的应用
  • 批准号:
    2402367
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
REVOLUPHON - Rational Evolutionary Phonology
REVOLUPHON - 理性进化音韵学
  • 批准号:
    EP/Y02429X/1
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Research Grant
CAREER: The Rational Programmer, An Investigative Method for Programming Language Pragmatics
职业:理性程序员,编程语言语用学的一种研究方法
  • 批准号:
    2237984
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Collaborative Research: DMREF: Rational design of redox-responsive materials for critical element separations
合作研究:DMREF:用于关键元素分离的氧化还原响应材料的合理设计
  • 批准号:
    2323989
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: Ideas Lab: Rational Design of Noncoding RNA for Epigenetic Signal Amplification
合作研究:创意实验室:用于表观遗传信号放大的非编码 RNA 的合理设计
  • 批准号:
    2243665
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了