NSF-BSF: RI: Small: Learning to plan safely

NSF-BSF:RI:小型:学习安全计划

基本信息

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

项目摘要

Robots and autonomous vehicles, in order to achieve the goals they are given, create plans that specify what actions to take. A major impediment to this kind of automated planning is that it requires a description of the environment in which the robot or autonomous vehicle operates, of sufficient fidelity to accurately predict the outcome of those actions. Such accurate descriptions of an environment are difficult to write by hand, and so machine learning techniques have been proposed to automatically construct such descriptions from observations of the environment. These methods to-date have generally not provided any guarantees for the accuracy of the learned description. This leaves open the possibility that the actions of the robot or autonomous vehicle could have unintended consequences. In particular, its actions could violate portions of the specified objectives that were intended to ensure its operation is safe. This project will develop methods for learning descriptions of environments that enable the automated planning methods to guarantee that the resulting plan meets the specified objectives. The project investigates how a planning agent can improve its model of the world by using examples of plan executions to learn the effects of actions and when those actions should be taken. The goal is for the agent to either guarantee that its operation is safe or to detect that the requested operation is impossible to guarantee. The research team will develop algorithms that use the provided observations to build a partial, approximate model of the environment and a meta-model that enables control of the safety and effectiveness of plans produced using the models. The team will then develop automated planning algorithms that use these learned models to produce plans with the desired guarantees. The project combines model-based and data-driven methods to generate "safe" plans. When safe plans cannot be guaranteed, the project aims to quantify the probability that a generated plan is "approximately safe" using concepts from probably approximately correct (PAC) learning theory. The project will establish when it is possible to guarantee that plans will succeed, and will furthermore determine the effect of tolerating a small probability of failure in formulating plans for a broader range of circumstances. This research is expected to increase range of domains in which automated planning can be applied, including more situations in which world models are difficult to obtain and safety is a requirement.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
机器人和自动驾驶车辆,为了实现它们被赋予的目标,会制定计划,指定要采取的行动。这种自动规划的一个主要障碍是,它需要对机器人或自动驾驶车辆运行的环境进行描述,并具有足够的保真度,以准确预测这些行动的结果。这种对环境的准确描述很难用手写出来,因此已经提出了机器学习技术来根据对环境的观察自动构建这样的描述。到目前为止,这些方法通常没有为学习到的描述的准确性提供任何保证。这使得机器人或自动驾驶车辆的行为可能会产生意想不到的后果。特别是,它的行动可能违反旨在确保其安全运营的特定目标的部分内容。该项目将开发学习环境描述的方法,使自动化规划方法能够保证所产生的计划满足规定的目标。该项目调查规划代理人如何通过使用计划执行的例子来改进其世界模型,以了解行动的效果以及何时应该采取这些行动。代理的目标是保证其操作是安全的,或者检测到所请求的操作是不可能保证的。研究小组将开发算法,利用提供的观测数据建立环境的部分近似模型,以及能够控制使用模型生成的计划的安全性和有效性的元模型。然后,该团队将开发自动计划算法,使用这些学习的模型来生成具有所需保证的计划。该项目将基于模型的方法和数据驱动的方法相结合,以生成“安全”的计划。当不能保证安全计划时,该项目的目标是使用可能近似正确(PAC)学习理论中的概念来量化生成的计划“近似安全”的概率。该项目将确定何时有可能保证计划成功,并将进一步确定在为更广泛的情况制定计划时容忍小的失败可能性的效果。这项研究预计将增加自动化规划可以应用的领域,包括更多难以获得世界模型和要求安全的情况。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(13)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
List Learning with Attribute Noise
使用属性噪声进行列表学习
Learning Probably Approximately Complete and Safe Action Models for Stochastic Worlds
  • DOI:
    10.1609/aaai.v36i9.21215
  • 发表时间:
    2022-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Brendan Juba;Roni Stern
  • 通讯作者:
    Brendan Juba;Roni Stern
Probabilistic Generating Circuits
  • DOI:
  • 发表时间:
    2021-02
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Honghua Zhang;Brendan Juba;Guy Van den Broeck
  • 通讯作者:
    Honghua Zhang;Brendan Juba;Guy Van den Broeck
Popularizing Fairness: Group Fairness and Individual Welfare
  • DOI:
    10.1609/aaai.v37i6.25910
  • 发表时间:
    2023-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Andrew Estornell;Sanmay Das;Brendan Juba;Yevgeniy Vorobeychik
  • 通讯作者:
    Andrew Estornell;Sanmay Das;Brendan Juba;Yevgeniy Vorobeychik
Learning Safe Numeric Action Models
  • DOI:
    10.1609/aaai.v37i10.26424
  • 发表时间:
    2023-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Argaman Mordoch;Brendan Juba;Roni Stern
  • 通讯作者:
    Argaman Mordoch;Brendan Juba;Roni Stern
{{ 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 }}

Brendan Juba其他文献

The (Un)Scalability of Informed Heuristic Function Estimation in NP-Hard Search Problems
NP 难搜索问题中知情启发式函数估计的(非)可扩展性
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Sumedh Pendurkar;Taoan Huang;Brendan Juba;Jiapeng Zhang;Sven Koenig;Guni Sharon
  • 通讯作者:
    Guni Sharon
An Approximate Skolem Function Counter
近似 Skolem 函数计数器
Learning Abduction Using Partial Observability
使用部分可观察性学习溯因
Efficient, Safe, and Probably Approximately Complete Learning of Action Models
高效、安全且可能近似完整的行动模型学习
  • DOI:
    10.24963/ijcai.2017/615
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Roni Stern;Brendan Juba
  • 通讯作者:
    Brendan Juba
Restricted Distribution Automatizability in PAC-Semantics
PAC-语义中的受限分布自动化

Brendan Juba的其他文献

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

{{ truncateString('Brendan Juba', 18)}}的其他基金

CAREER: Relational generalization in integrated learning and reasoning
职业:综合学习和推理中的关系泛化
  • 批准号:
    1942336
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
AF: Small: Integrated Knowledge Discovery and Analysis Using Sum-of-Squares Proofs
AF:小:使用平方和证明进行综合知识发现和分析
  • 批准号:
    1718380
  • 财政年份:
    2017
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant

相似国自然基金

枯草芽孢杆菌BSF01降解高效氯氰菊酯的种内群体感应机制研究
  • 批准号:
    31871988
  • 批准年份:
    2018
  • 资助金额:
    59.0 万元
  • 项目类别:
    面上项目
基于掺硼直拉单晶硅片的Al-BSF和PERC太阳电池光衰及其抑制的基础研究
  • 批准号:
    61774171
  • 批准年份:
    2017
  • 资助金额:
    63.0 万元
  • 项目类别:
    面上项目
B细胞刺激因子-2(BSF-2)与自身免疫病的关系
  • 批准号:
    38870708
  • 批准年份:
    1988
  • 资助金额:
    3.0 万元
  • 项目类别:
    面上项目

相似海外基金

NSF-BSF: RI: Small: Mechanisms and Algorithms for Improving Peer Selection
NSF-BSF:RI:小型:改进同行选择的机制和算法
  • 批准号:
    2134857
  • 财政年份:
    2022
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: RI: Small: Efficient Bi- and Multi-Objective Search Algorithms
NSF-BSF:RI:小型:高效的双目标和多目标搜索算法
  • 批准号:
    2121028
  • 财政年份:
    2021
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: Collaborative Research: RI: Small: Multilingual Language Generation via Understanding of Code Switching
NSF-BSF:协作研究:RI:小型:通过理解代码切换生成多语言
  • 批准号:
    2203097
  • 财政年份:
    2021
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: RI: Small: Efficient Transformers via Formal and Empirical Analysis
NSF-BSF:RI:小型:通过形式和经验分析的高效变压器
  • 批准号:
    2113530
  • 财政年份:
    2021
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: RI: Small: Planning and Acting While Time Passes
NSF-BSF:RI:小型:随着时间的推移进行规划和行动
  • 批准号:
    2008594
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: RI: Small: Resource-Constrained Multi-hypothesis-aware Perception
NSF-BSF:RI:小型:资源受限的多假设感知感知
  • 批准号:
    2008279
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: Collaborative Research: RI: Small: Multilingual Language Generation via Understanding of Code Switching
NSF-BSF:协作研究:RI:小型:通过理解代码切换生成多语言
  • 批准号:
    2007656
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: RI: Small: Structured Distributions in Deep Nets
NSF-BSF:RI:小型:深度网络中的结构化分布
  • 批准号:
    2008387
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Continuing Grant
NSF-BSF: RI: Small: Provably High-Quality Robot Inspection Planning - Theory and Application
NSF-BSF:RI:小型:可证明的高质量机器人检测规划 - 理论与应用
  • 批准号:
    2008475
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
NSF-BSF: Collaborative Research: RI: Small: Multilingual Language Generation via Understanding of Code Switching
NSF-BSF:协作研究:RI:小型:通过理解代码切换生成多语言
  • 批准号:
    2007960
  • 财政年份:
    2020
  • 资助金额:
    $ 41.99万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了