RUI: Implementation and Analysis of Proof Techniques Employing Negation Normal Form

RUI:采用否定范式的证明技术的实现和分析

基本信息

  • 批准号:
    9005910
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1990
  • 资助国家:
    美国
  • 起止时间:
    1990-08-01 至 1993-01-31
  • 项目状态:
    已结题

项目摘要

This investigation is based on the principal investigator's previous work on the analysis of the structure of formulas in negation normal form. A result of this work was the formulation of the path dissolution method. This project will continue exploration of this method and related inference mechanisms. The implementation of this method will be developed further to investigate the following techniques in particular: link selection; pure rule deletion; backtracking; theory links and dissolution; and star chains. Also, proof-theoretic questions will be studied, in particular, related to the following: dissolution, analytic tableaux, and the distributive law; dissolution vs. resolution; induction and quality.
本研究是基于主要研究者以前对否定范式公式结构的分析工作。这项工作的结果是制定了路径溶解方法。本计画将继续探讨此方法及相关的推论机制。这种方法的实施将进一步发展,特别是调查以下技术:链接选择;纯规则删除;回溯;理论链接和解散;和星星链。此外,证明理论的问题将进行研究,特别是有关以下内容:溶解,分析tableaux,和分配律;溶解与决议;归纳和质量。

项目成果

期刊论文数量(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 }}

Erik Rosenthal其他文献

Reduced Implicate/Implicant Tries
减少隐含/隐含尝试
  • DOI:
    10.1007/978-3-540-68123-6_23
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Neil V. Murray;Erik Rosenthal
  • 通讯作者:
    Erik Rosenthal
On the relative merits of path dissolution and the method of analytic tableaux
  • DOI:
    10.1016/0304-3975(94)90089-2
  • 发表时间:
    1994-08-29
  • 期刊:
  • 影响因子:
  • 作者:
    Neil V. Murray;Erik Rosenthal
  • 通讯作者:
    Erik Rosenthal
Prime Implicates and Reduced Implicate Tries
素数蕴含和减少蕴涵尝试
  • DOI:
    10.1007/978-3-642-04125-9_22
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0.5
  • 作者:
    Neil V. Murray;Erik Rosenthal
  • 通讯作者:
    Erik Rosenthal
Updating Reduced Implicate Tries
更新简化隐含尝试
  • DOI:
    10.1007/978-3-540-73099-6_15
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Neil V. Murray;Erik Rosenthal
  • 通讯作者:
    Erik Rosenthal
Efficient Query Processing with Compiled Knowledge Bases
通过编译的知识库进行高效的查询处理
  • DOI:
    10.1007/11554554_18
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Neil V. Murray;Erik Rosenthal
  • 通讯作者:
    Erik Rosenthal

Erik Rosenthal的其他文献

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

{{ truncateString('Erik Rosenthal', 18)}}的其他基金

III-COR: Collaborative Research: Knowledge Compilation with Fast Response
III-COR:协作研究:快速响应的知识编译
  • 批准号:
    0712752
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SGER: Path Dissolution in Propositional Logic
SGER:命题逻辑中的路径消解
  • 批准号:
    0229339
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
RUI: Applications of Classical Inference Techniques to Multiple-Valued Logics and to Prime Implicate Algorithms
RUI:经典推理技术在多值逻辑和素数蕴涵算法中的应用
  • 批准号:
    9504349
  • 财政年份:
    1995
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
RUI: Implementation and Analysis of Inference Techniques for Classical and Multiple-Valued Logics
RUI:经典和多值逻辑推理技术的实现和分析
  • 批准号:
    9202013
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Continuing grant

相似海外基金

Outcomes After Emergency Department Visits for Dyspnea: Population-Based Interrupted Time-Series Analysis of Implementation of B-Type Natriuretic Peptide Assays
因呼吸困难而急诊就诊后的结果:实施 B 型利尿钠肽测定的基于人群的间断时间序列分析
  • 批准号:
    493119
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Motion analysis of Japanese hospitality gestures and implementation in artifacts
日本待客手势的运动分析及其在文物中的实现
  • 批准号:
    23K11722
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Strengthening implementation science in Acute Respiratory Failure using multilevel analysis of existing data
利用现有数据的多级分析加强急性呼吸衰竭的实施科学
  • 批准号:
    10731311
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Implementation of an agent-based urban freight model and simulation analysis
基于Agent的城市货运模型的实现及仿真分析
  • 批准号:
    23K13421
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Mental health preventive support for adolescent non-help-seekers: An empirical analysis for social implementation
对青少年非求助者的心理健康预防支持:社会实施的实证分析
  • 批准号:
    22KJ0712
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Implementation of Eplet Mismatch Analysis in Pediatric Kidney Transplantation
Eplet 错配分析在小儿肾移植中的实施
  • 批准号:
    10739126
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Delivery of PrEP to Key Populations in Kenya: Applying Coincidence Analysis to Determine Effective Implementation Strategies
向肯尼亚重点人群提供 PrEP:应用巧合分析来确定有效的实施策略
  • 批准号:
    10700586
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
CyberTraining: Implementation: Small: Promoting AI Readiness for Machine-Assisted Secure Data Analysis (PAIR4MASDA)
网络培训:实施:小型:促进人工智能为机器辅助安全数据分析做好准备 (PAIR4MASDA)
  • 批准号:
    2320951
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Translating AI-based methods to quantify pathology in MS: Development, validation and implementation of a sustainable MRI analysis framework within a pan-Canadian network
转化基于人工智能的方法来量化多发性硬化症的病理学:在泛加拿大网络内开发、验证和实施可持续的 MRI 分析框架
  • 批准号:
    480232
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Operating Grants
A Multidisciplinary, Mixed Methods Analysis of the Implementation and Efficacy of School-Based Health Centers and Mechanisms through which SBHCs Improve Child Mental Health and Education Outcomes
对校本健康中心和 SBHC 改善儿童心理健康和教育成果的机制的实施和效果进行多学科、混合方法分析
  • 批准号:
    10636247
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了