PPlan（PPlan） swMATH ID: 20685 软件作者： Bienvenu，M。；弗里茨，C。；Sohrabi，S。；南卡罗来纳州麦克莱思。 描述： PPLAN–带偏好的计划。对于非马尔可夫质量偏好的规划，PPLAN是一种可证明的最佳优先搜索规划器。Bienvenu和McIlraith在论文《指定和生成首选计划》中首次报道了PPLAN方面的工作。以下是最近的引文。贡献包括：一阶语言，用于指定非马尔可夫定性（用户）对可能计划的偏好，以及最佳优先搜索规划器，以及关于算法正确性和最佳性的理论结果。该语言丰富，易于与许多现有规划师集成，除规划外，还可以用于支持任意的动态推理任务。使用情境演算定义一阶偏好语言的语义。偏好公式的真或假被评估为情境演算公式。备选方案的相对偏好表示为权重，权重是其组件属性权重的函数。偏好公式提供了有效时间扩展目标的部分顺序。PPLAN是一个最佳的首选转发计划器，它生成的计划不仅可以实现用户定义的目标，而且在可能的情况下也符合用户的偏好。PPLAN使用级数来更有效地评估偏好公式。PPLAN以行为理论、系统初始状态规范、偏好公式和目标为输入。 主页： http://www.cs.toronto.edu/~希拉/PPLAN/ 相关软件： 超小卫星;nuXmv（数字）;徒步旅行;Yochan公司;PDDL公司;高尔夫;ConGolog公司;CP网络 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 指定和计算首选计划。 Zbl 1225.68241号梅亨·宾文努;克里斯蒂安·弗里茨;希拉·麦克莱思。 2011 全部的 前5名8位作者引用 1 梅亨·宾文努 1 克里斯蒂安·弗里茨 1 李建文 1 希拉·麦克拉伊思。 1 Pu，葛光 1 克里斯汀·伊冯·罗泽尔 1 莫西·亚亚科夫·瓦尔迪 1 张月玲 连载1篇 2 人工智能 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文