RI: Small: Generalized Anytime Probabilistic Inference

RI:小:广义随时概率推理

基本信息

  • 批准号:
    1118122
  • 负责人:
  • 金额:
    $ 44.94万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2011
  • 资助国家:
    美国
  • 起止时间:
    2011-10-01 至 2015-09-30
  • 项目状态:
    已结题

项目摘要

Probabilistic reasoning is now routinely used in many fields of science and engineering, where it underlies systems that perform tasks such as text classification, social network analysis, medical diagnosis, information extraction, probabilistic planning, vision and robotics. This project aims to develop an anytime and generalized probabilistic inference engine that targets a wide range of probabilistic representations, including classical, propositional representations --- such as Bayesian and Markov networks --- in addition to more expressive representations based on first order logic. The project will also investigate probabilistic queries in complexity classes that have not received much attention in the literature, yet can be used to study the robustness of inferences and decisions based on probabilistic reasoning systems. The targeted inference engine is planned to put the state of the art in exact inference at the service of approximate inference, allowing it to resign to approximations only when exact inference yields. Moreover, the engine is planned to smoothly and incrementally improve its approximations over time. A key emphasis of the project is to accomplish these objectives while using the most general probabilistic representation as an input, to allow for the widest possible adoption of the developed inference engine. Our anticipated results will impact many fields by allowing users to perform more accurate probabilistic inference, on larger models and in different contexts. Through scientific articles, research seminars, conference presentations, and graduate teaching, we expect the obtained results to be widely disseminated so as to maximize the attained benefits by various communities. Moreover, we plan to publicly release software systems that embed our results, continuing with a long tradition of publicly releasing award-winning software systems for probabilistic reasoning.
概率推理现在经常用于许多科学和工程领域,它是执行文本分类,社交网络分析,医疗诊断,信息提取,概率规划,视觉和机器人等任务的系统的基础。该项目旨在开发一个随时和广义概率推理引擎,其目标是广泛的概率表示,包括经典的命题表示-如贝叶斯和马尔可夫网络-以及基于一阶逻辑的更具表现力的表示。该项目还将研究在文献中没有得到太多关注的复杂性类中的概率查询,但可以用于研究基于概率推理系统的推理和决策的鲁棒性。目标推理引擎计划将最先进的精确推理服务于近似推理,仅当精确推理产生时才允许它辞职近似。此外,该引擎计划随着时间的推移平稳和渐进地改进其近似值。该项目的一个重点是实现这些目标,同时使用最一般的概率表示作为输入,以允许尽可能广泛地采用所开发的推理引擎。我们的预期结果将通过允许用户在更大的模型和不同的背景下执行更准确的概率推理来影响许多领域。通过科学文章,研究研讨会,会议演示和研究生教学,我们希望所获得的成果得到广泛传播,以最大限度地提高各社区的利益。此外,我们计划公开发布嵌入我们的结果的软件系统,继续公开发布屡获殊荣的概率推理软件系统的悠久传统。

项目成果

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

Adnan Darwiche其他文献

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
通过搜索编译运算电路精确求解MAP
A Symbolic Generalization of Probability Theory
概率论的符号推广
A Greedy Algorithm for Time – Space Tradeoff in Probabilistic Inference
概率推理中时空权衡的贪婪算法
  • DOI:
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0
  • 作者:
    David Allen;Adnan Darwiche;James D. Park
  • 通讯作者:
    James D. Park
Tractable Knowledge Representation Formalisms
  • DOI:
    10.1017/cbo9781139177801.006
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Adnan Darwiche
  • 通讯作者:
    Adnan Darwiche
New Advances in Compiling CNF into Decomposable Negation Normal Form
  • DOI:
  • 发表时间:
    2004-08
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Adnan Darwiche
  • 通讯作者:
    Adnan Darwiche

Adnan Darwiche的其他文献

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

{{ truncateString('Adnan Darwiche', 18)}}的其他基金

RI: Small: Reasoning About the Behavior of Artificial Intelligence Systems
RI:小:推理人工智能系统的行为
  • 批准号:
    1910317
  • 财政年份:
    2019
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Continuing Grant
RI: Medium: Sentential Decision Diagrams
RI:中:句子决策图
  • 批准号:
    1514253
  • 财政年份:
    2015
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Continuing Grant
RI: Small: Universal Automated Reasoning by Knowledge Compilation
RI:小:通过知识编译进行通用自动推理
  • 批准号:
    0916161
  • 财政年份:
    2009
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
RI: Probabilistic Reasoning with Bounded Computational Resources
RI:有限计算资源的概率推理
  • 批准号:
    0713166
  • 财政年份:
    2007
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Continuing Grant
Compiling Knowledge for Tractable and Embedded Inference
编译知识以进行易于处理和嵌入式推理
  • 批准号:
    9988543
  • 财政年份:
    2000
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Continuing Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Collaborative Research: CNS Core: Small: Fundamentals of Ultra-Dense Wireless Networks with Generalized Repulsion
合作研究:中枢神经系统核心:小型:具有广义斥力的超密集无线网络的基础
  • 批准号:
    2150486
  • 财政年份:
    2021
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
Collaborative Research: CNS Core: Small: Fundamentals of Ultra-Dense Wireless Networks with Generalized Repulsion
合作研究:中枢神经系统核心:小型:具有广义斥力的超密集无线网络的基础
  • 批准号:
    2006612
  • 财政年份:
    2020
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
FET: Small: Quantum-secure quantum-enhanced covert networks over generalized bosonic channels
FET:小型:广义玻色子通道上的量子安全量子增强型隐蔽网络
  • 批准号:
    2006679
  • 财政年份:
    2020
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
Collaborative Research: CNS Core: Small: Fundamentals of Ultra-Dense Wireless Networks with Generalized Repulsion
合作研究:中枢神经系统核心:小型:具有广义斥力的超密集无线网络的基础
  • 批准号:
    2006453
  • 财政年份:
    2020
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
CAREER: A Generalized Quantitative Imaging Approach for Small Molecules using Genetically Engineered RNA Sensors
职业:使用基因工程 RNA 传感器进行小分子的通用定量成像方法
  • 批准号:
    1846152
  • 财政年份:
    2019
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Continuing Grant
AF: Small: Group Theory and Representation Theory in Matrix Multiplication and Generalized DFTs
AF:小:矩阵乘法和广义 DFT 中的群论和表示论
  • 批准号:
    1815607
  • 财政年份:
    2018
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
III: Small: Collaborative Research: Probabilistic Models using Generalized Exponential Families
III:小:协作研究:使用广义指数族的概率模型
  • 批准号:
    1564765
  • 财政年份:
    2015
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
AF: Small: Algorithms for Matrix Multiplication, Polynomial Factorization and Generalized Fourier Transform
AF:小:矩阵乘法、多项式分解和广义傅立叶变换算法
  • 批准号:
    1423544
  • 财政年份:
    2014
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
Study on the mechanism of docking of small molecules to proteins by generalized-ensemble algorithms
广义集成算法研究小分子与蛋白质对接机制
  • 批准号:
    25247071
  • 财政年份:
    2013
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
III: Small: Collaborative Research: Probabilistic Models using Generalized Exponential Families
III:小:协作研究:使用广义指数族的概率模型
  • 批准号:
    1117705
  • 财政年份:
    2011
  • 资助金额:
    $ 44.94万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了