Symbolic Heuristic Search for Factored Markov Decision Processes

机译：因子马尔可夫决策过程的符号启发式搜索

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We describe a planning algorithm that integrates two approaches to solving Markov decision processes with large state spaces. State abstraction is used to avoid evaluating states individually. Forward search from a start state, guided by an admissible heuristic, is used to avoid evaluating all states. We combine these two approaches in a novel way that exploits symbolic model-checking techniques and demonstrates their usefulness for decision-theoretic planning.

著录项

作者
Feng, Z. ; Hansen, E. A.;
展开▼
作者单位

展开▼
年度 2003
页码 1-6
总页数 6
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Planning algorithms; Decision processes; Integration; Approaches; Markov; State abstraction;

机译：规划算法;决策过程;集成;方法;马尔可夫;状态抽象;

相似文献

外文文献
中文文献
专利

1. Symbolic algorithms for qualitative analysis of Markov decision processes with Buechi objectives [J] . Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Formal Methods in System Design . 2013,第3期

机译：具有Buechi目标的Markov决策过程的定性分析的符号算法
2. Incremental Improvements of Heuristic Policies for Average-Reward Markov Decision Processes [J] . S. Reveliotis, M. Ibrahim IFAC PapersOnLine . 2020,第2期

机译：平均奖励马尔可夫决策过程的启发式政策的增量改进
3. An Interior Point Heuristic for the Hamiltonian Cycle Problem via Markov Decision Processes [J] . VLADIMIR EJOV, JERZY FILAR, JACEK GONDZIO Journal of Global Optimization . 2004,第3期

机译：基于马尔可夫决策过程的哈密顿循环问题的内点启发式
4. Symbolic Heuristic Search for Factored Markov Decision Processes [C] . Zhengzhu Feng, Eric A. Hansen National Conference on Artificial Intelligence . 2002

机译：符号启发式搜索因子马尔可夫决策过程
5. Randomized search methods for solving Markov decision processes and global optimization. [D] . Hu, Jiaqiao. 2006

机译：解决马尔可夫决策过程和全局优化的随机搜索方法。
6. Hidden Markov model speed heuristic and iterative HMM search procedure [O] . L Steven Johnson, Sean R Eddy, Elon Portugaly 2010

机译：隐马尔可夫模型速度启发式和迭代HMM搜索过程
7. Symbolic Heuristic Search Using Decision Diagrams [O] . Eric Hansen, Rong Zhou, Zhengzhu Feng 2002

机译：使用决策图的符号启发式搜索

Symbolic Heuristic Search for Factored Markov Decision Processes

摘要

著录项

相似文献

相关主题

期刊订阅