约束质量指派框架中概率动作的可靠抽象
人工智能
2013-02-18 v1
摘要
本文为概率动作的可靠抽象提供了一个形式化且实用的框架。我们首先在有限视野规划（其中每个计划是动作的有限序列）的背景下精确定义了可靠抽象的概念。接着，我们展示了这种抽象无法在传统的概率动作表示中执行，因为传统表示用状态空间上的单一概率分布来建模世界。然后，我们提出了约束质量指派表示，它用一组概率分布来建模世界，并且是质量指派表示的推广。在此框架内，我们为三种类型的动作抽象提出了可靠抽象过程。我们在文末讨论了可靠抽象与近似抽象的相关工作。我们给出了指向其他论文的指引，在这些论文中我们讨论了其他与可靠抽象相关的问题，包括应用、估计因抽象造成的损失以及自动生成抽象层次结构。
引用
@article{arxiv.1302.3574,
title = {Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework},
author = {AnHai Doan and Peter Haddawy},
journal= {arXiv preprint arXiv:1302.3574},
year = {2013}
}
备注
Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)