主机名：page-component-848d4c4894-5nwft总加载时间：0渲染日期：2024-06-06T20:19:46.061Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

基于假设的论证中利用增量答案集求解进行推理

剑桥大学出版社在线出版：2021年11月22日

托莫·莱托宁 打开TUOMO LEHTONEN的ORCID记录 [在新窗口中打开] ,
琼斯·P·沃尔纳 以及
MATTI JӒRVISALO公司
托莫·莱顿
附属：
芬兰赫尔辛基赫尔辛基大学（电子邮件：tuomo.lehtonen@helsinki.fi)
琼斯·P·沃尔纳
附属：
奥地利格拉茨格拉茨科技大学（电子邮件：wallner@ist.tugraz.at)
MATTI JӒRVISALO公司
附属：
芬兰赫尔辛基赫尔辛基大学（电子邮件：matti.jarvisalo@helsinki.fi)
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

基于假设的论证（ABA）是一种中心结构的论证形式主义。如最近所示，答案集编程（ASP）能够在实践中有效地解决ABA的NP-hard推理任务，特别是在ABA的常用逻辑编程片段中。在这项工作中，我们利用增量ASP求解的最新进展，为ABA的逻辑编程片段中的推理任务开发有效的算法，这些任务对于多项式层次结构的第二层来说可能很难实现，包括在首选语义下的怀疑推理以及优先推理。特别是，我们为这些任务开发了基于增量ASP求解的非平凡反例引导的抽象精化过程。我们还从经验上证明，这些程序比以前提出的任务算法更有效。

关键词

答案集编程增量答案集求解基于假设的论证结构化论证算法实验评价
类型
原始文章
问询处
逻辑程序设计理论与实践 ,第21卷 ,第六期：第三十七届国际逻辑程序设计会议第二期 2021年11月 第717-734页
检查更新
知识共享
创意通用许可证-CC创意通用许可证-BY
这是一篇开放存取文章，根据知识共享署名许可证的条款分发(http://creativecommons.org/licenses/by/4.0/)它允许在任何介质中无限制地重复使用、分发和复制原始作品，前提是正确引用了原始作品。
版权
©作者，2021年。剑桥大学出版社出版

脚注

*

由芬兰科学院（322869号赠款）、赫尔辛基大学计算机科学博士项目DoCS和奥地利科学基金（FWF）资助的工作：P30168-N31和I2854。

工具书类

包,Z.公司。,采拉斯,英国。和托尼,F。 2017.ABAplus：利用偏好在抽象和结构化论证中进行反向攻击。在程序。主要的。LNCS，第10621卷。施普林格，420-437。谷歌学者
巴罗尼,第页。,加布贝,D。,贾科明,M。和范德托雷,L。，编辑。2018.形式论证手册.学院出版物.谷歌学者
贝斯纳德,第页。和亨特,答：。 2018.基于演绎论证的论证综述.英寸形式论证手册.学院出版物，第章9,437–484.谷歌学者
邦达伦科,答：。,粪,下午。,科瓦尔斯基,注册会计师。和托尼,F。 1997.默认推理的抽象论证理论方法.人工智能93,63–101.10.1016/S0004-3702（97）00015-5交叉参考谷歌学者
布鲁卡,G.公司。,德尔格朗德,J.P.公司。,罗梅罗,J。和绍布,T。 2015.asprin：自定义答案集首选项，不会让人头疼。程序中。啊啊啊AAAI出版社，1467-1474。谷歌学者
卡米纳达,M。和舒尔茨,C、。 2017.基于假设的论证与逻辑编程的等价性.人工智能研究杂志60,779–825.10.1613/日本.5581交叉参考谷歌学者
塞鲁蒂,F。,加格尔,第A.条。,Thimm公司,M。、和沃纳,J.P.公司。 2018.形式论证的实现基础.英寸形式论证手册.大学出版物，第章15,688–767.谷歌学者
克拉克,电子显微镜。,格伦贝格,O。,杰哈,美国。,卢,年。和魏思,H。 2003。用于符号模型检查的反示例引导抽象细化。ACM杂志50，5, 752–794.谷歌学者
克拉克,电子显微镜。,古普塔,答：。和斯特里赫曼,O。 2004.基于SAT的反例引导抽象精化.IEEE集成电路和系统计算机辅助设计汇刊23,7,1113–1123.10.1109/TCAD.2004年8月29日交叉参考谷歌学者
克雷文,R。和托尼,F。 2016.论证图和基于假设的论证.人工智能233,1–59.谷歌学者
克雷文,R。,托尼,F。和威廉姆斯,M。 2013基于假设的论证中基于图形的争议推导。在TAFA 2013年修订论文集LNCS，第8306卷。施普林格，46–62岁。谷歌学者
采拉斯,英国。 2017.ABA+：基于假设和偏好的论证。英国伦敦帝国理工学院博士论文。谷歌学者
采拉斯,英国。,风扇,十、。,舒尔茨,C、。和托尼,F。 2018基于假设的论证：争议、解释、偏好。在形式论证手册大学出版物，第7章，365–408。谷歌学者
采拉斯,英国。和奥利维拉,T。 2019.使用论证解决临床指南中的冲突。在程序。AAMAS公司。IFAAMAS，1731-1739年。谷歌学者
采拉斯,英国。和托尼,F。 2016a.ABA+：基于假设的有偏好的论证。程序中。韩国AAAI出版社，553–556。谷歌学者
采拉斯,英国。和托尼,F。 2016b.非单调推理的ABA+属性。在程序。核磁共振. 25–34.谷歌学者
季莫普洛斯,年。,内贝尔,B。和托尼,F。 2002基于假设的默认推理论证的计算复杂性。人工智能141，1/2, 57–78.谷歌学者
粪,下午。,科瓦尔斯基,注册会计师。和托尼,F。 2006.基于假设的可接受论证的辩证证明程序.人工智能170,2,114–159.2016年10月10日/j.artint.2005.07.002交叉参考谷歌学者
粪,下午。,托尼,F。和曼卡雷拉,第页。 2010.实用论证系统的一些设计指南。在程序。COMMA公司FAIA，第216卷。IOS出版社，183-194年。谷歌学者
风扇,十、。和托尼,F。 2016游戏、辩论和对话之间的相互作用。在程序。AAMAS公司。美国医学会，260-268。谷歌学者
风扇,十、。,托尼,F。,莫卡努,答：。和威廉姆斯,M。 2014对话式双主体决策与基于假设的论证。在程序。美国原子能机构IFAAMAS/ACM，533–540。谷歌学者
盖特纳,D。和托尼,F。 2007CaSAPI：一种轻信和怀疑的论证系统。在程序。核磁共振. 80–95.谷歌学者
加尔卡,A.J.公司。和西马里,G.R.公司。 2018.基于逻辑编程的论证.英寸形式论证手册.学院出版物，第章8,409–435.谷歌学者
格布泽,M。,卡明斯基,R。,考夫曼,B。,奥斯特罗斯基,M。,绍布,T。和旺科,第页。 2016。使用Clingo 5可以轻松解决理论问题。在ICLP的技术交流.OASICS公司。达格斯图尔-莱布尼茨-泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），2:1–2:15。谷歌学者
格布泽,M。,考夫曼,B。,卡明斯基,R。,奥斯特罗斯基,M。,绍布,T。和施耐德,麻省理工学院。 2011.Potasco：波茨坦答案集求解集合.AI通信24,2,107–124.10.3233/AIC-2011-0491交叉参考谷歌学者
Gelfond公司,M。和利夫席茨,五、。 1988逻辑编程的稳定模型语义。程序中。ICLP/SLP。麻省理工学院出版社，1070-1080。谷歌学者
卡明斯基,R。,罗梅罗,J。,绍布,T。和旺科,第页。 2020.如何构建自己的基于ASP的系统？！CoRR abs/2008.06692.2017年10月17日/S1471068421000508交叉参考谷歌学者
莱赫托宁,T。,沃纳,J.P.公司。和贾维萨洛,M。 2017从结构化论证到抽象论证：通过AF推理进行基于假设的接受。程序中。ECSQARU公司。LNCS，第10369卷。施普林格，57-68岁。谷歌学者
莱赫托宁,T。,沃纳,J.P.公司。和贾维萨洛,M。 2021a。基于假设的论证的声明性算法和复杂性结果.人工智能研究杂志71,265–318.10.1613/jair.1.12479交叉参考谷歌学者
莱赫托宁,T。,沃纳,J.P.公司。和贾维萨洛,M。 2021b.在基于假设的论证中，利用增量答案集求解进行推理。CoRR绝对值/2108.04192。 谷歌学者
莫吉尔,美国。和普拉肯,H。 2018.基于抽象规则的论证.英寸形式论证手册.学院出版物，第章6,287–364.谷歌学者
尼梅莱,一、。 1999.具有稳定模型语义的逻辑程序作为约束编程范式.数学与人工智能年鉴25,3–4,241–273.10.1023/A:1018930122475交叉参考谷歌学者
托尼,F。 2013.基于假设的论证中争议推导的通用框架.人工智能195,1–43.谷歌学者
托尼,F。 2014.基于假设的论证教程.论证与计算5,1,89–117.10.1080/19462166.2013.869878交叉参考谷歌学者
补充材料：PDF

Lehtonen等人补充材料

Lehtonen等人补充材料

下载Lehtonen等人补充材料（PDF）
PDF格式101.7 KB