施潘灵,克里斯托夫 选择公理、最大独立集、论证和对话游戏。 (英语) 兹比尔1427.68297 Neykova,Rumyana(编辑)等人,2014年帝国理工学院计算机专业学生研讨会,ICCSW’14,英国伦敦,2014年9月25日至26日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。43, 91-98 (2014). 摘要:在这项工作中,我们研究了无限结构。我们讨论了关于图论、抽象论证和对话游戏的选择公理和等价公式的重要性、意义和诱惑。重点是图论中的最大独立集以及抽象论证中的优先语义。关于整个系列,请参见[Zbl 1329.68035号]. 引用于1文件 MSC公司: 68T27型 人工智能中的逻辑 03E25型 选择公理和相关命题 05年6月29日 具有特殊属性的顶点子集(支配集、独立集、团等) 91A80型 博弈论的应用 关键词:选择公理;图论;最大独立集;抽象论证;对话游戏 PDF格式BibTeX公司 XML格式引用 \textit{C.Sparing},OASIcs--OpenAccess服务器。通知。43、91——98(2014年;Zbl 1427.68297) 全文: 内政部 参考文献: [1] 特雷弗·J·M·班奇·卡彭(Trevor J.M.Bench-Capon)、西尔维·多特(Sylvie Doutre)和保罗·E·邓恩(Paul E.Dunne)。提出正确的问题:在考试对话中强制承诺。编辑菲利普·贝斯纳德、西尔维·杜特和安东尼·亨特,第二届计算模型会议记录 自变量(2008年COMMA)第172卷,第49-60页。IOS出版社,2008年。 [2] 贝拉·博洛巴斯。现代图论第184卷。斯普林格,1998年·兹伯利0902.05016 [3] 马丁·卡米纳达(Martin Caminada)和多夫·加巴伊(Dov M.Gabbay)。对形式论证的逻辑解释。Studia公司 Logica公司, 93(2):109-145, 2009. ·Zbl 1188.03011号 [4] Martin Caminada和Bart Verheij。关于半稳定扩张的存在性。在专业- 第22届比荷卢联盟人工智能会议开幕式, 2010. [5] 保罗·科恩。连续统假设的独立性。国家议事录 美利坚合众国科学院, 50(6):1143, 1963. [6] 基思·德夫林。集合的乐趣:当代集合论的基础.数学本科生课文。施普林格,施普林格出版社,美国纽约州第五大道175号,邮编10010,1994年第2版。 [7] Phan Minh Dung公司。论据的可接受性及其在非单调推理、逻辑编程和n人博弈中的基本作用。Artif公司。智力。, 77(2):321-358, 1995. ·Zbl 1013.68556号 [8] 哈维·弗里德曼(Harvey M.Friedman)。不变最大团和不完全性,2011年。 [9] 库尔特·哥德尔。这是一个正式的未经验证的数学原理与系统I。莫纳什。数学。物理学。, 38(1):173-198, 1931. ·Zbl 0002.00101号 [10] 库尔特·哥德尔和乔治·威廉·布朗。选择公理与 集合论公理的广义连续体假设普林斯顿大学出版社,1940年·Zbl 0061.00902号 [11] 查尔斯·伦纳德·汉布林(Charles Leonard Hamblin)。谬误《伦敦大都会报》,1970年。 [12] 托马斯·杰赫。关于选择公理。数学逻辑手册, 90:345-370, 1977. [13] 托马斯·杰赫。集合论Springer,第3版,2006年。 [14] 肯尼思·库恩(Kenneth Kunen)。集合论——独立性证明导论(逻辑研究) 和数学基础)北荷兰,1983年·Zbl 0534.03026号 [15] 彼得·麦克伯尼和西蒙·帕森斯。代理论证的对话游戏。在阿尔古- 人工智能中的心理状态,第261-280页。施普林格,2009年。 [16] Jan Mycielski。关于确定性公理。基金。数学1964年,53:205-224II·Zbl 0168.25101号 [17] 鲁迪·拉克。无限与心灵:无限的科学与哲学(普林斯顿 科学图书馆)普林斯顿大学出版社,2004年。 [18] 拉霍斯·苏库普。无限组合:从有限到无限。在组合学视界,第189-213页。施普林格,2008年·Zbl 1178.05027号 [19] 斯蒂芬·图尔敏(Stephen Toulmin)。论证的用途剑桥大学出版社,2003年。 [20] 杰拉德·AW·弗里斯维克(Gerard AW Vreeswik)和亨利·普拉肯(Henry Prakken)。轻信和怀疑的辩论游戏,为首选语义。在人工智能中的逻辑,第239-253页。斯普林格,2000年·Zbl 0998.68162号 [21] 道格拉斯·N·沃尔顿。逻辑对话框-名称美国大学出版社,马里兰州拉纳姆,1984年。 [22] Douglas Brent West等人。图论导论,第2卷。普伦蒂斯·霍尔(Prentice hall)《上鞍河》(Upper Saddle River),2001年。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。