×

兹马思-数学第一资源

选择公理,最大独立集,论证和对话游戏。(英语) Zbl 1427.68297
Neykova,Rumyana(编辑)等人,2014帝国理工学院计算机学生研讨会,ICCSW’14,伦敦,英国,2014年9月25日至26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。OASIcs–OpenAccess服务器。通知。43,91-98(2014年)。
小结:在这项工作中,我们研究无限结构。本文从图论、抽象论证和对话游戏等方面讨论了选择公理和等价公式的重要性、意义和诱惑。重点讨论图论中的最大独立集和抽象论证中的优选语义。
整个系列请参见[Zbl 1329.68035].
理学硕士:
T2687型 人工智能中的逻辑
03E25型 选择公理及其相关命题
05C69型 具有特殊性质的顶点子集(支配集、独立集、团等)
91A80型 博弈论的应用
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 特雷弗·J·M·板凳·卡彭、西尔维·杜特和保罗·E·邓恩。提出正确的问题:在考试对话中强制承诺。在Philippe Besnard、Sylvie Doutre和Anthony Hunter编辑中,第二届计算模型会议论文集 论据(逗号2008),第172卷,第49-60页。IOS出版社,2008年。
[2] Béla Bollobás。现代图论,第184卷。斯普林格,1998年。
[3] Martin Caminada和Dov M.Gabbay。形式论证的逻辑解释。研究 逻辑学,93(2):109-1452009年·Zbl 1188.03011
[4] Martin Caminada和Bart Verheij。关于半稳定扩张的存在性。专业- 第22届比荷卢人工智能大会2010年。
[5] 保罗J科恩。连续统假设的独立性。国家会议记录 美国科学院,50(6):11431963年。
[6] 基思·德夫林。集合的乐趣:当代集合论的基础. 本科数学教材。Springer,Springer Verlag 175 Fifth Avenue,New York,New York 10010,美国,第二版,1994年。
[7] 潘明粪。论论点的可接受性及其在非单调推理、逻辑规划和n人博弈中的基本作用。人工制品。因特尔。,77(2):321-3581995年·6855ZB1013升
[8] 哈维·M·弗里德曼。不变最大团和不完全性,2011。
[9] 库尔特哥德尔。数学原理与系统的形式化。莫纳什。数学。物理。,38(1):173-1981931年·Zbl 0002.00101
[10] 库尔特·哥德尔和乔治·威廉·布朗。选择公理与 集合论公理下的广义连续统假设. 普林斯顿大学出版社,1940年。
[11] 查尔斯·伦纳德·汉布林。谬论. 伦敦,1970年。
[12] 托马斯·杰赫。关于选择的公理。数理逻辑手册,90:345-3701977年。
[13] 托马斯·杰赫。集合论. 斯普林格,第3版,2006年。
[14] 肯尼斯库恩。集合论独立证明导论(逻辑研究) 数学基础). 北荷兰,1983年·Zbl 0534.03026
[15] 彼得·麦克伯尼和西蒙·帕森斯。代理人辩论的对话游戏。阿尔古语- 人工智能中的心理状态,第261-280页。斯普林格,2009年。
[16] 简·梅西尔斯基。关于确定性的公理。基金。数学,53:205-224II,1964年·Zbl 0168.25101
[17] 鲁迪·鲁克。无限与心灵:无限的科学与哲学(普林斯顿) 科学图书馆). 普林斯顿大学出版社,2004年。
[18] 拉乔斯苏库普。无限组合:从有限到无限。组合学视野,第189-213页。斯普林格,2008年·Zbl 1178.05027
[19] 斯蒂芬·图尔敏。论元的用法. 剑桥大学出版社,2003年。
[20] 杰拉德·奥维斯维克和亨利·普拉肯。轻信和怀疑的辩论游戏为首选语义。人工智能中的逻辑,第239-253页。斯普林格,2000年·Zbl 0998.68162
[21] 道格拉斯·N·沃顿。逻辑对话游戏. 美国大学出版社,拉纳姆,马里兰州,1984年。
[22] 道格拉斯·布伦特·韦斯特等人。图论导论,第2卷。普伦蒂斯霍尔上鞍河,2001年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。