×

默认推理的抽象论证理论方法。 (英语) Zbl 1017.03511号

摘要:我们提出了一个默认推理的抽象框架,其中包括理论家、默认逻辑、逻辑编程、自认知逻辑、非单调模态逻辑和作为特例的某些限制实例。这个框架可以理解为对理论家的概括。这种推广允许任何在单调逻辑中形成的理论都可以通过一组可废止的假设进行扩展。
如果一个假设的“相反”可以被证明,那么它可能会被击败(或被“攻击”),这可能需要借助于其他相互冲突的假设。我们表明,在给定这样一个框架的情况下,大多数默认推理逻辑的标准语义可以理解为认可一组假设,作为给定理论的扩展,当且仅当该组假设是无冲突的(即它不攻击自身),并且它攻击了该组中的每个假设。
我们基于逻辑程序设计中的可容许扩展的概念,提出了一种更自由、更具论证理论的语义。一般来说,我们认为一组假设是可接受的,当且仅当它是无冲突的,并且通过攻击攻击它的每一组假设来自卫。我们确定了扩展存在的条件和不同语义等价的条件。

MSC公司:

03B60号 其他非经典逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alferes,J.J。;Pereira,L.M.,《基于不可反驳错误的论证理论语义学》,(Dix;Pereira;Przymusinski,ICLP’94逻辑编程非单调扩展研讨会论文集(1994))
[2] S.J.Alvarado,《论证理解》,载:S.Shapiro,编辑。,人工智能百科全书; S.J.Alvarado,《论证理解》,载于:S.Shapiro,ed。,人工智能百科全书
[3] 伯恩鲍姆,L。;花,M。;McGuire,R.,《走向人工智能论证模型》(Proceedings AAAI-80)。加利福尼亚州斯坦福市AAAI-80会议记录(1980年),313-315
[4] Apt,K.R。;布莱尔,H。;Walker,A.,《走向陈述性知识理论》(Minker,J.,演绎数据库和逻辑编程基础(1988),Morgan Kaufmann:Morgan Koufmann Los Altos,CA)
[5] 贝克,A.B。;Ginsberg,M.L.,《优先定界的定理证明器》(Proceedings IJCAI-89)。《IJCAI-89会议记录》,密歇根州底特律(1989),463-467
[6] Bondarenko,A。;托尼,F。;Kowalski,R.A.,《非单调推理的基于假设的框架》,(Nerode,A.;Pereira,L.,《第二届逻辑编程和非单调推理国际研讨会论文集》(1993),麻省理工学院出版社:麻省理学院出版社剑桥,MA),171-189
[7] 布鲁卡,G。;Konolige,K.,《一般逻辑程序和其他非单调系统的诱因框架》(Proceedings IJCAI-93)。法国尚伯里(1993),《国际商会会刊-93》,9-15
[8] 布罗基,A。;Lamma,E。;梅洛,P。;Mancarella,P.,《作为开放正程序的正常逻辑程序》(Proceedings ICSLP-92(1992))
[9] Dimopoulos,Y。;卡卡斯,A.C.,《逻辑编程中无否定即失败》(ILPS-95(1995)论文集,麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥)
[10] Dung,P.M.,《否定作为假设:逻辑编程的诱因基础》(Proceedings ICLP-91(1991),MIT Press:MIT Press Cambridge,MA),简称为
[11] Dung,P.M.,《论点的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用》,人工智能,77,321-357(1995)·Zbl 1013.68556号
[12] P.M.Dung,显式否定逻辑编程的论证语义,in:1993年ICLP会议记录; P.M.Dung,显式否定逻辑编程的论证语义,in:1993年ICLP会议记录
[13] Dung,P.M。;Kowalski,R.A。;Toni,F.,非单调推理的论证理论证明程序(1996),草案
[14] Dung,P.M。;Ruamviboonsuk,P.,《用经典否定进行有根有据的推理》(Nerode,A.;Marek,V.W.;Subrahmanian,D.,《第一届逻辑编程和非单调推理国际研讨会论文集》(1991),120-135
[15] Dung,P.M。;Son,T.C.,《非单调继承、论证和逻辑编程》(Marek,V.W.;Nerode,A。;Truszczynski,M.,第三届逻辑编程和非单调推理国际研讨会论文集。《第三届逻辑程序设计和非单调推理国际研讨会论文集》,《人工智能讲义》,928(1995),施普林格:施普林格柏林),316-329·Zbl 1496.68321号
[16] Eshghi,K。;Kowalski,R.A.,《扣除诱拐》(技术报告(1988),帝国理工学院:伦敦帝国理工大学)
[17] Eshghi,K。;Kowalski,R.A.,《拐骗与否定作为失败的比较》(ICLP-89(1989)论文集,麻省理工学院出版社:麻省理学院出版社剑桥)
[18] Geffner,H.,《超越否定即失败》(诉讼KR-91)。《诉讼KR-91》,马萨诸塞州剑桥(1991),218-229·Zbl 0765.68173号
[19] Geffner,H。;Pearl,J.,《条件蕴涵:默认推理方法的桥接》,《人工智能》,第53期,第209-244页(1992年)·Zbl 1193.68235号
[20] Gelfond,M。;Lifschitz,V.,《逻辑编程的稳定模型语义》(Proceedings ICSLP-88(1988),麻省理工学院出版社:麻省理学院出版社剑桥,MA)
[21] Gelfond,M。;Lifschitz,V.,《带有经典否定的逻辑程序》(Warren,D.H.D.;Szeredi,P.,Proceedings ICLP-90(1990),麻省理工学院出版社:麻省理工学出版社剑桥),579-597
[22] Ginsberg,M.L.,《限制定理证明器》,《人工智能》,39,209-230(1989)·Zbl 0677.68096号
[23] 井上,K。;Helft,N.,《关于限制的定理证明者》,(《LPC-90论文集》(1990)),115-123
[24] A.C.卡卡斯(A.C.Kakas),《通过否定作为失败的默认推理》(Default reasoning via negation as failure),载于:G.Lakemeyer和B.Nebel,eds。,ECAI-92知识表示和推理基础研讨会论文集810; A.C.卡卡斯(A.C.Kakas),《通过否定作为失败的默认推理》(Default reasoning via negation as failure),载于:G.Lakemeyer和B.Nebel,eds。,ECAI-92知识表示和推理基础研讨会论文集810
[25] 卡卡斯,A.C。;Kowalski,R.A。;Toni,F.,外推逻辑编程,《逻辑与计算》,2(1993)·Zbl 0778.68081号
[26] A.C.Kakas、R.A.Kowalski和F.Toni,诱拐在逻辑编程中的作用,摘自:人工智能和逻辑编程逻辑手册; A.C.Kakas、R.A.Kowalski和F.Toni,诱拐在逻辑编程中的作用,摘自:人工智能和逻辑编程逻辑手册·Zbl 0778.68081号
[27] 加利福尼亚州卡卡斯。;Mancarella,P。;Dung,P.M.,《逻辑程序的可接受语义》(Van Hentenryck,P.,Proceedings ICLP-94(1994),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),504-519
[28] 卡卡斯,A.C。;Mancarella,P.,《逻辑程序的稳定理论》(Proceedings ISLP-91(1991),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥)·Zbl 0769.68081号
[29] 卡卡斯,A.C。;Mancarella,P.,《首选扩展是部分稳定模型》,J.Logic Programming,14(1992)·Zbl 0769.68081号
[30] Kowalski,R.A。;Toni,F.,Argument and recomination,(《逻辑编程在法律推理中的应用程序FGCS研讨会论文集》,《逻辑编程应用于法律推理的FGCS研讨会文献集》,日本东京(1994))
[31] R.A.Kowalski和F.Toni,《抽象论证人工智能与法律》,即将出版。;R.A.Kowalski和F.Toni,《抽象论证人工智能与法律》,即将出版。
[32] Lifschitz,V.,《界限》(Gabbay,D.;Hogger,C.;Robinson,J.A.,《人工智能和逻辑编程中的逻辑手册》,3(1994),牛津大学出版社:牛津大学出版社,297-352
[33] 林,F。;Shoham,Y.,《论证系统:非单调推理的统一基础》(Proceedings KR-89)。会议记录KR-89,马萨诸塞州剑桥市(1989年)
[34] Lorenzen,P。;Lorenz,K.,(Dialogische Logik(1977),维森沙夫利希-布赫杰塞尔学院:维森沙夫利希-布赫杰塞尔学校-达姆施塔特)
[35] Makinson,D.,《非单调推理中的一般模式》(Gabbay,D.;Hogger,C.;Robinson,J.A.,《人工智能和逻辑编程中的逻辑手册》,第3卷(1994),牛津大学出版社:牛津大学出版社,牛津),35-110
[36] 马雷克·W。;Nerode,A。;Remmel,J.,《非单调规则系统理论I》,《数学年鉴》。Artif公司。智力。,1, 241-273 (1990) ·Zbl 0878.68035号
[37] 马雷克·W。;Nerode,A。;Remmel,J.,《非单调规则系统理论II》,《数学年鉴》。Artif公司。智力。,5, 229-263 (1992) ·Zbl 0865.03017号
[38] McCarthy,J.,《界限——非单调推理的一种形式》,《人工智能》,13,27-39(1980)·Zbl 0435.68073号
[39] McDermott,D.,《非单调逻辑II:非单调模态理论》,J.ACM,29(1982)·Zbl 0477.68099号
[40] Moore,R.,《非单调逻辑的语义考虑》,《人工智能》,25(1985)
[41] Pollock,J.L.,可推翻推理,认知科学。,11, 481-518 (1987)
[42] Pollock,J.L.,《辩护与失败》,《人工智能》,67,377-407(1994)·Zbl 0807.68085号
[43] Poole,D.,默认推理的逻辑框架,人工智能,36,27-47(1988)·Zbl 0647.68094号
[44] Poole,D.,解释和预测:默认和诱因推理的架构,计算。智力。J.,5,97-110(1989)
[45] Poole,D.,默认逻辑,(Gabbay,D.;Hogger,C.;Robinson,J.A.,《人工智能和逻辑编程逻辑手册》,3(1994),牛津大学出版社:牛津大学出版社,189-215
[46] Prakken,H.,《法律论证建模的逻辑工具》(博士论文(1993),阿姆斯特丹自由大学)
[47] 普拉肯,H。;Sartor,G.,《法律语言与法律论证的关系:假设、适用性和动态优先权》(Proceedings ICAIL-95(1995)),1-10
[48] Przymusinski,T.C.,析取逻辑程序和演绎数据库的语义(Proceedings DOOD-91(1991))·Zbl 0726.68067号
[49] Reiter,R.,《默认推理的逻辑》,《人工智能》,第13期,第81-132页(1980年)·Zbl 0435.68069号
[50] Sacca,D。;Zaniolo,C.,《带否定的逻辑程序的稳定模型和非确定性》(ACM SIGMOD-SIGACT数据库系统原理研讨会论文集(1990))
[51] Sato,T.,《完整的逻辑程序及其一致性》,J.logic Programming,9,33-44(1990)·Zbl 0715.68011号
[52] 佐藤,K。;Iwayama,N.,《具有完整性约束的一般逻辑程序的正确自上而下证明程序》,(Lamma,E.;Mello,P.,《第三届逻辑程序扩展国际研讨会论文集》,第三届国际逻辑程序扩展研讨会论文集,人工智能讲义,660(1992),施普林格:施普林格柏林),19-34岁
[53] Shvarts,G.,《自认知模态逻辑》(Proceedings Third Conference on Theory Aspects of Reasoning about Knowledge),第三届知识推理理论研讨会,加州太平洋格罗夫(Pacific Grove)
[54] Simari,G.R。;Loui,R.P.,《不可行推理的数学处理及其实现》,《人工智能》,第53期,第125-157页(1992年)·兹比尔1193.68238
[55] 托尼,F。;Kakas,A.C.,《计算可接受语义》,(Marek,V.W.;Nerode,A.;Truszczynski,M.,《第三届逻辑编程和非单调推理国际研讨会论文集》,《人工智能讲义》,928(1995),施普林格:施普林格柏林),401-415·Zbl 1496.68325号
[56] F.Toni和R.A.Kowalski,将诱因逻辑程序简化为正常逻辑程序,收录于:L.Sterling,ed。,ICLP-95程序; F.Toni和R.A.Kowalski,将诱因逻辑程序简化为正常逻辑程序,收录于:L.Sterling,ed。,ICLP-95程序
[57] Torres,A.,《否定作为失败的支持》(Nerode,A.;Pereira,L.,Proceedings 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning(1993),麻省理工学院出版社:麻省理学院出版社剑桥),223-243
[58] Toulmin,S.(论点的使用(1958),剑桥大学出版社:剑桥大学出版社,马萨诸塞州剑桥)
[59] Touretzky,D.S。;霍蒂,J.F。;Thomason,R.H.,《怀疑论者的管理:非单调继承中的冲突者、抢占者、恢复者和僵尸》(Proceedings IJCAI-91)。会议记录IJCAI-91,悉尼(1991年),Morgan Kaufmann:Morgan Kaufmann Los Altos,CA),478-483·Zbl 0742.68060号
[60] Van Gelder,A。;Ross,K.A。;Schlipf,J.S.,《无基础集和一般逻辑程序的良好语义》(ACM SIGMOD-SIGACT数据库系统原理研讨会论文集(1988))·兹比尔0799.68045
[61] Vreeswijk,G.,《可废止推理中失败的可行性》(诉讼KR-91)。《诉讼KR-91》,马萨诸塞州剑桥市(1991年),摩根考夫曼:摩根考夫曼·洛斯·阿尔托斯,加利福尼亚州)·Zbl 0825.68586号
[62] 你,J.H。;Cartwright,R.,《通过迭代信念修正的可追踪论证语义学》(Proceedings ILPS-94(1994),麻省理工学院出版社:麻省理学院出版社剑桥,MA),239-253
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。