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)}}的其他基金
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