阿维德·贝克尔;佩德罗·卡巴拉尔;马丁·迪盖兹;路易斯·法里纳斯·德尔·塞罗;托尔斯滕·绍布;安娜·舒曼 度量动态平衡逻辑。 （英语） Zbl 07757219号 J.应用。非类别。日志。 33，编号3-4，495-519（2023）. 摘要：在基于线性时间的答案集编程（ASP）的时间扩展中，动态系统的行为由状态序列捕获。虽然这种表示反映了它们的相对顺序，但它抽象出了与每个状态关联的特定时间。然而，在许多应用中，时间约束很重要，例如，当计划和调度并行时。我们通过开发线性时间动态平衡逻辑的度量扩展来解决这一问题，其中动态算子受整数上的区间约束。由此产生的度量动态平衡逻辑为基于ASP的方法提供了基础，用于指定定性和定量动态约束。因此，它构成了平衡逻辑时间扩展的整个范围中最普遍的。详细地说，我们表明它包括时间、动态、度量和正则平衡逻辑，以及在添加排除中间律后的经典对等逻辑。 MSC公司： 03年XX月 数学逻辑和基础 关键词：答案集编程;平衡逻辑;度量时态逻辑;线性时序逻辑;线性动态逻辑 软件：克林戈 PDF格式BibTeX公司 XML格式引用 \textit{A.Becker}等人，J.Appl。非类别。日志。33，编号3--4，495--519（2023；Zbl 07757219） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] 阿瓜多，F。；Cabalar，P。；迪盖兹，M。；佩雷斯，G。；Schaub，T。；A.舒曼。；维达尔，C.，线性时间时间答案集编程，逻辑编程理论与实践，23，1，2-56（2023）·网址：10.1017/S1471068421000557 [2] 阿瓜多，F。；Cabalar，P。；迪埃格斯，M。；佩雷斯，G。；维达尔，C.，《时间均衡逻辑：一项调查》，《应用非经典逻辑杂志》，23，1-2，2-24（2013）·Zbl 1400.68199号 ·doi:10.1080/11663081.2013.798985 [3] 阿瓜多，F。；Cabalar，P。；迪盖兹，M。；佩雷斯，G。；Vidal，C.，带过去算子的时间均衡逻辑，应用非经典逻辑杂志，27，3-4，161-177（2017）·Zbl 1398.03077号 ·doi:10.1080/11663081.2018.1427987 [4] Baldcucini，M.、Lierler，Y.和Woltran，S.（编辑）。(2019).第十五届逻辑编程与非单调推理国际会议论文集（lpnmr’19）（第11481卷）。斯普林格·弗拉格。 [5] Baselice，S.、Bonatti，P.和Gelfond，M.（2005）。面向答案集和约束求解的集成。在M.Gabbrielli和G.Gupta（编辑）中，第二十一届逻辑程序设计国际会议记录（iclp'05）（第3668卷，第52-66页）。斯普林格·弗拉格·Zbl 1165.68481号 [6] Basin，D.、Krstic，S.和Traytel，D.（2017年）。度量动态逻辑的几乎与事件状态无关的监控。在S.Lahiri和G.Reger（编辑）中，第十七届运行时验证国际会议记录（rv'17）（第10548卷，第85-102页）。斯普林格·弗拉格。 [7] Becker，A.、Cabalar，P.、Diéguez，M.、Schaub，T.和Schuhmann，A.（2023）。”度量时间均衡逻辑超时跟踪'，arxiv，arxiv:abs/2304.14778，https://arxiv.org/abs/2304.14778。 [8] Bosser，A.、Cabalar，P.、Diéguez，M.和Schaub，T.（2018年）。引入线性动态逻辑的时间稳定模型。M.Thielscher、F.Toni和F.Wolter（编辑），《第十六届知识表示和推理原则国际会议论文集》（kr’18）（第12-21页）。AAAI出版社。 [9] Cabalar，P.、Diéguez，M.、Laferrie，F.和Schaub，T.（2020年）。在有限迹上实现动态答案集编程。G.De Giacomo等人（编辑），《第二十四届欧洲人工智能会议论文集》（ecai'20）（第656-663页）。IOS出版社。 [10] Cabalar，P.、Diéguez，M.和Schaub，T.（2019年）。面向有限迹上的动态答案集编程。M.Balduccini、Y.Lierler和S.Woltran（编辑），第十五届逻辑程序设计和非单调推理国际会议论文集（lpnmr’19）（第11481卷，第148-162页）。斯普林格·弗拉格·Zbl 1522.68102号 [11] Cabalar，P。；迪盖兹，M。；Schaub，T。；Schuhmann，A.，《面向度量时态答案集编程》，逻辑编程理论与实践，20，5，783-798（2020）·兹比尔1468.68052 ·doi:10.1017/S1471068420000307 [12] Cabalar，P.、Diéguez，M.、Schaub，T.和Schuhmann，A.（2021）。基于时间跟踪的度量时态答案集编程（扩展抽象）。流内推理研讨会·Zbl 07671883号 [13] Cabalar，P.、Diéguez，M.、Schaub，T.和Schuhmann，A.（2022年）。基于时间跟踪的度量时间应答集编程。G.Gottlob、D.Inclezan和M.Maratea（编辑），《第十六届逻辑编程和非单调推理国际会议论文集》（lpnmr'22）（第13416卷，第117-130页）。斯普林格·弗拉格·Zbl 07671883号 [14] Cabalar，P.、Kaminski，R.、Morkisch，P.和Schaub，T.（2019年）。telingo=ASP+时间。M.Balduccini、Y.Lierler和S.Woltran（编辑），第十五届逻辑程序设计和非单调推理国际会议论文集（lpnmr’19）（第11481卷，第256-269页）。斯普林格·弗拉格·Zbl 1522.68105号 [15] Cabalar，P。；卡明斯基，R。；Schaub，T。；Schuhmann，A.，有限迹上的时态答案集编程，逻辑编程的理论与实践，18，3-4，406-420（2018）·Zbl 1451.68256号 ·doi:10.1017/S1471068418000297 [16] Cabalar，P.和Vega，G.P.（2007年）。时间均衡逻辑：第一种方法。R.Moreno-Díaz、F.Pichler和A.Quesada-Arencibia（编辑），第十一届计算机辅助系统理论国际会议论文集（欧洲广播公司2017年版）（第4739卷，第241-248页）。斯普林格·弗拉格·Zbl 1394.03032号 [17] De Giacomo，G.和Vardi，M.（2013年）。有限迹上的线性时序逻辑和线性动态逻辑。在F.Rossi（编辑）中，第二十三届国际人工智能联合会议记录（ijcai’13）（第854-860页）。IJCAI/AAAI出版社。 [18] 费希尔，M。；加巴伊，D。；Vila，L.，《人工智能时间推理手册》（2005），爱思唯尔科学·1099.68106兹比尔 [19] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.、Schaub，T.和Wanko，P.（2016）。使用clipeo 5可以轻松解决理论问题。在M.Carro和A.King（编辑）中，第三十二届逻辑程序设计国际会议（iclp'16）的技术交流（第52卷，第2:1-2:15页）。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。 [20] Harel，D。；Tiuryn，J。；Kozen，D.，《动态逻辑》（2000），麻省理工学院出版社·Zbl 0976.68108号 ·doi:10.1145/568438.568456 [21] Heyting，A.（1930年）。直觉主义逻辑规范。在Sitzungsberichte der preussischen akademie der wissenschaften公司（第42-56页）。德国柏林大学。 [22] Koymans，R.，用度量时态逻辑指定实时属性，实时系统，（2,4255-299（1990））·doi:10.1007/BF01995674 [23] Lifschitz，V.（1999）。答案集规划。在D.de Schreye（编辑）中，逻辑编程国际会议记录（iclp'99）（第23-37页）。麻省理工学院出版社。 [24] Pearce，D.（1997）。稳定模型和答案集的新逻辑特征。在J.Dix、L.Pereira和T.Przymusinski（编辑）中，第六届逻辑编程非单调扩展国际研讨会论文集（nmelp'96）（第1216卷，第57-70页）。斯普林格·弗拉格。 [25] Pnueli，A.（1977年）。程序的时序逻辑。在第十八届计算机科学基础研讨会论文集（focs’77）（第46-57页）。IEEE计算机学会出版社。 [26] Pratt，V.（1976年）。Floyd-Hoare逻辑的语义思考。在第十七届计算机科学基础年会论文集（第109-121页）。IEEE计算机学会出版社。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。