布鲁卡，格哈德;詹姆斯·德尔格兰德;哈维尔·罗梅罗;托尔斯滕·绍布 答案集编程中首选项的通用框架。 （英语） Zbl 1531.68125号 Artif公司。智力。 325，文章ID 104023，49 p.（2023）. 摘要：我们介绍了一个通用的、灵活的、可扩展的框架，用于逻辑程序的稳定模型中的定量和定性偏好。由于用逻辑程序捕获命题理论和约束满足问题很简单，因此我们的方法也适用于可满足性测试和约束处理中的优化。我们展示了如何通过用户定义的偏好类型及其参数来指定复杂的偏好关系。我们描述了偏好规范是如何由所谓的偏好程序内部处理的，这些程序用于优势测试。我们还提供了计算逻辑程序的一个或所有首选稳定模型的算法，并研究了这些问题的复杂性。我们在阿司匹林系统采用多热点答案集求解技术。我们通过展示现有偏好语言在阿司匹林最后，我们对我们的贡献进行了实证评估，并将其与专用实现进行了对比。 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：偏好;优化;答案集编程 软件：阿司匹林;扣环;Clingcon公司;克林戈;CP网络 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人，Artif。因特尔。325，文章ID 104023，49 p.（2023；Zbl 1531.68125） 全文： 内政部 参考文献： [1] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [2] 西蒙斯，P。；尼美拉，I。；Soininen，T.，《扩展和实现稳定模型语义》。Artif公司。智力。，1-2, 181-234 (2002) ·Zbl 0995.68021号 [3] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，用于知识表示和推理的DLV系统。ACM事务处理。计算。日志。，3, 499-562 (2006) ·Zbl 1367.68308号 [4] Brewka，G。；尼美拉，I。；Truszczynski，M.，《答案集优化》，867-872 [5] Brewka，G.，答案集优化的复杂偏好，213-223 [6] Brewka，G。；尼美拉，I。；Syrjänen，T.，有序析取逻辑程序。计算。智力。，2, 335-357 (2004) [7] 儿子，T。；Pontelli，E.，《使用逻辑编程进行偏好规划》。理论与实践。日志。程序。，5, 559-608 (2006) [8] Di Rosa，E。；Giunchiglia，E。；Maratea，M.，用偏好解决可满足性问题。限制条件，4845-515（2010）·Zbl 1208.68199号 [9] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，用clipeo解决多快照ASP问题。理论与实践。日志。程序。，1，27-82（2019）·Zbl 1486.68027号 [10] Niemelä，I.，具有稳定模型语义的逻辑程序作为约束编程范式。安。数学。Artif公司。智力。，3-4, 241-273 (1999) ·Zbl 0940.68018号 [11] M.Banbara，M.Gebser，K.Inoue，M.Ostrowski，A.Peano，T.Schaub，T.Soh，N.Tamura，M.Weise，阿斯巴甜：用答案集编程解决约束满足问题，见：Calimeri等人[84] [12] Brewka，G。；Delgrade，J。；罗梅罗，J。；Schaub，T.，asprin:无需头痛即可定制答案集首选项，1467-1474 [13] G.Brewka，J.Delgrand，J.Romero，T.Schaub，用阿斯匹林实现偏好，收录于：Calimeri等人[84] [14] Apt，K。；布莱尔，H。；沃克，A.，《走向陈述性知识理论》，89-148，第2章 [15] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定。新一代。计算。，365-385 (1991) ·Zbl 0735.68012号 [16] Ferraris，P.，命题理论的答案集，119-131·Zbl 1152.68408号 [17] Calimeri，F。；Faber，W。；Gebser，M。；伊安尼，G。；卡明斯基，R。；Krennwallner，T。；塞拉利昂，北卡罗来纳州。；Maratea，M。；里卡，F。；Schaub，T.，ASP-Core-2输入语言格式。理论与实践。日志。程序。，2, 294-309 (2020) ·Zbl 1472.68180号 [18] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，Clingo=ASP+对照：初步报告。第三十届逻辑程序设计国际会议（ICLP’14）的技术交流。理论与实践。日志。程序。，4-5（2014），《在线补遗》 [19] M.Bienvenu，J.Lang，N.Wilson，《从偏好逻辑到偏好语言，再回到：Lin和Sattler》[85] [20] 帕雷托，V.，《政治经济学》（1964年），德罗兹图书馆 [21] McCarthy，J.，《限定在形式化常识中的应用》。Artif公司。智力。，89-116 (1986) [22] Giunchiglia，E。；Maratea，M.，解决定性偏好可满足性问题的算法，327-344·Zbl 1357.68206号 [23] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》。安。数学。Artif公司。智力。，3-4, 289-323 (1995) ·Zbl 0858.68016号 [24] Gebser，M。；卡明斯基，R。；Schaub，T.，答案集编程中的复杂优化。理论与实践。日志。程序。，4-5, 821-839 (2011) ·Zbl 1222.68059号 [25] 卡明斯基，R。；罗梅罗，J。；Schaub，T。；Wanko，P.，如何构建自己的基于asp的系统？！。理论与实践。日志。程序。，1, 299-361 (2023) [26] Janhunen，T。；Oikarinen，E.，用析取逻辑程序捕获并行定界，134-146·兹比尔1111.68680 [27] J.Romero，T.Schaub，P.Wanko，计算各种最优稳定模型，收录于：Carro和King[86] [28] Gebser，M。；考夫曼，B。；Neumann，A。；Schaub，T.，冲突驱动的答案集枚举，136-148·Zbl 1149.68332号 [29] Papadimitriou，C.，计算复杂性（1994），Addison Wesley·Zbl 0833.68049号 [30] Boutiler，C。；布拉夫曼，R。；Domshlak，C。；胡斯，H。；Poole，D.，CP-nets：一种用条件对等偏好语句表示和推理的工具。J.阿蒂夫。因特尔。研究，135-191（2004）·Zbl 1080.68685号 [31] 阿尔维亚诺，M。；罗梅罗，J。；Schaub，T.，《论ASPRIN中cp-net的整合》，1495-1501 [32] 艾特，T。；Gottlob，G。；Leone，N.，《逻辑程序诱拐：语义和复杂性》。西奥。计算。科学。，1-2, 129-177 (1997) ·Zbl 0893.68022号 [33] Gebser，M。；卡明斯基，R。；考夫曼，B。；林道尔，M。；奥斯特罗斯基，M。；罗梅罗，J。；Schaub，T。；Thiele，S。；Wanko，P.，Potassco用户指南，2.2.0版（2019年） [34] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，《在实践中解决答案集》，《人工智能和机器学习综合讲座》（2012），Morgan和Claypool出版社 [35] Järvisalo，医学博士。；Junttila，T。；Niemelä，I.，布尔电路表方法中的无限制与限制切割。安。数学。Artif公司。智力。，4, 373-399 (2005) ·Zbl 1086.03048号 [36] M.Gebser，B.Kaufmann，R.Otero，J.Romero，T.Schaub，P.Wanko，答案集编程中的领域特定启发式，in：desJardins和Littman[87] [37] Di Rosa，E。；Giunchiglia，E.，将解决可满足性问题的方法与定性偏好相结合。AI通讯。，4, 395-408 (2013) ·Zbl 1296.68164号 [38] Y.Zhu，M.Truszczynski，关于答案集优化问题的最优解，见：Cabalar and Son[88] [39] M.Gebser、H.Jost、R.Kaminski、P.Obermeier、O.Sabuncu、T.Schaub、M.Schneider，《Ricochet机器人：横向ASP基准》，载于：Cabalar and Son[88] [40] Siddiqi，S.，通过模型松弛计算最小基数诊断，1087-1092 [41] Schaub，T。；Thiele，S.，利用ASP进行代谢网络扩展，312-326 [42] M.Gebser，C.Guziolowski，M.Ivanchev，T.Schaub，A.Siegel，S.Thiele，P.Veber，《大型生物网络中答案集编程的修复和预测（不一致）》，收录于：Lin和Sattler[85] [43] 班巴拉，M。；Soh，T。；北田村。；井上，K。；Schaub，T.，Answer集编程作为课程时间表的建模语言。理论与实践。日志。程序。，4-5, 783-798 (2013) ·Zbl 1286.68040号 [44] M.Gebser，R.Kaminski，B.Kaufmann，J.Romero，T.Schaub，卡环系列3的进展，in：Calimeri等人[84] [45] M.Alviano，J.Romero，T.Schaub，近似偏好关系，in：Thielscher等人[89] [46] Di Rosa，E。；Giunchiglia，E。；Maratea，M.，解决定性偏好可满足性问题的新方法，510-514 [47] 阿尔维亚诺，M。；多达罗，C。；Marques-Silva，J。；Ricca，F.，《最优稳定模型搜索：算法和实现》。J.日志。计算。，4, 863-897 (2020) ·Zbl 1487.68206号 [48] 阿尔维亚诺，M。；多达罗，C。；佛罗伦萨。；Previti，A。；Ricca，F.，ASP和子集极小性：枚举，谨慎推理和MUS。Artif公司。因特尔。(2023) ·Zbl 07702961号 [49] 多姆什拉克，C。；Hüllermier，E。；卡西，S。；Prade，H.，《人工智能偏好：概述》。Artif公司。智力。，7-8, 1037-1052 (2011) [50] 布拉夫曼，R。；Domshlak，C.，首选项处理-入门教程。AI Mag.，158-86（2009） [51] Delgrade，J。；Schaub，T。；托姆皮茨，H。；Wang，K.，非单调推理中偏好处理方法的分类和综述。计算。智力。，2, 308-334 (2004) [52] Brewka，G。；尼美拉，I。；特鲁什琴斯基，M.，《偏好与非单调推理》。AI Mag.，469-78（2008） [53] 艾特，T。；Erdem，E。；埃尔多安，H。；Fink，M.，《在答案集编程中寻找相似/不同的解决方案》。理论与实践。日志。程序。，3, 303-359 (2013) ·Zbl 1266.68081号 [54] Lierler，Y.，关于命题框架中优化的抽象观点。理论与实践。日志。程序。，1-29 (2022) [55] 恩桑。；Ternovska，E.，陈述式问题解决偏好推理的独立于语言的框架，57-73·兹比尔1435.68301 [56] 布鲁卡，G。；特鲁什琴斯基，M。；Woltran，S.，代表集合之间的偏好，273-278 [57] W.Faber，M.Truszczynski，S.Woltran，抽象偏好框架——关于可分离性和强等价性的统一观点，见：desJardins和Littman[87] [58] S.Coste-Marquis，J.Lang，P.Liberatore，P.Marquis，偏好表征命题语言的表达能力和简洁性，in：Lin和Sattler[85] [59] Huelsman，M。；Truszczynski，M.，通过表达能力关联偏好语言 [60] Charalambidis，A。；Rondogiannis，P。；Troumpoukis，A.，有序析取逻辑程序首选模型的逻辑特征。理论与实践。日志。程序。，5, 629-645 (2021) ·Zbl 1522.68106号 [61] Bernreiter，M。；Maly，J。；Woltran，S.，《选择逻辑及其计算属性》，1794-1800 [62] J.Lee，Z.Yang，使用asprin计算有序析取逻辑程序，in：Thielscher等人[89] [63] Balduccini，M。；Gelfond，M.，《具有一致性恢复规则的逻辑程序》，9-18 [64] T.Eiter，R.Kiesel，定量流推理的加权LARS，in：De Giacomo等人[90] [65] 弗雷泽，N.，偏好树的应用，132-136 [66] 刘，X。；Truszczynski，M.，组合域上的偏好树推理，19-34·Zbl 1405.91138号 [67] R.展位。；Chevaleyre，Y。；朗·J。；Mengin，J。；Sombattheera，C.，《有条件词汇优先关系学习》，269-274·Zbl 1211.68223号 [68] 戈德史密斯，J。；朗·J。；Truszczynski，M。；Wilson，N.，cp-net中支配性和一致性的计算复杂性。J.阿蒂夫。因特尔。决议，403-432（2008）·Zbl 1182.68089号 [69] 比戈，D。；扎努蒂尼，B。；法吉尔，H。；Mengin，J.，概率条件偏好网络，72-81 [70] 枪，T。；Stuckey，P。；Tack，G.，约束满足问题的解决优势，CoRR [71] G.科萨克。Akün，T.Guns，I.Miguel，《利用溶液优势中的不可比性：改进基于通用约束的采矿》，摘自：De Giacomo等人[90] [72] 佐丹奴。；Dupré，D.，ASP，在SROEL的合理扩展中实现最小牵连。理论与实践。日志。程序。，5-6, 738-754 (2016) ·Zbl 1379.68294号 [73] 佐丹奴，L。；Dupré，D.，在概念软件多参考轻量级DL中进行推理的ASP方法。理论与实践。日志。程序。，5, 751-766 (2020) ·Zbl 1468.68212号 [74] 佐丹奴，L。；Dupré，D.，带整数权重的加权条件知识库：ASP方法，70-76 [75] 佐丹奴，L。；Dupré，D.，加权条件知识库的有限多值语义下神经网络推理的ASP方法。理论与实践。日志。程序。，4, 589-605 (2022) ·Zbl 07595327号 [76] 波扎托，L。；艾特，T。；Kiesel，R.，《通过带代数测度的答案集编程对多关系上下文层次结构进行推理》。理论与实践。日志。程序。，5, 593-609 (2021) ·Zbl 1522.68101号 [77] 艾特，T。；Kiesel，R.，Asp\（（\mathcal{AC}）：带代数约束的答案集编程。理论与实践。日志。程序。，6, 895-910 (2020) ·Zbl 1471.68047号 [78] 鲁道夫，S。；Schweizer，L。；Tirtarasa，S.，固定域语义下描述逻辑知识库的正当性，185-200·兹比尔1518.68366 [79] 高，T。；Fodor，P。；Kifer，M.，超一致性和字谜。理论与实践。日志。程序。，5-6, 703-720 (2016) ·Zbl 1379.68293号 [80] Gebser，M。；Guyet，T.等人。；基尼奥，R。；罗梅罗，J。；Schaub，T.，利用ASP进行基于知识的序列挖掘，1497-1504 [81] Lehtonen，T。；Wallner，J。；Järvisalo，M.，基于假设的论证的声明性算法和复杂性结果。J.阿蒂夫。因特尔。第265-318号决议（2021年）·Zbl 1519.68254号 [82] Lehtonen，T。；Wallner，J。；Järvisalo，M.，ASPIC+框架中论证推理的答案集编程方法，636-646 [83] M.Gebser、R.Kaminski、B.Kaufmann、M.Ostrowski、T.Schaub、P.Wanko，《用clipo 5轻松解决理论》，载于：Carro和King[86] [84] （Calimeri，F.；Ianni，G.；Truszczynski，M.，《第十三届逻辑编程和非单调推理国际会议论文集》（LPNMR’15）。《第十三届逻辑编程和非单调推理国际会议论文集》（LPNMR’15），《人工智能讲义》，第9345卷（2015），斯普林格·弗拉格出版社） [85] （Lin，F.；Sattler，U.，《第十二届知识表示与推理原则国际会议论文集》（KR’10）（2010年），AAAI出版社） [86] （Carro，M.；King，A.，《第三十二届逻辑编程国际会议的技术通信》（ICLP’16）。第三十二届逻辑程序设计国际会议（ICLP’16）的技术交流，信息学开放存取系列（OASIcs），第52卷（2016），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik） [87] （desJardins，M.；Littman，M.，《第二十七届全国人工智能会议论文集》（AAAI'13）（2013），AAAI出版社） [88] （Cabalar，P.；Son，T.，《第十二届逻辑编程和非单调推理国际会议论文集》（LPNMR’13）。《第十二届逻辑编程和非单调推理国际会议论文集》（LPNMR’13），《人工智能讲义》，第8148卷（2013），斯普林格·弗拉格出版社） [89] （Thielscher，M.；Toni，F.；Wolter，F.，《第十六届知识表示与推理原则国际会议论文集》（KR’18）（2018年），AAAI出版社） [90] （De Giacomo，G.；Catala，A.；Dilkina，B.；Milano，M.；Barro，S.；Bugarin，A.；Lang，J.，《第二十四届欧洲人工智能会议论文集》（ECAI'20）（2020），IOS出版社） [91] Lifschitz，V。；Turner，H.，分割逻辑程序，23-37 [92] Buccafurri，F。；塞拉利昂，北卡罗来纳州。；Rullo，P.，通过约束增强析取数据日志。IEEE传输。知识。数据工程，5845-860（2000） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。