×

论据的可接受性及其在非单调推理、逻辑编程和人与人博弈中的基本作用。 (英语) Zbl 1013.68556号

摘要:本文的目的是研究人类用于论证的基本机制,并探索在计算机上实现该机制的方法。
我们首先发展一种论证理论,其核心概念是论证的可接受性。然后,我们用两个强有力的论据来论证我们理论的“正确性”或“适当性”。第一个例子表明,人工智能和逻辑编程中非单调推理的大多数主要方法都是我们的论证理论的特殊形式。第二个论点说明了我们的理论如何可以用来研究许多实际问题的逻辑结构。这一论点基于一个结果,该结果表明我们的理论自然地抓住了人与人博弈理论和众所周知的稳定婚姻问题的解决方案。
通过证明论证可以被视为一种特殊的逻辑编程形式,否定即失败,我们介绍了一种基于逻辑编程的生成论证系统元解释器的通用方法,该方法与传统编程中的编译器-编译器思想非常相似。

MSC公司:

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
91A06型 \(n)-人游戏,(n>2)
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] S.J.Alvarado,《论证理解》,S.C.Shapiro主编。,人工智能百科全书S.J.Alvarado,《论证理解》,S.C.Shapiro主编。,人工智能百科全书
[2] Apt,K。;布莱尔,H。;Walker,A.,《走向陈述性知识理论》(Minker,J.,演绎数据库和逻辑编程基础(1988),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
[3] 阿拉文丹,C。;Dung,P.M.,(第三届代数和逻辑程序设计国际会议论文集。第三届国际代数和逻辑编程会议论文集,计算机科学讲稿,632(1992),Springer-Verlag:Springer-Verlag Berlin),也在
[4] (Barth,E.M.;Martens,J.L.,《论证:理论形成的途径》,《辩论:理论形成途径》,CLCS系列(1982年),John Benjamins B.V.:John Benjamins B.V Amsterdam)·Zbl 0532.00004号
[5] 伯恩鲍姆,L。;花,M。;McGuire,R.,《走向人工智能论证模型》(Proceedings AAAI-80)。加利福尼亚州斯坦福市AAAI-80会议记录(1980年),313-315
[6] Birnbaum,L.,《论元分子:论元结构的功能表征》(Proceedings AAAI-82)。《AAAI-82会议记录》,宾夕法尼亚州匹兹堡(1982),63-65
[7] Bondarenko,A。;托尼,F。;Kowalski,B.,《基于假设的非单调推理框架》,特邀论文,(第二届逻辑程序设计和非单调推理国际研讨会论文集。第二届国际逻辑程序设计与非单调推理研讨会论文集,葡萄牙里斯本(1993))
[8] Clark,K.L.,《否定即失败》(Gallaire,H.;Minker,J.,《逻辑与数据库》(1978),《会议室:纽约会议室》)
[9] 科恩,R.,《议论文结构分析》,计算机。语言学,13,1-2,11-24(1987)
[10] M.Davis,博弈论:非技术性介绍M.Davis,博弈论:非技术性介绍·Zbl 1191.91001号
[11] Dung,P.M.,《作为假设的否定:逻辑编程的诱因基础》,(第八届逻辑编程国际会议论文集,第八届国际逻辑编程会议论文集(1991年),巴黎)
[12] Dung,P.M.,《关于逻辑程序的稳定语义和基础良好语义之间的关系》,Theoret。计算。科学。,105, 7-25 (1992) ·Zbl 0774.68028号
[13] Dung,P.M.,《作为对话游戏的逻辑编程》(技术报告(1992),亚洲理工学院计算机科学部:曼谷亚洲理工大学计算机科学部)
[14] Dung,P.M.,《逻辑程序设计与显式否定的论证语义学》,(第十届逻辑程序设计国际会议论文集。第十届国际逻辑程序设计会议论文集,匈牙利布达佩斯(1993))
[15] Dung,P.M.,《论据的可接受性及其在非单调推理和逻辑编程中的基本作用》(Proceedings IJCAI-93)。诉讼程序IJCAI-93,法国尚贝里(1993年)·Zbl 1013.68556号
[16] Eshghi,K。;Kowalski,R.A.,《拐骗与失败否定之比较》,(第六届逻辑程序设计国际会议论文集。第六届国际逻辑程序设计会议论文集,葡萄牙里斯本(1989))
[17] Etherington,D.W.,《不完全信息推理:非单调推理的研究》(AI研究笔记(1987),皮特曼:皮特曼伦敦)·Zbl 0694.68003号
[18] F.Fages、Clarks完成的一致性和稳定模型的存在性,J.方法逻辑计算。科学。F.Fages、Clarks完成的一致性和稳定模型的存在性,J.方法逻辑计算。科学。
[19] Fitting,M.,A.Kripke-Kleene逻辑程序语义,J.logic Program。,2, 295-312 (1985) ·Zbl 0589.68011号
[20] Gabbay,D.,标签演绎系统,CIS Bericht 90-22(1990),第1部分·Zbl 0970.68162号
[21] Gefner,H.,《超越否定即失败》,(《第二届知识表示和推理原则国际会议论文集》,马萨诸塞州剑桥市,第二届国际知识表示与推理原则会议论文集(1991))
[22] Gelfond,M。;Lifschitz,V.,逻辑程序的稳定模型语义,(第五届逻辑程序设计国际会议论文集(1988))
[23] Gelfond,M。;Lifschitz,V.,扩展逻辑编程中的动作表示,(JICSLP-92会议集(1992))
[24] Hintikka,J.(《语言的游戏》(1983),Reidel:荷兰Reidel Dordrecht)
[25] Israel,D.J.,非单调逻辑有什么问题?,(Ginsberg,M.L.,《非单调推理阅读》(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
[26] 卡卡斯,T。;Mancarella,P.,《逻辑程序的稳定理论》(Proceedings ISLP 91(1991))·Zbl 0769.68081号
[27] Kakas,T。;科瓦尔斯基,R。;Toni,F.,外推逻辑编程,J.逻辑计算。,2, 6, 719-770 (1992) ·Zbl 0778.68081号
[28] Kakas,T。;Mancarella,P。;Dung,P.M.,逻辑程序的可接受语义,(第十一届逻辑程序设计国际会议论文集(1994))
[29] Konolige,K.(Ginsberg,M.L.,《非单调推理阅读》(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),另见:·Zbl 0647.68088号
[30] Kowalski,R.A.,(《问题解决逻辑》(1979),爱思唯尔北部-霍兰德:爱思唯尔北部-荷兰德纽约)
[31] Kowalski,R.A.,基于逻辑的开放系统,(斯图加特语篇表示、对话表和逻辑编程会议论文集(1988))
[32] Kowalski,R.A.,《逻辑的局限性及其在人工智能中的作用》(Schmidt,J.W.;Thanos,C.,《知识库管理基础:来自逻辑、数据库和人工智能的贡献》(1989),施普林格-弗拉格出版社:柏林施普林格大学)
[33] Kowalski,R.A.,人工智能中的逻辑编程,IJCAI-91(1991)受邀演讲,澳大利亚悉尼
[34] Kunen,K.,逻辑编程中的否定,《逻辑编程》。,4, 289-308 (1987) ·Zbl 0655.68018号
[35] Kunen,K.,逻辑编程中的符号数据依赖,J.logic Program。,7, 231-245 (1989)
[36] 林,F。;Shoham,Y.,《论元系统:非单调推理的统一基础》,(《第一届知识表示和推理原则国际会议论文集》,《第一届国际知识表示与推理原则会议论文集,安大略省多伦多》(1989))·Zbl 0709.68089号
[37] Lloyd,J.W.(逻辑编程基础(1987),Springer-Verlag:Springer-Verlag Berlin)·Zbl 0547.68005号
[38] 马雷克·W。;Nerode,A。;Remmel,J.,《非单调规则系统理论I》,《数学年鉴》。Artif公司。智力。,1, 241-273 (1990) ·Zbl 0878.68035号
[39] McCarthy,J.(Ginsberg,M.L.,非单调推理阅读(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),另见:·Zbl 0435.68073号
[40] McGuire,R。;伯恩鲍姆,L。;弗劳尔斯,M.,《辩论中的机会主义处理》,(《IJCAI-81。不列颠哥伦比亚省温哥华市IJCAI-81会议记录(1981),58-60
[41] 麦克德莫特,D。;Doyle,J.(Ginsberg,M.L.,非单调推理阅读(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),另见:·兹伯利0435.68074
[42] Moore,R.(Ginsberg,M.L.,非单调推理阅读(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),另见:·Zbl 0569.68079号
[43] 佩雷拉,L.M。;Aparicio,J.N。;Alferes,J.J.,《具有良好语义基础的非单调推理》,(第八届逻辑编程国际会议论文集,第八届国际逻辑编程会议论文集(1991年),巴黎)
[44] Perlis,D.,《论常识推理的一致性》(Ginsberg,M.L.,《非单调推理阅读》(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
[45] Pollock,J.L.,《可推翻的推理》,Cogn。科学。,11, 481-518 (1987)
[46] 波洛克,J.L.,《可废止推理理论》,《国际智能》。系统。,6, 1 (1991)
[47] Pollock,J.L.,《辩护与失败》,Artif。智力。,67, 377-407 (1994) ·Zbl 0807.68085号
[48] Poole,D.,《理论的比较:倾向于最具体的解释》(Proceedings IJCAI-85)。加利福尼亚州洛杉矶市IJCAI-85会议记录(1985年)
[49] Poole,D.,默认推理的逻辑框架,Artif。智力。,36,27-47(1988年)·Zbl 0647.68094号
[50] Poole,D.,《知识对信念的影响:条件作用、特异性和默认推理中的彩票悖论》,Artif。智力。,49, 281-307 (1991) ·Zbl 0737.68074号
[51] Przymusinski,T.C.,《关于演绎数据库和逻辑程序的声明语义》(Minker,J.,《演绎数据库与逻辑编程基础》(1988))·Zbl 0726.68067号
[52] Reiter,R.(Ginsberg,M.L.,非单调推理阅读(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),另见:·Zbl 0435.68069号
[53] Richard,B.,游戏理论语义和逻辑形式,(Hintikka,J.,Radu J.Bogdan(1987),Reidel:Reidel Dordrecht,荷兰)
[54] Sato,T.,《完成的逻辑程序及其一致性》,J.logic Program。,9, 33-34 (1990) ·Zbl 0715.68011号
[55] Sedgewick,R.(C中的算法(1990),Addison-Wesley:Addison-Whesley Reading,MA)·Zbl 0798.68002号
[56] Shubik,M.(《社会科学中的博弈论》(1985),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥)
[57] Simari,G.R。;Loui,R.P.,《不可行推理的数学处理及其实现》,Artif。智力。,53, 125-157 (1992) ·兹比尔1193.68238
[58] Tamaki,H。;Sato,T.,《逻辑程序的展开/折叠变换》(第二届逻辑程序设计国际会议论文集,1984年)
[59] Toulmin,S.(论点的使用(1958),剑桥大学出版社:剑桥大学出版社,英国剑桥)
[60] Van Gelder,A。;Ross,K。;Schlipf,J.S.,《通用逻辑程序的无界集和良好语义》(PODS(1988))·兹比尔0799.68045
[61] Vreeswijk,G.,《在可废止推理中失败的可行性》(《第二届知识表示和推理原则国际会议论文集》,马萨诸塞州剑桥市,第二届国际知识表示与推理原则会议论文集,1991年)·Zbl 0825.68586号
[62] J.Von Neuman和O.Morgenstern,博弈论与经济行为J.Von Neuman和O.Morgenstern,博弈论与经济行为·Zbl 0063.05930号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。