Advanced Approximation Methods and Specification Schemes for Automated Reasoning

自动推理的高级逼近方法和规范方案

• 批准号: 0086529
• 负责人: Rina Dechter
• 金额: $ 41.54万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-15 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0086529&HistoricalAwards=false
• 关键词: Advanced; Approximation; Methods; Specification; Schemes

This project will explore three avenues in reasoning and knowledge representation: development of new approximation methods that incorporate user-adaptive and any-time features; development of hybrid knowledge-bases that combine deterministic information (constraints) and probabilistic information (belief networks), and which are both semantically coherent and computationally effective; and application of hybrid languages and algorithms to temporal reasoning problems in the domains of planning, scheduling, and diagnosis. The outcome of this research will include a system of algorithmic tools which address issues of non-tractability in an innovative and practical manner, and which are applicable to a new knowledge-based framework that allows the expression of both causal and constraint-like information, thus facilitating tasks such as planning, diagnosis and design. Parameterization will allow users to control the algorithms and adjust them to their own domains and resources. The computational tools will support the solution of challenging problems at the frontiers of diverse areas of science and industry such as robotics, planning and scheduling, bioinformatics (linkage analysis and protein secondary structure prediction), and e-commerce (multi-agent combinatorial auctions).

该项目将探索推理和知识表示方面的三种途径：开发新的近似方法，这些方法结合了用户自适应和任何时间功能； 开发结合确定性信息（约束）和概率信息（信仰网络）的混合知识基础，并且在语义上都是相干且在计算上有效的； 以及将混合语言和算法应用于计划，调度和诊断领域的时间推理问题。 这项研究的结果将包括一个算法工具系统，该系统以创新和实用的方式解决了不挑剔的问题，并且适用于新的基于知识的框架，该框架可以表达因果关系和约束式信息，从而促进了诸如计划，诊断和设计等任务。 参数化将允许用户控制算法并将其调整为自己的域和资源。 计算工具将支持在科学和行业不同领域的边界解决挑战性问题的解决方案，例如机器人技术，计划和调度，生物信息学（链接分析和蛋白质二级结构预测）和电子商务（多机构组合拍卖）。