×

指定和计算首选计划。 (英语) Zbl 1225.68241号

总结:我们使用丰富的、定性的用户偏好来解决指定和计算首选计划的问题。我们提出了一种逻辑语言,用于指定对与计划相关的状态和操作的演变的偏好。我们在情境演算中为一阶偏好语言提供了一种语义,并证明了偏好公式的级数保留了这种语义。这导致了PPlan的开发,它是一个有界的最佳优先搜索规划器,用于计算首选计划。我们的偏好语言易于与许多现有规划师集成,除规划外,还可以用于支持使用偏好的各种动态推理任务。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 巴克斯,F。;Kabanza,F.,《使用时序逻辑表示规划的搜索控制知识》,《人工智能》,第16期,第123-191页(2000年)·Zbl 0939.68827号
[2] Baier,J。;McIlraith,S.,《使用启发式搜索实现一阶时间扩展目标的规划》(《第21届全国人工智能会议论文集》(AAAI-06)(2006)),788-795
[3] Baier,J.A。;巴克斯,F。;McIlraith,S.A.,《利用时间扩展偏好进行规划的启发式搜索方法》(《第20届国际人工智能联合会议论文集》(IJCAI-07)(2007)),1808-1815
[4] Baier,J.A。;巴克斯,F。;McIlraith,S.A.,《用启发式搜索方法进行具有时间扩展偏好的规划》,《人工智能》,173,5-6,593-618(2009)·Zbl 1191.68623号
[5] Baier,J.A。;McIlraith,S.A.,《关于定性偏好规划的区域依赖启发式》,(第七届非单调推理、行动和变化研讨会论文集(NRAC-07)(2007))
[6] Baier,J.A。;McIlraith,S.A.,《偏好规划》,人工智能杂志,29,4,25-36(2008)
[7] Baral,C。;克里诺维奇,V。;Trejo,R.,《具有时间目标的规划的计算复杂性》,(第17届国际人工智能联合会议论文集(IJCAI-01)(2001年),509-514
[8] Benferhat,S。;杜波依斯,D。;Prade,H.,《偏好的可能性逻辑处理》(Applied Intelligence,vol.14(2001),Kluwer),303-317·Zbl 0986.91006号
[9] Benton,J。;Kambhampati,S。;Do,M.B.,YochanPS:PDDL3简单偏好和部分满意度规划(第五届国际规划竞赛手册(IPC-06)(2006)),54-57
[10] Benton,J。;van den Briel,M。;Kambhampati,S.,针对部分满足问题的混合线性规划和放松计划启发式,(第17届自动规划和调度国际会议论文集(ICAPS-07)(2007)),34-41
[11] Bienvenu,M。;弗里茨,C。;McIlraith,S.,《具有定性时间偏好的规划》,(第十届知识表示与推理国际会议论文集(KR-06)(2006)),134-144
[12] Bienvenu,M。;弗里茨,C。;Sohrabi,S。;McIlraith,S.,PPLAN:代码,实验(2006)
[13] 布特利耶,C。;布拉夫曼,R。;Domshlak,C。;胡斯,H。;Poole,D.,《CP-nets:一种表示和推理条件对等偏好陈述的工具》,《人工智能研究杂志》,21135-191(2004)·Zbl 1080.68685号
[14] R.I.布拉夫曼。;Chernyavsky,Y.,《目标偏好和约束下的规划》,(第十五届国际自动规划与调度会议论文集(ICAPS-05)(2005)),182-191
[15] Brewka,G.,答案集优化的复杂偏好,(第九届知识表示与推理国际会议论文集(KR-04)(2004)),213-223
[16] Brewka,G.,一种基于等级的定性偏好描述语言,(第16届欧洲人工智能会议论文集(ECAI-04)(2004)),303-307
[17] Brewka,G。;Benferhat,S。;Berre,D.L.,定性选择逻辑,人工智能,157,1-2(2004),非单调推理专刊
[18] 伯加德,W。;Cremers,A.B。;福克斯,D。;哈内尔,D。;Lakemeyer,G。;舒尔茨,D。;施泰纳,W。;Thrun,S.,《交互式博物馆导游机器人的体验》,《人工智能》,第114、1-2、3-55页(1999年)·Zbl 0939.68865号
[19] Bylander,T.,命题STRIPS规划的计算复杂性,人工智能,69,1-2,165-204(1994)·Zbl 0821.68065号
[20] 科斯特·马奎斯(Coste-Marquis,S.)。;朗·J。;利伯拉托雷,P。;Marquis,P.,命题语言对偏好表征的表达能力和简洁性,(第九届知识表征与推理国际会议论文集(KR-04)(2004)),203-212
[21] 德贾科莫,G。;Lespérance,Y。;Levesque,H.,ConGolog,一种基于情境演算的并发编程语言,《人工智能》,121,1-2,109-169(2000)·Zbl 0948.68175号
[22] Delgrade,J。;Schaub,T。;Tompits,H.,因果推理和规划的领域特定偏好,(第九届知识表示和推理国际会议论文集(KR-04)(2004)),673-682
[23] Delgrade,J.P。;Schaub,T。;Tompits,H.,《因果推理和规划中表达偏好的一般框架》,《逻辑与计算杂志》,第17期,第871-907页(2007年)·Zbl 1132.68051号
[24] Edelkamp,S.,《利用MIPS-BDD进行PDDL3最佳符号规划》,(第五届国际规划竞赛手册(IPC-06)(2006)),31-33
[25] Edelkamp,S。;贾巴尔,S。;Naizih,M.,利用MIPS-XXL进行大规模最优PDDL3规划,(第五届国际规划竞赛手册(IPC-06)(2006)会议记录),28-30
[26] Ehrgott,M.,《多准则优化》(2000),施普林格出版社:柏林施普林格·兹比尔0956.90039
[27] 艾特,T。;Faber,W。;塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Poleres,A.,《行动成本下的答案集规划》,《人工智能研究杂志》,第19期,第25-71页(2003年)·Zbl 1026.68124号
[28] 埃罗尔,K。;Nau,D.S。;Subrahmanian,V.S.,域相关规划的复杂性、可判定性和不可判定性结果,人工智能,76,1-2,75-88(1995)·兹比尔1013.68548
[29] 费尔德曼,R。;Brewka,G。;Wenzel,S.,《具有优先目标的规划》,(第十届知识表示与推理国际会议论文集(KR-06)(2006)),503-514
[30] Ferrein,A。;弗里茨,C。;Lakemeyer,G.,不可预测领域的在线决策理论Golog,(第27届德国人工智能会议论文集(KI-04)(2004)),322-336
[31] 弗里茨,C。;McIlraith,S.,具有定性偏好的决策理论GOLOG,(第十届知识表示与推理原则国际会议论文集(KR-06)(2006)),153-163
[32] Gabaldon,A.,《前提控制与递进算法》,(第九届知识表示与推理国际会议论文集(KR-04)(2004)),634-643
[33] Gerevini,A。;哈斯鲁姆,P。;Long,D。;Saetti,A。;Dimopoulos,Y.,《第五届国际规划竞赛中的决定性规划:PDDL3和规划师的实验评估》,人工智能,173,5-6,619-668(2009)·Zbl 1191.68634号
[34] A.Gerevini,D.Long,《PDDL3中的规划约束和偏好:第五届国际规划竞赛的语言》。布雷西亚大学技术代表,2005年。;A.Gerevini,D.Long,《PDDL3中的规划约束和偏好:第五届国际规划竞赛的语言》。布雷西亚大学技术代表,2005年。
[35] Giunchiglia,E。;Maratea,M.,《规划与偏好的可满足性》,(第22届人工智能会议论文集(AAAI-07)(2007)),987-992
[36] 戈德史密斯,J。;Ulrich,J.,AI杂志,29,4(2008),2008年冬季,关于偏好的特刊
[37] Green,C.C.,定理证明在问题解决中的应用,(第一届国际人工智能联合会议论文集(1969)),219-240
[38] Haddawy,P。;Hanks,S.,《决策理论规划的表示:截止日期目标的效用函数》,(第三届知识表示与推理国际会议论文集(KR-96)(1992)),71-82
[39] Helmert,M.,《数值状态变量规划的可判定性和不可判定性结果》,(第六届人工智能规划系统国际会议论文集(AIPS-02)(2002)),44-53
[40] 霍夫曼,J。;Nebel,B.,《FF计划系统:通过启发式搜索快速生成计划》,《人工智能研究杂志》,第14期,第253-302页(2001年)·Zbl 0970.68044号
[41] 徐,C.-W。;Wah,B。;黄,R。;陈毅,解决具有轨迹约束和目标偏好的规划问题的约束划分,(第20届国际人工智能联合会议论文集(IJCAI-07)(2007)),1924-1929
[42] Kautz,H.A。;Selman,B.,统一基于SAT和基于图形的规划,(第十六届国际人工智能联合会议论文集(IJCAI-99)(1999)),318-325
[43] Kvarnström,J。;Doherty,P.,TALplanner:基于时间逻辑的前向链接规划器,《数学和人工智能年鉴》,第30期,第119-169页(2000年)·Zbl 1002.68158号
[44] Levesque,H.J。;Reiter,R。;Lesperance,Y。;林,F。;Scherl,R.B.,GOLOG:动态域的逻辑编程语言,逻辑编程杂志,31,1-3,59-83(1997)·Zbl 0880.68008号
[45] S.Liaskos,目标模型可变性的获取与推理,加拿大多伦多大学计算机科学系计算机科学博士,2008年。;S.Liaskos,获取和推理目标模型中的可变性,加拿大多伦多大学计算机科学系计算机科学博士,2008年。
[46] 利亚斯科斯,S。;McIlraith,美国。;Mylopoulos,J.,《用偏好增强需求模型》,(第24届IEEE/ACM自动化软件工程国际会议论文集(ASE-09)(2009)),565-569
[47] J.McCarthy,《情境、行为和因果律》。斯坦福大学技术代表,1963年。;J.McCarthy,《情境、行为和因果律》。斯坦福大学技术代表,1963年。
[48] D.V.McDermott,PDDL规划领域定义语言,技术代表TR-98-003/DCS TR-1165,耶鲁计算视觉与控制中心,1998年。;D.V.McDermott,PDDL-规划领域定义语言,技术代表TR-98-003/DCS TR-1165,耶鲁计算视觉与控制中心,1998年。
[49] McIlraith,S。;Son,T.,《改编Golog以组合语义web服务》,(第八届知识表示与推理国际会议论文集(2002)),482-493
[50] Myers,K。;Lee,T.,通过元理论偏差生成不同的定性计划,(第16届全国人工智能会议论文集(AAAI-99)(1999)),570-576
[51] Pnueli,A.,程序的时序逻辑,(第18届IEEE计算机科学基础研讨会论文集(FOCS-77)(1977)),46-57
[52] Puterman,M.,《马尔可夫决策过程:离散动态规划》(Markov Decision Processes:Discrete Dynamic Programming)(1994年),威利出版社:威利纽约·Zbl 0829.90134号
[53] Reiter,R.,《行动中的知识:指定和实现动态系统的逻辑基础》(2001年),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥·Zbl 1018.03022号
[54] Sistla,A.P。;Clarke,E.M.,命题线性时序逻辑的复杂性,ACM杂志,32,3,733-749(1985)·Zbl 0632.68034号
[55] Smith,D.E.,《在超额认购计划中选择目标》,(第14届国际自动计划与调度会议(ICAPS-04)(2004)),393-401
[56] Sohrabi,S。;Baier,J.A。;McIlraith,S.A.,《具有偏好的HTN规划》(《第21届国际人工智能联合会议论文集》(IJCAI-09)(2009)),1790-1797
[57] Sohrabi,S。;McIlraith,S.A.,《关于HTN中的偏好规划》,(AAAI-08(2008)第四届偏好处理进展多学科研讨会论文集(M-Pref-08)),103-109
[58] Sohrabi,S。;普罗科什纳,N。;McIlraith,S.,《通过通用程序和自定义用户首选项的Web服务组合》(第五届国际语义Web会议论文集(ISWC-06)(2006)),597-611
[59] 儿子,T.C。;Pontelli,E.,《使用逻辑编程进行偏好规划》,(第七届逻辑编程和非单调推理国际会议论文集(LPNMR-04)(2004)),247-260·Zbl 1122.68616号
[60] 儿子,T.C。;Pontelli,E.,《使用逻辑编程进行偏好规划》,《逻辑编程理论与实践》,第6、5、559-607页(2006年)·Zbl 1122.68030号
[61] Tu,P.H。;儿子,T.C。;Pontelli,E.,CPP:基于约束逻辑编程的偏好规划器,(第九届逻辑编程与非单调推理国际会议论文集(LPNMR-07)(2007)),290-296
[62] van den Briel,M。;Nigenda,R.S。;做,M.B。;Kambhambati,S.,《部分满意度(超额认购)规划的有效方法》,(第19届全国人工智能会议论文集(AAAI-04)(2004)),562-569
[63] 冯·诺依曼,J。;Morgenstern,O.,《博弈论与经济行为》(1994),普林斯顿大学出版社·Zbl 0205.23401号
[64] Wilson,N.,用更强的条件偏好陈述扩展CP网络,(第19届全国人工智能会议论文集(AAAI-04)(2004)),735-741
[65] 约克史密斯,N。;维纳布尔,K.B。;Rossi,F.,具有偏好和不确定性的时间推理,(第18届国际人工智能联合会议论文集(IJCAI-03)(2003)),1385-1390
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。