约束质量分配框架中概率行为的合理抽象
Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework
摘要：
本文提供了一个正式的和实用的框架，合理的抽象概率行动。我们首先在有限时间规划（每个计划都是一个有限的行动序列）的背景下精确地定义了声音抽象的概念。接下来，我们表明，这种抽象不能在传统的概率动作表示，模型的世界与一个单一的概率分布的状态空间。然后，我们提出了约束质量分配表示，模型的世界与一组概率分布，是一个推广的质量分配表示。在这个框架内，我们提出了三种类型的动作抽象的声音抽象程序。最后，我们的讨论和相关工作的声音和近似抽象的文件。我们给指针的文件，我们讨论其他健全的抽象相关的问题，包括应用程序，估计损失由于抽象，自动生成抽象层次结构。
英文摘要：
This paper provides a formal and practical framework for sound abstraction of probabilistic actions. We start by precisely defining the concept of sound abstraction within the context of finite-horizon planning (where each plan is a finite sequence of actions). Next we show that such abstraction cannot be performed within the traditional probabilistic action representation, which models a world with a single probability distribution over the state space. We then present the constraint mass assignment representation, which models the world with a set of probability distributions and is a generalization of mass assignment representations. Within this framework, we present sound abstraction procedures for three types of action abstraction. We end the paper with discussions and related work on sound and approximate abstraction. We give pointers to papers in which we discuss other sound abstraction-related issues, including applications, estimating loss due to abstraction, and automatically generating abstraction hierarchies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
