×
Johannes Oetsch；约格·普勒；汉斯·托姆皮茨

描述逻辑程序的逐步调试。 （英语） Zbl 1357.68039号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，492-508（2012）。
摘要：描述逻辑程序（简称DL-programs）将答案集语义下的逻辑程序与用于语义web推理的描述逻辑相结合。为了让语义web工程师更广泛地接受形式主义，拥有足够的工具支持程序开发过程至关重要。尤其需要调试DL-programs的方法。在本文中，我们介绍了一个通过DL程序进行交互式单步调试的框架，该框架基于标准应答程序的单步调试最新结果。为此，我们使用基于用户认为在程序中处于活动状态的规则和由此产生的中间解释的状态，为DL程序提供了一个计算模型。在步进过程中，后续状态的解释演变为整个程序的答案集。与标准应答程序相比，我们需要更多有关DL-原子存在时的状态和计算的概念。特别是，如果涉及非凸DL原子，我们必须考虑非稳定计算。直观地说，我们通过允许用户假设命题原子的真理来实现这一点，命题原子必须在随后的状态中被证明是正确的。为了跟踪这些额外的原子，我们为DL程序扩展了众所周知的毫无根据的集合的概念。
有关整个系列，请参见[Zbl 1241.68016号].

引用于三文件

MSC公司：

68N17号 逻辑编程
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}等人，Lect。票据计算。科学。7265，492--508（2012；Zbl 1357.68039）
全文： 内政部

参考文献：

[1] Eiter，T.、Ianni，G.、Lukasiewicz，T.，Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。人工智能172（12-13），1495-1539（2008）·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[2] Lifschitz，V.：什么是答案集编程？摘自：第23届AAAI人工智能会议记录（AAAI 2008），第1594-1597页。AAAI出版社（2008）
[3] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.、Patel-Schneider，P.：《描述逻辑手册：理论、实现和应用》。剑桥大学出版社（2003）·Zbl 1058.68107号
[4] Oetsch，J.、Pührer，J.和Tompits，H.：逐步完成答案集程序。摘自：Delgrand，J.P.，Faber，W.（编辑）LPNMR 2011。LNCS，第6645卷，第134-147页。斯普林格，海德堡（2011）·Zbl 1327.68068号 ·doi:10.1007/978-3-642-20895-9_13
[5] Faber，W.，Pfeifer，G.，Leone，N.：答案集编程中递归聚合的语义和复杂性。人工智能175（1），278–298（2011）·Zbl 1216.68263号 ·doi:10.1016/j.artint.2010.04.002
[6] Eiter，T.、Ianni，G.、Schindlauer，R.、Tompits，H.：答案集编程中高阶推理和外部评估的统一集成。摘自：《第19届国际人工智能联合会议论文集》（IJCAI 2005），专业图书中心，第90-96页（2005）
[7] Gelfond，M.，Lifschitz，V.：经典否定逻辑程序。摘自：《第七届逻辑程序设计国际会议论文集》（ICLP 1990），第579–597页（1990）
[8] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算9（3/4），365-386（1991）·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[9] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：Kowalski，R.A.，Bowen，K.（编辑）《第五届逻辑编程国际会议论文集》（ICLP 1988），西雅图，华盛顿州，美国，第1070–1080页。麻省理工学院出版社（1988）
[10] Leone，N.，Rullo，P.，Scarcello，F.：非虚拟稳定模型：无基集合、不动点语义和计算。信息与计算135（2），69–112（1997）·Zbl 0879.68019号 ·doi:10.1006/inco.1997.2630
[11] Faber，W.：具有任意聚合的析取逻辑程序的无界集。收录于：Baral，C.，Greco，G.，Leone，N.，Terracina，G.（编辑）LPNMR 2005。LNCS（LNAI），第3662卷，第40-52页。斯普林格，海德堡（2005）·Zbl 1152.68405号 ·doi:10.1007/11546207_4
[12] Oetsch，J.、Pührer，J.和Tompits，H.：捕捉毒蛇：调试非地面应答程序。逻辑程序设计理论与实践10（4-5），513–529（2010）·兹比尔1213.68182 ·doi:10.1017/S1471068410000256
[13] Brain，M.、Gebser，M.，Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S.：通过ASP调试ASP程序。收录人：Baral，C.、Brewka，G.、Schlipf，J.（编辑）LPNMR 2007。LNCS（LNAI），第4483卷，第31-43页。斯普林格，海德堡（2007）·Zbl 1149.68326号 ·doi:10.1007/978-3-540-7200-7-5
[14] Pührer，J.、El Ghali，A.、Chniti，A.、Korf，R.、Schwichtenberg，A.、Lévy，F.、Heymans，S.、Xiao，G.、Eiter，T.:D2.3一致性维护。中间报告。技术报告，ONTORULE IST-2009-231875项目（2010）
[15] Pührer，J.，Heymans，S.，Eiter，T.：使用DL-Programs组合本体论和规则时处理不一致性。收录人：Aroyo，L.、Antoniou，G.、Hyvönen，E.、ten Teije，A.、Stuckenschmidt，H.、Cabral，L.和Tudorace，T.（编辑）ESWC 2010。LNCS，第6088卷，第183-197页。斯普林格，海德堡（2010）·Zbl 05725338号 ·doi:10.1007/978-3-642-13486-9_13
[16] Syrjänen，T.：调试不一致的答案集程序。摘自：第十一届非单调推理国际研讨会论文集（NMR 2006），德国克劳斯塔尔，信息研究所，克劳斯塔尔科技大学，技术报告，第77-83页（2006）
[17] Brain，M.，De Vos，M.：在答案集语义下调试逻辑程序。摘自：第三届答案集编程研讨会论文集：理论与实现进展，ASP 2005。CEUR研讨会论文集，CEUR-WS.org，第142卷，第140-152页（2005年）
[18] Calimeri，F.、Leone，N.、Ricca，F.和Veltri，P.：DLV的可视化示踪剂。摘自：《第二届答案集编程软件工程研讨会论文集》（SEA 2009），《2009-20年技术报告》，巴斯大学，第79-93页（2009）
[19] Pontelli，E.，Son，T.C.，El-Khatib，O.：答案集语义下逻辑程序的合理性。逻辑程序设计理论与实践9（1），1-56（2009）·Zbl 1170.68005号 ·文件编号：10.1017/S1471068408003633
[20] Liu，L.，Pontelli，E.，Son，T.C.，Truszczyski，M.：具有抽象约束原子的逻辑程序：计算的作用。人工智能174（3-4），295–315（2010）·Zbl 1207.68119号 ·doi:10.1016/j.artint.2009.11.016
[21] Wang，Y.，You，J.H.，Yuan，L.Y.，Shen，Y.D.，Zhang，M.：描述逻辑程序基于循环公式的语义。理论计算机科学415，60–85（2012）·Zbl 1255.68149号 ·doi:10.1016/j.tcs.2011.10.026
[22] Heymans，S.、Eiter，T.、Xiao，G.：基于数据日志可读描述逻辑的dl-programs可牵引推理。摘自：《第19届欧洲人工智能会议论文集》（ECAI 2010）。《人工智能与应用前沿》，第215卷，第35-40页。IOS出版社（2010）·Zbl 1211.68402号
[23] McGuinness，D.L.，Borgida，A.：解释描述逻辑中的包含。摘自：《第十四届国际人工智能联合会议记录》（IJCAI 1995），第816–821页。Morgan Kaufmann（1995）
[24] Borgida，A.，Franconi，E.，Horrocks，I.：解释ALC吸纳。摘自：1999年描述逻辑国际研讨会论文集（DL 1999）。CEUR研讨会记录，CEUR-WS.org，第22卷，第33-36页（1999年）
[25] Deng，X.，Haarslev，V.，Shiri，N.：解释描述逻辑推理的基于分辨率的框架。摘自：2005年描述逻辑国际研讨会论文集（DL 2005）。CEUR研讨会记录，CEUR-WS.org，第147卷（2005年）
[26] Schlobach，S.，Cornet，R.：用于调试描述逻辑术语的非标准推理服务。收录：Gottlob，G.，Walsh，T.（编辑）《第十八届国际人工智能联合会议论文集》（IJCAI 2003），第355–362页。Morgan Kaufmann（2003）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。