×
佐伊·法洛米尔;阿尔伯特·皮奇;科斯塔，维森特

关于定性形状构图的空间推理。组成定性长度和角度。 （英语） Zbl 1445.68209号

安。数学。Artif公司。智力。 88，编号5-6，589-621（2020）.
总结：形状合成是空间推理中的一个挑战。定性形状描述符（QSD）已被证明具有旋转和位置不变性，这使得它们在空间推理测试中非常有用。QSD使用角度和长度的定性表示，但它们的合成操作之前还没有定义。本文通过描述角的奇偶性、参考系和算子，详细介绍了角的定性模型（QAngles）和长度的定性模型。它们的操作符是根据众所周知的时间模型定义的J.F.艾伦[委员会ACM 26，832–843（1983年；Zbl 0519.68079号)] 作为参考。此外，还建立了合成表，并利用它们的几何对应关系证明了定性角度和长度的合成关系。使用Swi-Prolog实现的逻辑程序也通过计算证明了这些组成表的正确性。

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑
68单位05 计算机图形；计算几何（数字和算法方面）

关键词：

定性表征;定性推理;空间推理;形状;定性角度;定性长度;合成表;几何学

引文：

Zbl 0519.68079号

软件：

SWI-预测;斯帕克
PDF格式BibTeX公司 XML格式引用
\textit{Z.Falomir}等人，《数学年鉴》。Artif公司。智力。88，编号5--6，589--621（2020；Zbl 1445.68209）
全文： 内政部

参考文献：

[1] Allen，JF，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[2] Allen，J.F.，Hayes，P.J.：时间的常识理论。摘自：第九届国际人工智能联合会议论文集——第1卷，IJCAI'85，第528-531页。Morgan Kaufmann Publishers Inc.，旧金山（1985）
[3] 科恩，AG；Renz，J.，《定性空间推理》，《知识表示手册》（2007），伦敦：Elsevier，Wiley-ISTE，伦敦
[4] 杜恩施，I。；Wang，H。；麦克洛斯基，S.，区域连接微积分的关系代数方法，Theor。计算。科学。，255, 1, 63-83 (2001) ·Zbl 0974.68161号 ·doi:10.1016/S0304-3975（99）00156-5
[5] Dylla，F。；Lee，JH；Mossakowski，T。；施耐德，T。；van Delden，A。；范德文，J。；Wolter，D.，《定性时空计算综述：代数和计算特性》，ACM计算。调查。，50, 1, 7:1-7:39 (2017) ·数字对象标识代码：10.1145/3038927
[6] Egenhofer，M.J.：关于二元拓扑关系的推理。摘自：第二届空间数据库进展国际研讨会论文集，SSD’91，第143-160页。施普林格，伦敦（1991）
[7] Z.法洛米尔。；Gonzalez Abril，L.公司。；穆塞罗斯，L。；Ortega，J.，从定性形状描述中测量物体之间的相似性，Spat。认知。计算。，13, 181-218 (2013) ·doi:10.1080/13875868.2012.700463
[8] Z.法洛米尔。；穆塞罗斯，L。；Gonzalez-Abril，L。；Velasco，F.，马赛克拼装中形状、颜色和尺寸的定性描述之间的相似性度量，J.Vis。Commun公司。图像表示。，24, 3, 388-396 (2013) ·doi:10.1016/j.jvcir.2013.013.013
[9] Forbus，KD，定性建模，Wiley Interdiscip。Rev.认知。科学。，2374-391（2011年）·doi:10.1002/wcs.115
[10] Frank，A.U.：具有基本方向的定性空间推理。收录：Kaindl H（编辑）7。奥地利第七届人工智能会议，第157-167页。柏林施普林格（1991）。10.1007/978-3-642-46752-3_17
[11] Freksa，C.：地理空间中时空推理的理论和方法。收录：Frank，A.U.，Campari，I.，Formentini，U.（编辑），第162-178页。施普林格，柏林（1992）。10.1007/3-540-55966-3_10
[12] Ghorabi，F.，Takahashi，K.：时间间隔关系组成的证明。收录：Isabelle交互式问题解决（ITP）研讨会论文集。网址：http://www21.in.tum.de/nipkow/Isabelle2016/ (2016)
[13] Grigni，M.，Papadias，D.，Papadimitriou，C.：拓扑推理。摘自：《第十四届国际人工智能联合会议论文集》第1卷，1995年国际人工智能学会，第901-906页。Morgan Kaufmann Publishers Inc.，旧金山（1995）
[14] Ligozat，G.：当表格说明一切时：基于线性排序的定性空间和时间推理。收录：Montello，D.R.（编辑）《空间信息理论》，第60-75页。施普林格，柏林（2001）。10.1007/3-540-45424-1_5 ·Zbl 1042.68767号
[15] Ligozat，G.，《定性空间和时间推理》（2011），伦敦：麻省理工学院出版社，Wiley-ISTE，伦敦·Zbl 1230.68022号
[16] Ligozat，G.，Renz，J.：什么是定性微积分？一般框架。收录于：Zhang，C.W.，Guesgen，H.，Yeap，W.K.（编辑）PRICAI 2004:Trends In Artificial Intelligence，pp 53-64。施普林格，柏林（2004）。10.1007/978-3-540-28633-2_8
[17] Ligozat，G.F.：空间推理的定性三角剖分。摘自：Frank，A.U.，Campari，I.（编辑）《空间信息理论：GIS的理论基础》，第54-68页。柏林施普林格（1993）。10.1007/3-540-57207-4_5
[18] Mcmunn，R.：武装部队测试（测试系列），第1卷。How2become有限公司，ISBN:1907558098（2010）
[19] Moratz，R.：将相对方向表示为定向点的二元关系。摘自：《2006年ECAI会议记录：第17届欧洲人工智能会议》，第407-411页。IOS出版社，阿姆斯特丹（2006）
[20] Mossakowski，T。；Moratz，R.，关于定向点的相对方向的定性推理，人工制品。智力。，180-181, 34-45 (2012) ·Zbl 1267.68229号 ·doi:10.1016/j.artint.2011.10.003
[21] Museros，L.、Falomir，Z.、Gonzalez-Abril，L.和Velasco，F.：生成新制造形状的定性形状描述方案。参加：第25届国际定性推理研讨会（QR），共同举办于第22届国际人工智能联合会议（IJCAI），西班牙巴塞罗那（2011）·Zbl 1216.68310号
[22] 纽科姆，N.，想象一下：通过改善空间思维来增加数学和科学学习，Amer。教育。，34, 2, 29-35 (2010)
[23] Pich，A。；Falomir，Z.，用于解决空间推理测试的定性形状的逻辑构成，Cogn。系统。决议，52，82-102（2018）·文件编号：10.1016/j.cogsys.2018.06.002
[24] Randell，D.A.，Cui，Z.，Cohn，A.G.：基于区域和连接的空间逻辑。摘自：《知识表示和推理原则第三届国际会议论文集》，KR’92，第165-176页。Morgan Kaufmann Publishers Inc.，旧金山（1992）
[25] Renz，J.，Ligozat，G.：定性时空推理的弱组合。In：van Beek，P.（ed.）《约束编程的原理与实践——CP 2005》，第534-548页。施普林格，柏林（2005）。10.1007/11564751_40 ·Zbl 1153.68482号
[26] 斯特林，L。；夏皮罗，E.，《Prolog的艺术》（1994），剑桥：高级编程技术。麻省理工学院出版社，剑桥·兹比尔0850.68137
[27] Stock，O.，《空间和时间推理》（1997年），诺威尔：Kluwer学术出版社，诺威尔
[28] 维兰，M。；考茨，H。；van Beek，P.，《物理系统定性推理读物》（1990），旧金山：摩根考夫曼出版社，旧金山
[29] Wai，J。；卢宾西，D。；Benbow，CP，《STEM领域的空间能力：将50多年累积的心理学知识结合起来，巩固其重要性》，J.Educe。心理医生。，101, 4, 817-835 (2009) ·doi:10.1037/a0016127
[30] Wallgrün，J.O.，Frommberger，L.，Wolter，D.，Dylla，F.，Freksa，C.：火花箱中的定性空间表示和推理。摘自：Barkowsky，T.、Knauff，M.、Ligozat，G.、Montello，D.R.（编辑）《空间认知V推理、行动、互动》，第39-58页。施普林格，柏林（2007）。10.1007/978-3-540-75666-8_3
[31] Van de Weghe，N.：关于移动对象的表示和推理：定性方法。根特大学博士论文（2004年）
[32] Van de Weghe，N.，Kuijpers，B.，Bogaert，P.，de Maeyer，P.：定性轨迹演算及其关系的组合。摘自：Rodríguez，M.A.，Cruz，I.，Levashkin，S.，Egenhofer，M.J.（编辑）《地理空间语义学》，第60-76页。施普林格，柏林（2005）。10.1007/11586180_5
[33] Wielemaker，J。；施里杰弗斯，T。；特里斯卡，M。；Lager，T.，SWI-预测，理论与实践。日志。程序。（TPLP），12，1-2，67-96（2012）·Zbl 1244.68023号 ·doi:10.1017/S1471068411000494
[34] Wolter，D.，使用代数几何分析定性时空计算，空间认知。计算。，12, 1, 23-52 (2012) ·doi:10.1080/13875868.2011.586079
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。