安东尼·科恩（Anthony G.Cohn）。;阿奇尔·瓦尔齐（Achille C.Varzi）。 单拓扑连接。 （英语） Zbl 1030.03012号 J.菲洛斯。日志。 32，编号4357-390（2003）. 摘要：本文概述了一个用于研究和比较各种单拓扑理论的模型理论框架。在第一部分中，我们考虑了表征单拓扑的不同方法，涉及（i）连接原语的预期解释，以及（ii）可容许量化域的组成（例如，它们是否包含边界元素）。第二部分通过考虑两个进一步的维度来扩展这项研究，沿着这两个维度可以对不同的拓扑连接模式进行分类——连接的强度及其多样性。 引用于8文件 理学硕士： 03B30型 经典理论基础（包括逆向数学） 68T27型 人工智能中的逻辑 03C98号 模型理论的应用 关键词：边界;联系关系;单拓扑;空间本体论;局部-整体关系;空间推理 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn}和\textit{A.C.Varzi}，J.Philos。日志。32，第4号，357--390（2003；Zbl 1030.03012） 全文： 内政部 参考文献： [1] Asher，N.和Vieu，L.：《走向常识的几何：单拓扑的语义和完全公理化》，载于《第十四届国际人工智能联合会议论文集》，Morgan Kaufmann，San Mateo，CA，1995年，第846–852页。 [2] Aurnague，M.和Vieu，L.：空间语义的三级方法，见C.Z.Wibbelt（编辑），《介词的语义：从心理处理到自然语言处理》，Mouton de Gruyter，柏林，1993年，第393-439页。 [3] Bennett，B.：《切割空间：构建绝对完整的空间区域理论的步骤》，载于J.J.Alfres、L.M.Pereira和E.Orlowska（编辑），《第五届欧洲人工智能逻辑研讨会论文集》（JELIA'96），施普林格，柏林，1996年，第337–353页。 [4] Biacino，L.和Gerla，G.：连接结构，《圣母院J.形式逻辑》32（1991），242-247·Zbl 0749.06004号 ·doi:10.1305/ndjfl/1093635748 [5] Biacino，L.和Gerla，G.：连接结构：Grzegorczyk和Whitehead的点定义，《圣母院J.形式逻辑》37（1996），431-439·Zbl 0877.51006号 ·doi:10.1305/ndjfl/1039886519 [6] Bolzano，B.：Paradoxien des Unendlichen，Reclam，莱比锡，1851年（D.A.Steele的英语翻译，《无限的悖论》，Routledge&Kegan Paul，伦敦，（1950）·Zbl 0134.24601号 [7] Borgo，S.、Guarino，N.和Masolo，C.：基于强连接和同余的无意义空间理论，载于L.Aiello、J.Doyle和S.Shapiro（编辑），《知识表示和推理原则：第五届国际会议论文集》，Morgan Kaufmann，加利福尼亚州旧金山，1996年，第220-229页。 [8] 布伦塔诺（Brentano，F.）：《哲学》（Philosophische Untersuchungen zu Raum，Zeit und Kontinuum），编辑S.Körner和R.M.Chisholm，汉堡迈纳（Meiner，Hamburg），1976年（英译：B.Smith，《关于空间、时间和连续体的哲学研究》，克鲁姆·赫尔姆（Croom Helm），伦敦，1988年）。 [9] Cartwright，R.：《分散的物体》，收录于K.Lehrer（编辑），《分析与形而上学》，莱德尔，多德雷赫特出版社，1975年，第153-171页。 [10] Casati，R.和Varzi，A.C.：《洞和其他表面》，麻省理工学院出版社/布拉德福德出版社，马萨诸塞州剑桥和伦敦，1994年。 [11] Casati，R.和Varzi，A.C.：空间定位的结构，Philos。螺柱82（1996），205-239·doi:10.1007/BF00364776 [12] Casati，R.和Varzi，A.C.：零件和位置。《空间表征的结构》，麻省理工学院出版社/布拉德福德出版社，马萨诸塞州剑桥和伦敦，1999年。 [13] Chisholm，R.M.：《作为依赖细节的边界》，《格雷泽哲学研究》第10期（1984年），第87–95页。 [14] Chisholm，R.M.：《分散的物体》，摘自J.J.Thomson（编辑），《关于存在和说话：理查德·卡特赖特的论文》，麻省理工学院出版社，马萨诸塞州剑桥，1987年，第167-173页。 [15] Chisholm，R.M.：空间连续性和部分与整体理论。布伦塔诺研究，布伦塔诺研究4（1992/3），11-23。 [16] 克拉克，B.L.：基于“联系”的个体演算，《圣母院J.形式逻辑》22（1981），204-218·doi:10.1305/ndjfl/1093883455 [17] Clarke，B.L.：《个体与观点》，圣母院J·形式逻辑26（1985），61-75·Zbl 0597.03005号 ·doi:10.1305/ndjfl/1093870761 [18] Clementini，E.和Di Felice，P.：线的拓扑不变量，IEEE Trans。知识与数据工程10（1998），38-54·doi:10.1109/69.667085 [19] Clementini，E.、Di Felice，P.和Oosterom，P.：一组适合最终用户交互的形式拓扑关系，载于D.Abel和B.C.Ooi（编辑），《空间数据库的进展》，第三届国际研讨会论文集（SSD’93），柏林斯普林格，1993年，第277-295页。 [20] Cohn，A.G.，Bennett，B.，Gooday，J.和Gotts，N.：RCC:基于区域的定性空间推理演算，GeoInformatica 1（1997），275–316·doi:10.1023/A:1009712514511 [21] Cohn A.G.和Hazarika，S.M.：定性空间表示和推理：概述，基金。通知。45 (2001), 1–29. ·Zbl 0974.68206号 [22] Cohn，A.G.，Randell，D.A.和Cui，Z：逻辑定义的定性空间区域的分类，国际。《人类计算机研究杂志》43（1995），831-846·doi:10.1006/ijhc.1995.1077 [23] Cohn，A.G.和Varzi，A.C.：《言语心理学中的联系关系》，H.Prade（编辑），《第13届欧洲人工智能会议论文集》（ECAI 98），Wiley，Chichester，1998年，第150–154页。 [24] Cohn，A.G.和Varzi，A.C.：连接模式，见C.Freksa和D.M.Mark（编辑），空间信息理论。地理信息科学的认知和计算基础（COSIT’99会议录），柏林斯普林格，1999年，第299-314页。 [25] De Laguna，T.：点、线和曲面，作为实体集，J.Philos。19 (1922), 449–461. ·doi:10.2307/2939504 [26] Düntsch，I.和Orlowska，E.：接触关系代数的证明系统，J.Philos。逻辑29（2000），241-262·Zbl 0956.03052号 ·doi:10.1023/A:1004764610651 [27] Egenhofer，M.J.、Clementini，E.和Di Felice，P.：有洞区域之间的拓扑关系，国际。J.地质。通知。系统8（1994），129-144·doi:10.1080/02693799408901990 [28] Egenhofer，M.J.和Franzosa，R.D.：点集拓扑空间关系，国际。J.地质。通知。系统5（1991），161-174·doi:10.1080/02693799108927841 [29] Egenhofer，M.J.和Franzosa，R.D.：关于拓扑关系的等价性，国际。J.地质。通知。Systems bd9（1995），133-152·doi:10.1080/02693799508902030 [30] Egenhofer，M.和Herring，J.：《点、线和面对象之间的拓扑空间关系分类》，载于《9交叉：形式主义及其在自然语言空间谓词中的使用》，技术报告94-1，国家地理信息与分析中心，加利福尼亚州圣巴巴拉，1994年。 [31] Eschenbach，C.：“点”的单拓扑定义，见C.Eschenbache，C.Habel和B.Smith（编辑），《认知科学的拓扑基础》。汉堡大学第一国际认知科学暑期研究所（布法罗，1994年）研讨会论文，认知科学博士项目报告，第37期，1994年，第63-80页。 [32] Fine，K.：《部分整体》，B·史密斯和D·W·史密斯主编，《剑桥胡塞尔指南》，剑桥大学出版社，纽约，1995年，第463–485页。 [33] Fleck，M.M.：《边界的拓扑结构》，《人工智能》第80期（1996年），第1-27页·doi:10.1016/0004-3702（94）00051-4 [34] Freksa，C.：基于半区间的时间推理，人工智能54（1992），199–227·doi:10.1016/0004-3702（92）90090-K [35] Galton，A.P.：《在定性空间推理中认真对待维度》，W.Wahlster（编辑），《第十二届欧洲人工智能会议论文集》（ECAI 96），Wiley，Chichester，1996年，第501-505页。 [36] Galton，A.：《重叠模式》，《视觉语言与计算》9（1998），61-79·doi:10.1006/jvlc.1997.0071 [37] Galton，A.P.：《定性空间变化》，牛津大学出版社，牛津，2000年·Zbl 0953.68129号 [38] Gerla，G.：《无点几何》，F.Buekenhout（编辑），《关联几何手册》，Elsevier，阿姆斯特丹，1995年，第18章，第1015-1031页·Zbl 0842.51006号 [39] 戈茨，N.M.：《认知科学的拓扑基础》（Topological Foundations of Cognitive Science），C.Eschenbach、C.Habel和B.Smith（eds）合著，定义“甜甜圈”变得很困难。汉堡大学第一国际认知科学暑期研究所（布法罗，1994年）研讨会论文，认知科学博士项目报告，第37期，1994年，105–129页。 [40] Gotts，N.M.：《形式化常识拓扑：INCH演算》，H.Kautz和B.Selman（编辑），《第四届人工智能与数学国际研讨会论文集》（AI/Math-96），佛罗里达州劳德代尔堡，1996年，第72–75页。 [41] Gotts，N.M.、Gooday，J.M.和Cohn，A.G.：基于连接的通用拓扑描述和推理方法，《一元论》79（1996），51-75。 [42] Grzegorczyk，A.：《无点几何的公理化》，《综合》12（1960），109-127·兹伯利0201.32104 ·doi:10.1007/BF00485101 [43] Guarino，N.（编辑）：信息系统中的形式本体。《FOIS-98会议记录》，IOS出版社，阿姆斯特丹，1998年。 [44] Hazarika，S.M.和Cohn，A.G.：《定性时空连续性》，D.R.Montello（编辑），《空间信息理论：地理信息科学基础》（COSIT’01会议录），柏林斯普林格，2001年，第92-107页·Zbl 1042.68739号 [45] 胡塞尔（Husserl，E.）：《逻辑》（Logische Untersuchungen）。茨威特乐队。Untersuchungen zur Phänomonologie und Theorye der Erkentnis，Halle Niemeyer，1901年（1913年第二版；J.N.Findlay译英，《逻辑研究》，Routledge&Kegan Paul，伦敦，1970年）。 [46] 库拉托夫斯基，C.：苏尔奥佩里奥A？基金会现场分析。数学。3 (1922), 182–199. [47] Le she niewski，S.：Podstawy ogólnej teoryi mnogo she ci。一、 Prace Polskiego Kola Naukowego w Moskwee，Moskwie，Moscow，1916年（D.I.Barnett，《集合的一般理论基础》，英语翻译，I，收录于S.Le se niewski，《文集》，编辑于S.J.Surma，J.Srzednicki，D.I.巴内特和F.V.Rickey，Nijhoff，Dordrecht，1992年，第1卷，第129-173页）。 [48] Leonard，H.S.和Goodman，N.：《个体演算及其应用》，《符号逻辑杂志》第5期（1940年），第45-55页·Zbl 0023.28903号 ·doi:10.2307/2266169 [49] Pianesi，F.和Varzi，A.C.：精炼事件结构中的时间参照，《圣母院J.形式逻辑》37（1996），71-83·Zbl 0855.03018号 ·doi:10.1305/ndjfl/1040067317 [50] Pianesi，F.和Varzi，A.C.：事件、拓扑和时间关系，《一元论》78（1996），89-116·兹比尔0855.03018 [51] Pratt，I.和Schoop，D.：实平面多边形单拓扑的完整公理系统，J.Philos。逻辑27（1998），621-658·兹布尔0921.03009 ·doi:10.1023/A:1004361501703 [52] Randell，D.A.和Cohn，A.G.：物理过程中的拓扑和度量特性建模，见R.J.Brachman、H.J.Levesque和R.Reiter（编辑）《知识表示和推理原理》。《第一届国际会议记录》，Morgan Kaufmann，Los Altos，CA，1989年，第357-368页·Zbl 0709.68093号 [53] Randell，D.A.、Cui，Z和Cohn，A.G.：基于区域和连接的空间逻辑，收录于B.Nebel，C.Rich和W.Swartout（编辑）《知识表示和推理原理》。《第三届国际会议记录》，Morgan Kaufmann，Los Altos，CA，1992年，第165-176页。 [54] 西蒙斯，P.M.：零件。《本体论研究》，克拉伦登出版社，牛津，1987年。 [55] Simons，P.M.：《自由部分全孔理论》，载于K.Lambert（主编），《自由逻辑的哲学应用》，牛津大学出版社，1991年，第285-306页。 [56] Smith，B.：《边界》，L.Hahn（编辑），《罗德里克·奇索姆的哲学》，伊利诺伊州拉萨尔公开法庭，1997年，第534-561页。 [57] Smith，B.：《单拓扑学：部分和边界理论》，《数据与知识工程》20（1996），287-304·兹伯利0875.68387 ·doi:10.1016/S0169-023X（96）00015-8 [58] Smith，B.和Varzi，A.C.：《利基》，《No Do’s 33》（1999），第214-238页·Zbl 1366.03135号 [59] Smith，B.和Varzi，A.C.：菲亚特和真正的边界，菲洛斯。现象。第60号决议（2000年），401-420·doi:10.2307/2653492 [60] Stock，O.（编辑）：《空间和时间推理》，Kluwer，Dordrecht，1997年。 [61] 塔斯基（Tarski，A.）：《兵团基金会》，Ksiie390-01ga Pamiétkowa Pierwszkego Polskiego Zjazdu Matematycznego，《波兰数学年鉴》（Annales de la SociétéPolonaise de Mathématique）第7期（1929年），第29–33页。 [62] Tarski，A.：《Zur Grundlegung der Booleschen代数》。一、 基金。数学。24 (1935), 177–198. [63] Tiles，J.E.：《发生的事情》，阿伯丁大学出版社，阿伯登，1981年。 [64] Varzi，A.C.：《零件、整体和零件-整体关系：单拓扑的前景》，《数据与知识工程》第20卷（1996年），第259-286页·Zbl 0875.68388号 ·doi:10.1016/S0169-023X（96）00017-1 [65] Varzi，A.C.：《关于空间的推理：洞的故事》，《逻辑与逻辑哲学》4（1996），第3-39页·Zbl 0983.03008号 [66] 瓦尔齐，A.C.：《边界、连续性和接触》，《第31号》（1997），第26-58页·Zbl 1366.03149号 [67] 怀特黑德，A.N.：过程与现实。《宇宙学论文》，麦克米伦，纽约，1929年。 [68] 齐默尔曼，D.W.：《不可分割的部分和延伸的对象：拓扑学史前史中的一些哲学插曲》，《一元论》79（1996），148-180。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。