劳拉·佐丹奴；阿尔贝托·马泰利；塞塞迪尔·杜普雷，丹尼尔 使用DLTL的\（\mathcal{EL}\）本体和时态答案集推理操作。 （英语） 兹伯利07671891 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416231-244（2022年）。 摘要：我们提出了一种用领域描述推理动作的方法，包括时间动作理论中的（mathcal{EL}^{bot}）本体。动作理论基于动态线性时间时序逻辑，其扩展通过时序答案集定义。这项工作通过将（mathcal{EL}^{bot}）知识库多项式编码为时间行为理论的领域描述，提供了保证关于（mathcal{EL}^{bot}）本体的行为一致性的条件。关于整个系列，请参见[Zbl 1507.68033号]. MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 软件：CCalc公司；Cplus2ASP公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。13416、231--244（2022；Zbl 07671891） 全文： 内政部 参考文献： [1] ICLP 2021研讨会论文集，葡萄牙波尔图（虚拟）。CEUR研讨会记录，第2970卷。CEUR-WS.org（2021）。网址：http://ceur-ws.org/Vol-2970 [2] Ahmetaj，S.、Calvanee，D.、Ortiz，M.、Simkus，M.：使用描述逻辑管理图形结构数据中的更改。摘自：《2014年美国审计协会会议录》，第966-973页（2014年） [3] Baader，F.，Brandt，S.，Lutz，C.：推动（校准{EL}）信封。收录于：Kaelbling，L.，Saffiotti，A.（编辑）《2005年国际JCAI会议录》，英国苏格兰爱丁堡，第364-369页，2005年8月 [4] Baader，F.，Brandt，S.，Lutz，C.：推动（校准{EL}）信封。包含：LTCS-Report LTCS-05-01。德累斯顿工业大学理论计算机科学研究所（2005） [5] Baader，F.，Lippmann，M.，Liu，H.：使用因果关系处理基于描述逻辑的行动形式中的分支问题。收录于：LPAR-17，第82-96页（2010年）·Zbl 1306.68180号 [6] Baader，F.，Lutz，C.，Milicic，M.，Sattler，U.，Wolter，F.：整合描述逻辑和动作形式：第一个结果。摘自：《2005年AAAI会议记录》，第572-577页（2005） [7] Baader，F.，Liu，H.，ul-Mehdi，A.：验证描述逻辑动作无限序列的属性。收录于：ECAI，第53-58页（2010年）·Zbl 1211.68394号 [8] Babb，J。；Lee，J。；Cabalar，P。；Son，TC，Cplus 2ASP：答案集编程中的计算动作语言（{\cal{C}}）+，《逻辑编程与非单调推理》，122-134（2013），海德堡：斯普林格·Zbl 1405.68041号 ·doi:10.1007/978-3-642-40564-8_13 [9] Bagheri Hariri，B。；Calvanee，D。；蒙塔利，M。；德贾科莫，G。；德马塞利斯，R。；Felli，P.，《描述逻辑知识和行动基础》，J.Artif。智力。研究，46，651-686（2013）·兹比尔1280.68249 ·doi:10.1613/jair.3826 [10] Baral，C。；Gelfond，M。；Minker，J.，《动态域中的推理代理》，基于逻辑的人工智能，257-279（2000），马萨诸塞州波士顿：斯普林格·Zbl 0979.68100号 ·doi:10.1007/978-1-4615-1567-8_12 [11] Cabalar，P。；卡明斯基，R。；Morkisch等人。；Schaub，T。；Balduccini，M。；利勒，Y。；Woltran，S.，telingo=ASP+时间、逻辑编程和非单调推理：第十五届国际会议论文集，LPNMR 2019，费城，宾夕法尼亚州，美国，2019年6月3-7日，256-269（2019），查姆：斯普林格，查姆·Zbl 1522.68105号 ·doi:10.1007/978-3-030-20528-7_19 [12] Calvanee，D.，Kharlamov，E.，Montali，M.，Santoso，A.，Zheleznyakov，D.：不一致软件知识和行动基础的验证。In:2013年国际JCAI会议记录（2013） [13] Chang，L。；施，Z。；Gu，T.等人。；赵，L.，《一系列用于表示和推理动作的动态描述逻辑》，J.Autom。原因。，49, 1, 1-52 (2012) ·Zbl 1276.68142号 ·doi:10.1007/s10817-010-9210-1 [14] Denecker，M。；Theseider Dupré，D。；Van Belleghem，K.，《衍生物的归纳定义方法》，《电子》。事务处理。Artif公司。智力。，2, 25-97 (1998) [15] 艾特，T。；Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Poleres，A.，《知识状态规划的逻辑编程方法：语义和复杂性》，ACM TOCL，5，2，206-263（2004）·Zbl 1367.68301号 ·数字对象标识代码：10.1145/976706.976708 [16] Aguado，F.等人：线性时间时间答案集编程。TPLP，1-55（2021）。https://www.cambridge.org/core/journals/theory-and-practice-of-logic编程/article/lineartime-temporal-answer-set-programming/AB07F1F913DC0068B22E2A929276EDD2 [17] Gelfond，M.：答案集，第7章。摘自：《知识表示手册》。Elsevier（2007） [18] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《第五届逻辑程序设计国际会议和研讨会论文集》，第1070-1080页（1988年） [19] Gelfond，M。；Lifschitz，V.，动作语言，电子。事务处理。Artif公司。智力。，2, 193-210 (1998) [20] 佐丹奴，L。；Martelli，A。；Schwind，C.，《模态动作逻辑中的分枝和因果关系》，J.Log。计算。，10, 5, 625-662 (2000) ·Zbl 0966.68196号 ·doi:10.1093/log/10.5.625 [21] 佐丹奴，L。；Martelli，A。；Schwind，C.，《关于动态线性时间时序逻辑中动作的推理》，《逻辑J.IGPL》，9，2，289-303（2001）·Zbl 0979.03015号 ·doi:10.1093/jigpal/9.2.273 [22] 佐丹奴，L。；Martelli，A。；Theseider Dupré，D.，用时间答案集推理动作，Theor。实际。逻辑程序。，13, 201-225 (2013) ·Zbl 1267.68081号 ·doi:10.1017/S1471068411000639 [23] 佐丹奴，L。；Martelli，A。；Theseider Dupré，D.，通过ASP，J.Log中的有界模型检查实现行为理论验证的完整性。公司。，25, 6, 1307-30 (2015) ·Zbl 1328.68127号 ·doi:10.1093/log.com/ext067 [24] Giordano，L.，Theseider Dupré，D.：加权条件知识库有限多值语义下神经网络推理的ASP方法（2022）。要出现在TPLP中，https://arxiv.org/abs/2202.01123 [25] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，《非单调因果理论》，Artif。智力。，153, 1-2, 49-104 (2004) ·Zbl 1085.68161号 ·doi:10.1016/j.artint.2002.12.001 [26] Giunchiglia，E.，Lifschitz，V.：基于因果解释的动作语言：初步报告。摘自：1998年AAAI/IAAI会议记录，第623-630页（1998年） [27] Heljanko，K。；Niemelä，I.，用稳定模型检验有界LTL模型，Theor。实际。逻辑程序。，3, 4-5, 519-550 (2003) ·Zbl 1079.68058号 ·doi:10.1017/S1471068403001790 [28] 亨利克森，J。；Thiagarajan，P.，动态线性时间-时间逻辑，纯粹应用。逻辑，96，1-3，187-207（1999）·兹伯利0931.03033 ·doi:10.1016/S0168-0072（98）00039-6 [29] Krötzsch，M。；Janhunen，T。；Niemelä，I.，OWL EL的有效推断，人工智能中的逻辑，234-246（2010），海德堡：斯普林格·Zbl 1306.68194号 ·doi:10.1007/978-3-642-15675-5_21 [30] Lifschitz，V.，《情境空间中的框架》，Artif。智力。，46365-376（1990年）·Zbl 0743.68122号 ·doi:10.1016/0004-3702（90）90021-Q [31] Lin，F.：在具体说明行为的间接影响时采用因果关系。收录于：IJCAI 1995，加拿大魁北克省蒙特利尔，1995年8月20日至25日，第2卷，第1985-1993页（1995） [32] 刘，H。；卢茨，C。；米利奇奇，M。；Wolter，F。；费希尔，M。；范德霍克，W。；科涅夫，B。；Lisitsa，A.，《使用描述逻辑与通用TBoxe进行动作推理》，《人工智能中的逻辑》，266-279（2006），海德堡：斯普林格·Zbl 1152.68609号 ·数字对象标识代码：10.1007/11853886_23 [33] McCain，N.，Turner，H.：一个关于分支和限定的因果理论。摘自：《1995年国际JCAI会议录》，第1978-1984页（1995） [34] Thielscher，M.，《分枝与因果关系》，Artif。智力。，89, 1-2, 317-364 (1997) ·Zbl 1018.03514号 ·doi:10.1016/S0004-3702（96）00033-1 [35] Winslett，M.：使用可能的模型方法推理行动。摘自：《AAAI会议记录》，明尼苏达州圣保罗，8月21日至26日，第89-93页（1988年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。