Practical Decision-Theorectic Planning

实用决策理论规划

• 批准号: 9509165
• 负责人: Peter Haddawy
• 金额: $ 26.73万
• 依托单位: University of Wisconsin-Milwaukee
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-15 至 1999-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9509165&HistoricalAwards=false
• 关键词: Practical; Decision; Theorectic; Planning

IRI-9509165 Peter Haddawy University of Wisconsin - Milwaukee $78,038 - 12 mos. Practical Decision-Theoretic Planning The desire to solve practical real-world planning problems places conflicting demands on domain-independent planning systems. The representation used by the planner must be rich enough to capture all the salient aspects of the application, but at the same time, it must permit the use of efficient algorithms that will scale up effectively to handle large problems. In planning under uncertainty, decision theory allows the consideration of tradeoffs among partially satisfiable objectives. But most of the planning algorithms have either made unrealistic assumptions or been too inefficient for application to large problems. The purpose of this research is to develop efficient methods by using abstraction techniques which permit a planner to focus on important aspects of a domain before considering details. Methods of automatically generating abstractions are being developed, along with methods of applying these to planning problems in dynamic environments. Decision-theoretic planners are being extended ion their representational capabilities with the goal of not sacrificing efficiency. Techniques for efficient reasoning with probabilistic domain theories are being developed. The tangible products are expected to be a theoretical framework for efficient decision-theoretic planning, ore or more implemented planning systems, a theoretical framework for probabilistic domain modeling using probability logic, and an implemented inference system for constructing Bayesian networks from knowledge bases of probability logic sentences.

IRI-9509165威斯康星大学密尔沃基分校彼得·哈达维，78,038-12摩尔斯。实用决策理论规划解决实际现实世界规划问题的愿望对独立于领域的规划系统提出了相互冲突的要求。规划者使用的表示必须足够丰富，以捕获应用程序的所有重要方面，但同时，它必须允许使用高效的算法，这些算法将有效地扩展以处理大型问题。在不确定情况下的计划中，决策理论允许考虑部分可满足目标之间的权衡。但大多数规划算法要么做了不切实际的假设，要么效率太低，不能应用于大型问题。这项研究的目的是通过使用抽象技术来开发有效的方法，允许规划者在考虑细节之前将重点放在领域的重要方面。正在开发自动生成抽象的方法，以及将这些方法应用于动态环境中的规划问题的方法。决策理论规划者正在扩展他们的表征能力，目标是不牺牲效率。使用概率域理论进行有效推理的技术正在开发中。这些有形的产品有望成为有效的决策理论规划的理论框架，或更多实现的规划系统，使用概率逻辑进行概率域建模的理论框架，以及从概率逻辑语句的知识库构建贝叶斯网络的实现推理系统。