Computing with Default Logic

使用默认逻辑进行计算

基本信息

项目摘要

Since its introduction by Reiter in 1980 default logic has been widely studied for its potential as a knowledge representation mechanism. Recent results indicate that default logic not only can serve as a declarative knowledge representation tool but also has the potential to evolve into a practical high-level computational environment. This project develops fast systems for automated default reasoning including implementations for parallel and distributed environments. A systematic methodology of computing with default logic is also under development. Usefulness of default logic as a computational tool is demonstrated through a comprehensive experimentation with default theories describing combinatorial optimization problems. To support this experimentation effort, a tool to automatically generate large families of default theories, logic programs and propositional theories is implemented. Due to the declarative nature of default logic, this new programming tool, based on default logic, will be easy to use, will allow for fast prototyping and will be effective in a wide range of artificial intelligence applications. The testing system will become a standard benchmarking tool for automated reasoning based on default logic and related formalisms.
自 1980 年 Reiter 提出以来,默认逻辑因其作为知识表示机制的潜力而受到广泛研究。最近的结果表明,默认逻辑不仅可以作为声明性知识表示工具,而且有可能演变成实用的高级计算环境。 该项目开发用于自动默认推理的快速系统,包括并行和分布式环境的实现。采用默认逻辑的系统计算方法也正在开发中。 通过对描述组合优化问题的默认理论进行全面实验,证明了默认逻辑作为计算工具的有用性。 为了支持这项实验工作,实现了一个自动生成大量默认理论、逻辑程序和命题理论的工具。 由于默认逻辑的声明性性质,这种基于默认逻辑的新编程工具将易于使用,允许快速原型设计,并且在广泛的人工智能应用中有效。 该测试系统将成为基于默认逻辑和相关形式主义的自动推理的标准基准测试工具。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Miroslaw Truszczynski其他文献

Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains
Linear upper bounds for local Ramsey numbers
  • DOI:
    10.1007/bf01788530
  • 发表时间:
    1987-12-01
  • 期刊:
  • 影响因子:
    0.600
  • 作者:
    Miroslaw Truszczynski;Zsolt Tuza
  • 通讯作者:
    Zsolt Tuza

Miroslaw Truszczynski的其他文献

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

{{ truncateString('Miroslaw Truszczynski', 18)}}的其他基金

RI: Small: Effective Preference Reasoning over Combinatorial Domains: Principles, Problems, Algorithms, and Implementations
RI:小:组合域的有效偏好推理:原理、问题、算法和实现
  • 批准号:
    1618783
  • 财政年份:
    2016
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Standard Grant
RI: Small: Qualitative Preferences: Merging Paradigms, Extending the Language, Reasoning about Incomplete Outcomes
RI:小:定性偏好:合并范式、扩展语言、推理不完整的结果
  • 批准号:
    0913459
  • 财政年份:
    2009
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Standard Grant
Nonmonotonic Reasoning and Computational Knowledge Representation
非单调推理和计算知识表示
  • 批准号:
    0097278
  • 财政年份:
    2001
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Continuing Grant
CISE Research Infrastructure: A Laboratory for Research in High Performance Distributed Computing
CISE 研究基础设施:高性能分布式计算研究实验室
  • 批准号:
    9502645
  • 财政年份:
    1995
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Continuing Grant
Revision programs: A Tool for Programming Knowledge Base Transformations
修订程序:知识库转换编程工具
  • 批准号:
    9400568
  • 财政年份:
    1994
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Continuing Grant
CISE Research Instrumentation: A High-Performance ATM Research Network
CISE 研究仪器:高性能 ATM 研究网络
  • 批准号:
    9320179
  • 财政年份:
    1994
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Standard Grant
Nonmonotonic Logic of Commonsense Reasoning and Their Algorithmic Aspects
常识推理的非单调逻辑及其算法方面
  • 批准号:
    9012902
  • 财政年份:
    1991
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Continuing Grant

相似海外基金

Effects of exchange rate fluctuations on inflation and default risk
汇率波动对通胀和违约风险的影响
  • 批准号:
    23K01471
  • 财政年份:
    2023
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Targeting the Default Mode Network: A TMS-fMRI Study
针对默认模式网络:TMS-fMRI 研究
  • 批准号:
    10590968
  • 财政年份:
    2023
  • 资助金额:
    $ 35.04万
  • 项目类别:
IoT Armor: An IoT Secure-by-Default Educational Toolkit
IoT Armor:物联网默认安全教育工具包
  • 批准号:
    10078019
  • 财政年份:
    2023
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Collaborative R&D
IoT-Armor: An IoT Secure-by-Default Educational Toolkit
IoT-Armor:物联网默认安全教育工具包
  • 批准号:
    10100465
  • 财政年份:
    2023
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Collaborative R&D
Default mode network dysfunction in Down Syndrome
唐氏综合症的默认模式网络功能障碍
  • 批准号:
    10635582
  • 财政年份:
    2023
  • 资助金额:
    $ 35.04万
  • 项目类别:
Examining the electroencephalographic fingerprint of default mode network hyperconnectivity for scalable and personalized neurofeedback in schizophrenia
检查默认模式网络超连接的脑电图指纹,以实现精神分裂症的可扩展和个性化神经反馈
  • 批准号:
    10509002
  • 财政年份:
    2022
  • 资助金额:
    $ 35.04万
  • 项目类别:
Collaborative Research: Engaging Engineering Graduate Program Directors in Shifting the Default to Trauma-Informed Frameworks of Care
合作研究:让工程研究生项目主任将默认的护理框架转变为创伤知情的护理框架
  • 批准号:
    2147744
  • 财政年份:
    2022
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Standard Grant
Investigating electroencephalographic predictors of default mode network anticorrelation for personalized neurofeedback
研究个性化神经反馈的默认模式网络反相关的脑电图预测因子
  • 批准号:
    10447471
  • 财政年份:
    2022
  • 资助金额:
    $ 35.04万
  • 项目类别:
Collaborative Research: Engaging Engineering Graduate Program Directors in Shifting the Default to Trauma-Informed Frameworks of Care
合作研究:让工程研究生项目主任将默认的护理框架转变为创伤知情的护理框架
  • 批准号:
    2147727
  • 财政年份:
    2022
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Standard Grant
An investigation of hierarchical predictive coding accounts of the default-network
默认网络的分层预测编码帐户的研究
  • 批准号:
    546863-2020
  • 财政年份:
    2022
  • 资助金额:
    $ 35.04万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了