｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,6,5]]，“date time”：“2024-06-05T12:59:23Z”，“timestamp”：1717592363003｝，“reference count”：57，“publisher”：“Centre pour la Communication Scientifique Directe（CCSD）”，“license”：[｛“start”：｛“date parts”：[[2006,6,22]]，“date time”：“2006-06-22T00:00:00Z”，“timestamp”：1150934400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”推理空间区域之间关系的逻辑形式在地理信息系统、空间和约束数据库以及人工智能中的空间推理中发挥着基础性作用。与Halpern和Shoham基于Allen关系的时间间隔模态逻辑类似，我们引入了一类具有八个模态算子的模态逻辑，这些模态算子由实平面等拓扑空间中区域之间的Egenhofer-Franzosa（或RCC8）关系来解释。我们研究了以这种方式获得的逻辑的表达能力和计算复杂性。事实证明，我们的模态逻辑与一阶逻辑的两变量片段具有相同的表达能力，但却不那么简洁。复杂性从（不可判定和）递归可枚举到高度不可判定，其中递归可枚举逻辑是通过考虑拓扑空间诱导的结构子结构获得的。由于我们的不可判定性结果还捕获了基于实线的逻辑，因此它们改进了Halpern和Shoham对区间时序逻辑的不可判别性结果。我们还基于五个RCC5关系分析了模态逻辑，在表达能力方面的结果相似，但在复杂性方面的结果较弱<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（2:5）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:27:27Z“，”timestamp“：1164274047000}，”source“：“Crossref”，“is-referenced-by-count”：16，“title”：[“拓扑关系的模态逻辑”]，“prefix”：“10.46298”，“volume”：“volume 2，Issue 2”，“author“：[{”given“：”Carsten“，”family“：”Lutz“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Frank”，”family”：“Wolter”，“sequence”：“additional”，“affiliation:[]}]，”member“：”25203“，”published-on-line“：{”date-parts“：[[2006,6,22]]}“reference“：[{”key“10.2168\/LMCS-2（2:5）2006_Artale-Franconi-98”，“首页”：“463”，“卷”：“9”，“作者”：“A.Artale and E.Franconi”，“年份”：“1998”，“journal-title“：《人工智能研究杂志》（JAIR）1998年”}，{“key”：“10.2168”\/LMCS-2（2:5）2006_Allen-83”，“doi-asserted-by”：“publisher”，“doi”：“10.1145”\/182.358434”}84）90008-0“，“卷”：“23”，“作者”：“J.F。Allen，“年份”：“1984年”，“期刊标题”：“人工智能”}，{“key”：“10.2168”\/LMCS-2（2:5）2006_AilloBenthem”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Aiello and J.van Benthem.A modal walk through space.journal of Applied Non-Classical logic，pages 319-3632002。”，“doi”：“10.3166\/jancl.12.319-363”}、{“key”：”10.2168\/LMCS_2（2:3）2006_DL03”，“非结构化”：“F.Baader、D.Calvanee、D.McGuinness、D.Nardi和P.F.Patel-Schneider，编辑。描述逻辑手册：理论、实现和应用。剑桥大学出版社，2003。“}，{“key”：“10.2168”，LMCS-2（2:5）2006_Bennett94a”，“doi-asserted-by”：“crossref”，“unstructured”：“B.Bennett。命题逻辑的空间推理。J.Doyle，E.Sandewall，P.Torasso，编辑，《知识表示与推理原则：第四届国际会议论文集》（KR94）加利福尼亚州旧金山，1994年。摩根·考夫曼。“，”DOI“：”10.1016\/B978-1-4832-1452-8.50102-0“}，{”issue“：”1“，”key“：”10.2168\/LMCS-2（2:5）2006_Bennett96b“，”首页“：”23“，”volume“：“4”，”author“：”B.Bennett“，”year“：”1996“，”journal-title“：”{\\em Pure and Applied Logic（IGPL）利益集团公报}，4（1）：23-45，1996“}”，{“issue”：“2-3”，“key“：”10.2168 \/LMCS-2（2:5）2006_Bennett98const“，”doi-asserted-by“：”crossref“，”first page“：”213“，”doi“：”10.1023\/A:1009729828056“，”volume“：“3”，”author“：”B.Bennett“，”year“：”1998“，”journal-title“：”Constraints“}，{“key”：“10.2168\/LMCS-2（2:5）2006_Burgess80”，“doi-assert-by”：：“39”，“作者”：“J.Burgess”，“年份”：“1980”，“新闻标题”：“Studia logica“}，{“key”：“10.2168\/LMCS-2（2:5）2006_Cui-et-al-93”，“doi-asserted-by”：“crossref”，“unstructured”：“Z.Cui，A.G.Cohn，and D.A.Randell。空间数据库中的定性和拓扑关系。见D.Abel和B.C。Ooi，编辑，第三届大型空间数据库国际研讨会，SSD’93，计算机科学讲稿第692卷，第293-315页。Springer，1993.“，”DOI“：”10.1007\/3-540-56869-7_17“}，{”key“：”10.2168\/LMCS-2（2:5）2006_CohnHazarika“，”first page“：“2”，“volume”：“46”，“author”：“A.G.Cohn and S.Hazarica”，“year”：“2001”，“journal title”：“Fundamental Informaticae”}，“key”：crossref“，”首页“：”61“，”DOI“：”10.1305“，”volume“：”26“，”author“：”B.Clarke“，”year“：”1985“，”journal-title“：”Notre Dame journal of Formal Logic“}，{”key“：“10.2168”LMCS-2（2:5）2006_Cohn93a“，”unstructured“：”A.G.Cohn.Modal and non-Modal Qualitical space logics.In F.D.Anger，H.M。Guesgen和J.van Benthem，编辑，《时空推理研讨会论文集》，Chamb\u00e9ry，1993年。IJCAI-93.“}，{”key“：”10.2168\/LMCS-2（2:5）2006_deRijke92“，”doi-asserted-by“：”crossref“，”first page“：“566”，“doi”：“10.2307\/2275293”，“volume”：“57”，“author”：“M.de Rijke”，“year”：“1992”，“journal-title”：“journal of Symbolic Logic”}，“key”：ted-by“：”crossref“，”first page“：”63“，”doi“：”10.1016\/S0304-3975（99）00156-5“，”卷“：”255“，”作者“：”I.D\u00fcntsch，H.Wang，and S.McCloskey“，”年份“：”2001“，”期刊标题“：”理论计算机科学“}，{“问题”：“2”，”键“：”10.2168 \/LMCS-2（2:5）2006_EgenhoferFranzosa“，”doi-asserted-by“：”crossref“，“首页”：“161”，“doi”：“10.1080 \/026937999108927841”，“卷”：“5”，”作者“：”M.Egenhofer和R.Franzosa“，”年份“：”1991年“，”journal-title“：”International journal of Geographical Information Systems“}，{”issue“：”2“，”key“：”10.2168\/LMCS-2（2:5）2006_Egenhofer94“，”doi-asserted-by“：”crossref“，”first page“：“133”，”doi“：”10.1006\/jvlc.199.107“，”volume“：10.2168 \/LMCS-2（2:5）2006_Emerson-90“，”doi-asserted-by“：”crossref“，”unstructured“：”E.A.Emerson“。时间逻辑和模态逻辑。编辑J.van Leeuwen，《理论计算机科学手册》，B卷，第995-1072页。爱思唯尔和麻省理工学院出版社，1990.”，“DOI”：“10.1016\/B978-0-444-88074-1.50021-4”}，｛“key”：“10.2168\/LMCS-2（2:5）2006_enderton”，“nonstructured”：“H.enderton.A Mathematical Introduction to Logic。Academic Press，1972.”}，｛“issue”：“2”，“key”：“10.2168\/LMCS-2（2:5）2006_Etessami-et-al-02”，“DOI asserted by”：“crossref”，“first page”：“279”，“DOI”：“10.1006\/inco.2001.2953”，“卷”：“179”，“作者”：“K.Etessami，M.Y.Vardi，and T.Wilke”，“年份”：“2002”，“期刊标题”：“信息与计算”}，｛“密钥”：“10.2168\/LMCS-2（2:5）2006_Gabbay81”，“doi断言”：“crossref”，“非结构化”：“D.Gabbay。一个不可伸缩性引理，应用于时态框架上条件的公理化。M\u00f6nnich，编辑，《哲学逻辑方面》，第67-89页。Reidel，1981.“，“DOI”：“10.1007\/978-94-009-8384-7_3”}，{“key”：“10.2168\/LMCS-2（2:5）2006_Gabbay-81c”，“DOI-asserted-by”：“crossref”，“unstructured”：“D.M.Gabbay。时态逻辑中的表达函数完备性。在U.M\u00f6nnich，编辑，哲学逻辑方面，第91-117页。Reidel，Dordrecht，1981.“，”DOI“：”10.1007\/978-94-009-8384-7_4“}，{”key“：”10.2168\/LMCS-2（2:5）2006_Galton87“，”unstructured“：”A.Galton.The logic of occurrence.In A.Galton，editor，Temporal Logics and their Applications，pages 169-196。学术出版社，1987年。“}，{“key”：“10.2168\/LMCS-2（2:5）2006_Gabbay-et-al-94”，“doi-asserted-by”：“crossref”，“unstructured”：“D.M.Gabbay，I.M.Hodkinson，and M.A.Reynolds。时间逻辑：数学基础和计算方面，第1卷。牛津大学出版社，逻辑指南281994。“，”DOI“：”10.1093\/oso\/9780198537694.0001“}，”key“：”10.2168\/LMCS-2（2:5）2006_Gabbayetal“，”unstructured“：”D.Gabbay，A.Kurucz，F.Wolter，and M.Zakharyaschev.多维模态逻辑：理论与应用。Elsevier，2003。“}2“，“卷”：“2”，“作者”：“V.Goranko and S.Passy”，“年份”：“1992”，“期刊标题”：“逻辑与计算杂志”}，{“关键词”：“10.2168”/LMCS-2（2:5）2006_Papa95”，“非结构化”：“M.Grigni，D.Papadias，and C.Papadimitriou.拓扑推理.第十四届国际人工智能联合会议（IJCAI'95）论文集，第901-906页。Morgan Kaufmann，1995.“}，{”key“：”10.2168\/LMCS-2（2:5）2006_GargovGoranko93“，”doi-asserted-by“：”crossref“，”first page“：“607”，”doi“：”10.1007\/BF01054038“，”volume“：ankoVakarelov“，”doi-asserted-by“：”crossref“，”首页“：”737“，”DOI“：”10.1093\/logcom\/11.5.737“，”volume“：”11“，”author“：”V.Goranko and D.Vakarelov“，”year“：”2001“，”journal-title“：”journal of Logic and Computation“}，{”key“：数学“}，{”问题“：”4“，”关键“：”10.2168\/LMCS-2（2:5）2006_HalpernShoham91“，”doi-asserted-by“：”crossref“，”first page“：”935“，”doi“：”10.1145\/115234.115351“，”volume“：“38”，”author“：”J.Y.Halpern and Y.Shoham“，“year”：“1991”，”journal-title“：”journal of the ACM“}，{“key”：“10.2168\/LMCS-2（2:5“：”J.Mc Kinsey和A.Tarski“，”年份“：”1944“，”journal-title“：《数学年鉴》}，{“key”：“10.2168\/LMCS-2（2:5）2006_lodaya00”，“doi-asserted-by”：“crossref”，“unstructured”：“K.Lodaya.锐化区间时间逻辑的不可判定性。亚洲计算科学会议，第290-298页，2000年。”，“doi”：“10.1007\/3-540-44464-5_21”}，}，“key“：”10.2168\/LMCS-2（:25）2006_Lutz-et-al-01c“，”doi-asserted-by“：”crossref“，”unstructured“：”C.Lutz、U.Sattler和F.Wolter。模态逻辑和双变量片段。《计算机科学逻辑》编辑劳伦特·弗里堡（Laurent Fribourg），《计算机科学讲义》第247-261页第2142号。Springer-Verlag，2001.“，”DOI“：”10.1007\/3-540-44802-0_18“}，{”issue“：”2“，”key“：”10.2168\/LMCS-2（2:5）2006_Lutz-03b“，”DOI-asserted-by“：”crossref“，”first page“：“235”，“DOI”：“10.1016\/j.artint.2003.08.001”，“volume”：“152”，”author“：”C.Lutz“，”year“：”2004“，”journal-title“：”Artificial Intelligence“}”，{“密钥”：“10.2168\/LMCS-2（2:5）2006_Maddux80”，“doi-asserted-by“：”crossref“，”first page“：”311“，”doi“：”10.2307\/2273191“，”volume“：al-title“：《逻辑与计算杂志》}，{”issue“：”1“，”key“：”10.2168\/LMCS-2（2:5）2006_NebelBu“，”doi-asserted-by“：”crossref“，“首页”：“43”，“doi”：“10.1145\/200836.200848”，“volume”：“42”，“author”：“B.Nebel and H.B\u00fcrckert”，“year”：“1995”，“journal-title”：“journal of the ACM”}，{“key”：”10.2165\/LMCS-2（2:6）2006_Nutt-99“，“doi-asserted-by”：“crossref”，“unstructured”：“W。螺母。论将定性空间推理问题转化为模态逻辑。编辑W.Burgard、T.Christaller和A.B.Cremers，KI-99：人工智能进展，LNAI第1701卷，第113-124页。Springer-Verlag，1999.“，”DOI“：”10.1007\/3-540-48238-5_9“}，{”issue“：”3-4“，”key“：”10.2168\/LMCS-2（2:5）2006_Pratt-Hartmann-02“，”DOI-asserted-by“：”crossref“，“first page”：“441”，“DOI”：“10.3166\/jancl.12.441-467“，”volume“：“12”，“author”：“I.Pratt-Hartmann”，“year”：“2002”，“journal-title”：“journal of Applied”非经典逻辑2002“}，{“key”：”10.2168\/LMCS-2（2:5）2006_PrattSchoop98“，”doi-asserted-by“：”crossref“，”first page“：”621“，”doi“：”10.1023\/A:1004361501703“，”volume“：“27”，”author“：”I.Pratt and D.Schoop“，”year“：”1998“，”journal-title“：”journal of Philosophical Logic“}，{“key”：“10.2168\/LMCS-2（2:5，“首页”：“29”，“doi”：“10.1006 \/jcss.1998.1597“，”volume“：”58“，”author“：”C.H.Papadimitriou，D.Suciu，and V.Via“，”year“：”1999“，”journal-title“：”journal of Computer and System Sciences“}，{“key”：“10.2168 \/LMCS-2（2:5）2006_rasmussen99”，“doi-asserted-by”：“crossref”，“unstructured”：“T.M。拉斯穆森。有符号间隔逻辑。欧洲计算机科学逻辑协会（CSL’99）年会，第157-171页，1999年。“，”DOI“：”10.1007 \/3-540-48168-0_12“}，{”key“：”10.2168 \/LMCS-2（2:5）2006_Randell92rcc“，”unstructured“：”D.A.Randell、Z.Cui和A.G。科恩。基于区域和连接的空间逻辑。《第三届知识表示与推理国际会议论文集》（KR’92），第165-176页，圣马特奥，1992年。摩根·考夫曼。“}，{”key“：”10.2168\/LMCS-2（2:5）2006_Renz2002“，”doi-asserted-by“：”crossref“，”first page“：“469”，“doi”：“10.3166\/jancl.12.469-494”，“volume”：“12”，“author”：“J.Renz”，“year”：“2002”，“journal-title”：“journal of Applied Non-classical Logic”}，}”issue“：“1-2”，“key”：”10.21968/LMCS-2（2:5“doi-asserted-by”：“crossref”，“first page”：“69”，“doi”：“10.1016\/S0004-3702（99）00002-8“，“卷”：“108”，“作者”：“J.Renz and B.Nebel”，“年份”：“1999”，“日志标题”：“人工智能”}，{“键”：“10.2168\/LMCS-2（2:5）2006_Reynolds-Zakharyaschev-01”，“doi-asserted-by”：“crossref”，“首页”：“909”，“doi”：“10.1093\/logcom\/11.6.909”，“卷“11”，“作家”：“M.Reynolds和M.Zakharyaschev”，“年份”：2001年，“journal-title”：“journal of Logic and Computation”}，{“key”：“10.2168”，LMCS-2（2:5）2006_Schaefer01”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Schaefer和D.Stefankovic.字符串图的可判定性。第三十三届ACM计算理论研讨会论文集，第241-246页。ACM出版社，2001.“，”DOI“：”10.1145\/380752.380807“}，”key“：”10.2168\/LMCS-2（2:5）2006_ShapShe“，”DOI-asserted-by“：”crossref“，”first page“：“559”，“DOI”：“10.1093\/logcom\/exi039”，”volume“：15”，“author”：“I.Shapirovsky and V.Shehtman”，“year”：“2005”，“journal-title”：“journal of Logic and Computation”}，“key”：“10.2168\/LMCS-2（2:5）2006_StellAI2000”，“doi-asserted-by“：”crossref“，”first-page“：”111“，”doi“：”10.1016\/S0004-3702（00）00045-X“，”volume“：”122“，”author“：”J.G.Stell“，”year“：”2000“，”journal-title“：”Artificial Intelligence“}，{“key”：“10.2168\/LMCS-2（2:5）2006_Vakarelov95a”，“unstructured”：“D。瓦卡列洛夫。集合关系的模式逻辑。《第十届国际逻辑、方法论和科学哲学大会论文集》，第183页，佛罗伦萨，1995年2006_Venema-90”，“doi asserted by”：“crossref”，“首页”：“529”，“doi”：“10.1305\/ndjfl\/109635589”，“卷”：“31”，“作者”：“Y.Venema”，“年份”：“1990”，“期刊标题”：“Notre Dame journal of Formal Logic”｝，｛“key”：“10.2168\/LMCS-2（2:5）2006_Venema92”，“非结构化”：“Y.Venema。多维模态逻辑。阿姆斯特丹大学博士论文，1992。”｝，｛key“：”10.2168\/LMCS-2（2:5）2006_Vilain-et-al-90“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Vilain、H.Kautz和P.Van Beek“。时态推理的约束传播算法：修订报告。编辑D.S.Weld和J.de Kleer，《物理系统定性推理读物》，第373-381页。Morgan Kaufmann，1990.“，“DOI”：“10.1016\/B978-1-4832-1447-4.50034-1”}，{“key”：“10.2168\/LMCS-2（2:5）2006_Wessel-01”，“unstructured”：“M.Wessel.用描述逻辑实现定性空间推理的障碍：一些不可判定性结果。In C.Goble，D.L.McGuinness，R.M\u00f6ller，and P.F。Patel-Schneider，编辑，《描述逻辑2001年国际研讨会论文集》（DL2001），CEUR-WS第49期（http://\/CEUR-WS.org\/），第96-105页，2001年。“：”1997年“，”journal-title“：”纯粹和应用逻辑年鉴“}]，”container-title”：[“计算机科学中的逻辑方法”]，”original-title:[]，”language“：”en“，”link“：[{”URL“：”https:\\/lmcs.episciences.org\/2253\/pdf“，”content-type“：”application\/pdf”，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https://lmcs.episciences.org/2253\/pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2024,2,8]]，“日期时间”：“2024-02-08T12:41:16Z”，“时间戳”：1707396076000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://lmcs.episciences.org/2253”｝｝，“副标题”：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2006,6,22]]}，”references-count“：57，”URL“：”http://\/dx.doi.org\/10.2168\/lmcs-2（2:5）2006“，”relationship“：{is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/0605064”，“asserted-by”：“subject”}，{“id-type“：”doi“，”id“：”10.48550\/ar Xiv.cs\/0605064“，”asserted-by“：”subject“}]，”is-referenced-by“：[{”id-type“：”doi“，”id“：”10.1007 \/978-1-4020-5587-4_3“，”断言者“：”主题“}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”值“：”1860-5.974“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2006,6,22]]}}}