×
恩里科·金西格里亚；马可·马拉提亚；卢卡·普利纳

基于翻译的方法解决带有偏好的选言时态问题。 （英语） Zbl 1468.68201号

约束条件 23，第4号，383-402（2018）.
摘要：带偏好项的析取时态问题（DTP）通过与形式\（l\leq x-y\leq u \）的每个约束相关联的分段常量偏好函数扩展了DTP，其中\（x \）、\（y \）是（实数或整数）变量，\（l \）、_（u \）是数字常量。目标是找到问题变量的赋值，使满足DTP约束的偏好值之和最大化，其中这些值是通过在“max”语义下聚合其中满足约束的偏好函数而获得的。在本地DTPP解算器中实现的该领域最先进的方法上颌炎，扩展了本机DTP解算器的方法癫痫在本文中，我们提出了将DTPP转换为形式为（l\bowtie x-y\bowtie u），（\bowtite\In\{<，\leq\}）的约束的布尔组合的最大可满足性的替代方法，该方法扩展了以往仅处理常数偏好函数的工作。我们证明了这些方法的正确性和完整性。用可满足模理论（SMT）求解器获得的结果Yices公司和数学SAT在随机生成的DTPP和根据真实基准构建的DTPP上，表明我们的一个翻译与，马克西氏菌属.

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

析取时态问题；偏好

软件：

优化数学卫星；数学SAT5；Yices公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，《限制条件》23，第4期，383--402（2018年；Zbl 1468.68201）
全文： 内政部 链接

参考文献：

[1] Bourguet，J.R.、Maratea，M.、Pulina，L.（2013）。一种基于约简的方法，用于解决带有偏好的选言时态问题。M.Baldoni，C.Baroglio，G.Boella，R.Micalizio（编辑）《意大利人工智能协会（AI*IA）第13届国际会议论文集：人工智能的进展》。计算机科学课堂讲稿第8249卷（第445-456页）。柏林：斯普林格·Zbl 1277.68003号
[2] Dechter，R.、Meiri，I.、Pearl，J.（1991）。时间约束网络。人工智能，49（1-3），61-95·Zbl 0737.68070号 ·doi:10.1016/0004-3702（91）90006-6
[3] Pollack，M.E.（2005年）。老龄化人口的智能技术：使用人工智能帮助有认知障碍的老年人。AI杂志，26（2），9-24。
[4] Berry，P.M.、Gervasio，M.T.、Uribe，T.E.、Pollack，M.E.、Moffitt，M.D.（2005年）。个性化时间管理助理：研究方向。《执着的助手：与人工智能一起生活和工作》，2005年AAAI春季研讨会论文，技术报告SS-05-05（第1-6页）。斯坦福大学：AAAI。
[5] Berry，P.M.、Gervasio，M.T.、Peintner，B.、Yorke-Smith，N.（2007年）。过度约束会议请求的偏好模型。《2007年AAAI人工智能偏好处理研讨会论文集》（第7-14页）。
[6] Moffitt，M.D.（2011年）。基于约束的时态推理中偏好的建模与优化。人工智能，175（7-8），1390-1409·Zbl 1225.68245号 ·doi:10.1016/j.artint.2010.11.016
[7] Tsamardinos，I.和Pollack，M.（2003年）。选言时态推理问题的高效求解技术。人工智能，151，43-89·Zbl 1082.68825号 ·doi:10.1016/S0004-3702（03）00113-9
[8] Sheini，H.M.、Peintner，B.、Sakalah，K.A.、Pollack，M.E.（2005年）。使用SAT技术解决软时间约束。在P.van Beek（Ed.）《第11届约束编程原理与实践国际会议论文集》（CP 2005）中。计算机科学课堂讲稿第3709卷（第607-621页）。柏林：斯普林格·Zbl 1153.68487号
[9] M.D.Moffitt和M.E.Pollack（2005年）。析取时态问题的部分约束满足。在I.Russell和Z.Markov（编辑）《佛罗里达人工智能研究学会第18届国际会议论文集》（FLAIRS 2005）（第715-720页）中。AAAI出版社。
[10] M.D.莫菲特和M.E.波拉克（2006）。时间偏好优化作为加权约束满足。《第21届全国人工智能会议论文集》（AAAI 2006）。AAAI出版社。
[11] Peintner，B.和Pollack，M.E.（2004年）。为DTP和TCSP添加低成本首选项。D.L.McGuinness和G.Ferguson（编辑）《第19届全国人工智能会议论文集》（AAAI 2004）（第723-728页）。AAAI出版社/麻省理工学院出版社。
[12] Peintner，B.，Moffitt，M.D.，Pollack，M.E.（2005年）。用偏好解决过约束的析取时态问题。S.Biundo，K.L.Myers，K.Rajan（编辑）第15届国际自动规划和调度会议记录（ICAPS 2005）（第202-211页）。AAAI公司。
[13] Maratea，M.和Pulina，L.（2012年）。使用最大可满足性解决带有偏好的析取时态问题。AI通信，25（2），137-156·Zbl 1248.68459号
[14] Stergiou，K.和Koubarakis，M.（1998年）。时间约束分离的回溯算法。H.E.Shrobe、T.M.Mitchell、R.G.Smith（编辑）《第十五届全国人工智能会议论文集》（AAAI 1998）（第248-253页）。AAAI出版社/麻省理工学院出版社·Zbl 0945.68038号
[15] Armando，A.，Castellini，C.，Giunchiglia，E.（1999）。基于SAT的时间推理程序。S.Biundo和M.Fox（编辑）第五届欧洲规划会议记录（ICAPS 1999）。计算机科学课堂讲稿第1809卷（第97-108页）。柏林：斯普林格·兹比尔1098.68693
[16] Cimatti，A.、Griggio，A.、Schaafsma，B.J.、Sebastiani，R.（2013）。MathSAT5 SMT求解器。N.Piterman，&S.A.Smolka（Eds.）第19届系统构建和分析工具和算法国际会议论文集（TACAS 2013）。计算机科学课堂讲稿第7795卷（第93-107页）。柏林：斯普林格·兹比尔1381.68153
[17] Sebastiani，R.和Trentin，P.（2015）。OptiMathSAT：用于优化模理论的工具。D.Kroening和C.S.Pasareanu（编辑）第27届计算机辅助验证国际会议论文集（CAV 2015）。计算机科学课堂讲稿第9206卷（第447-454页）。柏林：斯普林格。
[18] Dutertre，B.和Moura，L.D.（2006年）。DPLL（T）的快速线性算法求解器。In T.Ball，&R.B.Jones（Eds.）《第18届计算机辅助验证国际会议论文集》（CAV 2006）。计算机科学课堂讲稿第4144卷（第81-94页）。柏林：斯普林格。
[19] Dutertre，B.和De Moura，L.（2006）。Yices SMT解算器。工具纸位于http://yices.csl.sri.com/tool-paper.pdf 2(2).
[20] 彭特纳，B.M.（2005）。带偏好的基于约束的时态推理算法。安娜堡：密歇根大学。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。