A Logic-based Approach to Dynamic Programming
A Logic-based Approach to Dynamic Programming
复制标题
基于逻辑的动态规划方法
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
O. Skvortsova
中科院分区：
文献类型：
--
作者：
Steffen Hölldobler;O. Skvortsova
我们提出了一种一阶值迭代算法，通过逻辑划分状态空间来解决经典动态规划技术的可扩展性问题。 MDP 用概率流利微积分表示，它是用于推理动作的一阶语言。此外，我们开发了一种标准化算法，可以发现并修剪冗余状态。我们已经实施了我们的方法并描述了一些实验结果。
We present a first-order value iteration algorithm that addresses the scalability problem of classical dynamic programming techniques bylogically partitioning the state space. An MDP is represented in the Probabilistic Fluent Calculus, that is a first-order language for reasoning about actions. Moreover, we develop a normalization algorithm that discovers and prunes redundant states. We have implemented our approach and describe some experimental results.