×

选择公理、最大独立集、论证和对话游戏。 (英语) 兹比尔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号].

MSC公司:

68T27型 人工智能中的逻辑
03E25型 选择公理和相关命题
05年6月29日 具有特殊属性的顶点子集(支配集、独立集、团等)
91A80型 博弈论的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。