答案集规划中的域相关知识
人工智能
2007-05-23 v2
摘要
本文我们考虑了三种不同类型的域相关控制知识（时间的、程序性的和基于 HTN 的），在规划中非常有用。我们的做法是声明式的，依赖于基于答案集语义的逻辑编程语言（AnsProlog*）。AnsProlog* 设计用于在没有控制知识的情况下进行规划。我们展示了如何通过模块化地添加少量域相关规则，将时间、程序和 HTN 控制知识整合到 AnsProlog* 中，而无需修改规划器。我们形式性地证明了我们的规划器在有无控制知识的情况下的正确性。最后，我们进行了一些初始实验，表明在程序域知识用于解决大规模计划长度的规划问题时，可以实现规划时间的潜在缩短。
关键词
引用
@article{arxiv.cs/0207023,
title = {Domain-Dependent Knowledge in Answer Set Planning},
author = {Tran Cao Son and Chitta Baral and Nam Tran and Sheila McIlraith},
journal= {arXiv preprint arXiv:cs/0207023},
year = {2007}
}
备注
70 pages, accepted for publication, TOCL Version with all proofs