弗兰斯·科宁 多维数据的Tesseral时空推理。 （英语） Zbl 0948.68165号 模式识别 33，第1号，9-23（2000）. 概述：描述了一种普遍适用的N维空间推理方法。该方法基于基于“tesseral”寻址思想的独特表示。这提供了许多计算优势，包括最小的数据存储、高效的数据转换和简单的数据比较，而不管考虑的维度数量如何。该表示法允许用地址集简洁地表示与对象相关的空间属性，然后可以使用表示为约束的标准集操作来关联地址集。该方法已被纳入空间推理系统SPARTA（使用Tesseral寻址的空间推理）系统，该系统已成功与大量空间应用领域结合使用。 MSC公司： 68吨10 模式识别、语音识别 关键词：空间推理 软件：炸薯条 PDF格式BibTeX公司 XML格式引用 \textit｛F.Coenen｝，模式识别33，编号1，9-23（2000；Zbl 0948.68165） 全文： 内政部 参考文献： [1] 贝蒂，B。；科宁，F.P。；Bench-Capon，T.J.M。；迪亚兹，B.M。；Shave，M.J.R.，《使用Tesseral数据表示的GIS空间推理》（Revell，N.；Tjoa，a.M.，《数据库和专家系统应用》（Proceedings DEXA'95），计算机科学课堂讲稿，978（1995），Springer:Springer Berlin），207-216·Zbl 0904.68139号 [2] F.P.Coenen，B.Beattie，T.J.M.Bench-Capon，B.M.Diaz，M.J.R.Shave，地理信息系统的空间推理，利兹大学地理学院地理计算国际会议论文集，第1卷，1996年，第121-131页。；F.P.Coenen，B.Beattie，T.J.M.Bench-Capon，B.M.Diaz，M.J.R.Shave，地理信息系统的空间推理，利兹大学地理学院第一届国际地理计算会议论文集，第1卷，1996年，第121-131页。 [3] Brown，A.G.P。；科宁，F.P。；沙韦，M.J.R。；Knight，M.W.，《人工智能噪音预测方法》，Buil。灰尘。，4, 2, 137-150 (1999) [4] 比蒂，B。；科宁，F.P。；霍夫，A。；Bench-Capon，T.J.M。；迪亚兹，B.M。；Shave，M.J.R.，《环境影响评估的空间推理》，第三届地理信息系统和环境建模国际会议，国家地理信息和分析中心（1996年），圣巴巴拉：圣巴巴拉WWW和CD [5] F.P.Coenen，B.Beattie，T.J.M.Bench-Capon，B.M.Diaz，M.J.R.Shave，使用多维测试表示的时空推理，《ECAI'98会议录》，威利，纽约，1998年，第140-144页。；F.P.Coenen、B.Beattie、T.J.M.Bench-Capon、B.M.Diaz、M.J.R.Shave，《使用多维测试表示的时空推理》，《ECAI'98年会议录》，纽约威利出版社，1998年，第140-144页·Zbl 0904.68139号 [6] F.P.Coenen，B.Beattie，T.J.M.Bench-Capon，M.J.R Shave，B.M.Diaz，《时间表的空间推理：TIMETABLER系统》，第一届自动时间表实践与理论国际会议论文集，1995年，爱丁堡龙比亚大学，57-68；F.P.Coenen，B.Beattie，T.J.M.Bench-Capon，M.J.R Shave，B.M.Diaz，《时间表的空间推理：TIMETABLER系统》，第一届自动时间表实践与理论国际会议论文集，1995年，爱丁堡龙比亚大学，57-68 [7] F.P.Coenen，《使用空间表示的规则库检查，数据库和专家系统应用》（Proceedings DEXA'98），《计算机科学讲义》，柏林斯普林格，1999年，第166-175页。；F.P.Coenen，《使用空间表示的规则库检查，数据库和专家系统应用》（Proceedings DEXA'98），《计算机科学讲义》，柏林斯普林格，1999年，第166-175页。 [8] 艾伦，J.F.，《时间与时间：代表时间的多种方式》，《Int.J.Intell》。系统，6341-355（1991） [9] Egenhofer，M.J.，《推导二元拓扑关系的合成》，J.视觉语言计算。，5, 133-149 (1994) [10] 贝尔，S.B.M。；迪亚兹，B.M。；Holroyd，F.C。；Jackson，M.J.J.，处理光栅和矢量数据的空间参考方法，图像视觉计算。，1, 4, 211-220 (1983) [11] B.M.Diaz，S.B.M.Bell，使用测试方法的空间数据处理，自然环境研究委员会出版物，英国斯温登，1986年。；B.M.Diaz，S.B.M.Bell，《使用镶嵌方法的空间数据处理》，自然环境研究委员会出版物，英国斯文顿，1986年。 [12] G.M.Morton，面向计算机的大地测量数据库和文件排序新技术，IBM加拿大有限公司，1966年。；G.M.Morton，面向计算机的大地测量数据库和文件排序的新技术，IBM加拿大有限公司，1966年。 [13] Grunbaum，B。；Shephard，G.C.，《瓷砖和图案》（1987），弗里曼：弗里曼纽约·Zbl 0601.05001号 [14] Holroyd，F.C.，《平铺层次的几何结构》，Ars Combin，16B，211-244（1983）·Zbl 0576.0509号 [15] Samet，H.，四叉树和相关数据结构，ACM计算。调查。，16, 2, 187-260 (1984) [16] Gargantini，I.，用于快速处理三维对象的线性八叉树，计算。图形图像处理。，20, 365-374 (1982) [17] Retz-Schmidt，G.，《关于空间介词的各种观点》，AI Mag.，9，2，95-105（1988） [18] 科恩，A.G。；古戴，J.M。；班纳特，B。；Gotts，N.M.，表示和推理空间的逻辑方法，人工制品。智力。修订版，9255-259（1995） [19] van Hentenryck，P.，《逻辑编程中的约束满足》（1989），麻省理工学院出版社：麻省理学院出版社，剑桥 [20] Mackworth，A.K.，《关系网络的一致性》，AI J.，8，1，99-118（1977）·Zbl 0341.68061号 [21] Lauriere，J-L.，描述和解决组合问题的语言和程序，Artif。智力。，10, 1, 29-127 (1978) ·Zbl 0374.68060号 [22] Dincbas，M。；van Hentenryck，P。；Simonis，H。；阿贡，A。；格拉芙，T。；Berthier，F.，约束逻辑编程语言CHIP，第五代计算机系统国际会议论文集（GGCS’88）（1998），东京：日本东京 [23] A.Colmerauer，《打开PROLOG-III宇宙》，《字节杂志》12（9）（1987年）。；A.Colmerauer，《打开PROLOG-III宇宙》，《字节杂志》12（9）（1987年）。 [24] Jaffar，J。；Michaylov，S.，《CLP系统的方法和实现》，第四届逻辑编程国际会议（1987年），墨尔本：澳大利亚墨尔本 [25] Jaffar，J。；Lasses，J-L。；Maher，M.J.，逻辑编程语言方案，（DeGroot，D.；Linderstrom，G.，《逻辑编程，关系，函数和方程》（1986），普伦蒂斯·霍尔，恩格伍德悬崖：普伦蒂斯霍尔，恩格伍德悬崖，新泽西州，美国）·Zbl 0900.68127号 [26] Freksa，C.，《定性空间推理》（Mark，D.M.；Frank，A.U.，《地理空间的认知和语言方面》（1991），荷兰多德雷赫特Kluwer出版社），第361-372页 [27] Hernández，D.，《空间知识的相对表征——二维案例》（Mark，D.M.；Frank，A.U.，《地理空间的认知和语言方面》（1991），荷兰多德雷赫特Kluwer出版社），373-385 [28] A.Mukerjee，G.Joe，《空间的定性模型》，《AAAI学报》90期，1990年，第721-727页。；A.Mukerjee，G.Joe，《空间的定性模型》，《AAAI’90年学报》，1990年，第721-727页。 [29] G.Ligozat，区间代数的弱表示，《AAAI’90论文集》，1990年，第715-720页。；G.Ligozat，区间代数的弱表示，《AAAI'90学报》，1990年，第715-720页。 [30] Allen，J.F.，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983）·Zbl 0519.68079号 [31] Allen，J.F.，《走向行动与时间的一般理论》，Arti。智力。，23, 123-154 (1984) ·Zbl 0567.68025号 [32] J.F.Allen，J.A.Koomen，《使用时间世界模型进行规划》，收录于：《83年国际期刊汇编》，第2卷，Morgan Kaufman，Los Altos，1983年，第741-747页。；J.F.Allen，J.A.Koomen，《使用时间世界模型进行规划》，收录于：《83年国际期刊汇编》，第2卷，Morgan Kaufman，Los Altos，1983年，第741-747页。 [33] 艾伦，J.F。；Hayes，P.J.，《时间的常识理论》（《85年国际期刊论文集》，摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯），528-531 [34] 艾伦，J.F。；Hayes，P.J.，《短期》（1987年《国际商会会刊》，摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯），981-983 [35] 艾伦，J.F。；Hayes，P.J.，基于区间的时间逻辑中的矩和点，计算。智力。（加拿大），5225-238（1989） [36] 高尔顿，A.，《对艾伦的行动和时间理论的批判性研究》，Artif。智力。，42, 159-188 (1990) ·Zbl 0733.03017号 [37] 维兰，M.B。；Kautz，H.，时间推理的约束传播算法（Proceedings AAAI'86 Morgan Kaufmann（1986），Los Altos:Los Altos CA），377-382 [38] 维兰，M.B。；考茨，H。；van Beek，P.G.，《时间推理的约束传播算法》，修订报告，（Weld，A.D.；de Kleer，J.，《物理系统定性推理读物》（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），373-381 [39] Nokel，K.，时间间隔之间的凸关系，（第五届奥斯特里奇人工智能技术会议论文集（1989），施普林格：施普林格柏林），298-302 [40] D.Puller，M.J.Egenhofer，朝向空间对象之间拓扑关系的形式定义，见：D.Marble（编辑），《第三届空间数据处理国际研讨会论文集》，1988年，第225-242页。；D.Puller，M.J.Egenhofer，朝向空间对象之间拓扑关系的形式定义，见：D.Marble（编辑），《第三届空间数据处理国际研讨会论文集》，1988年，第225-242页。 [41] Hamblin，C.L.，《瞬时和间隔》，Stud，Gen.，24，127-134（1971） [42] Chang，S.K。；石庆云。；Yan，C.W.，《二维字符串的图标索引》，IEEE Tran。模式分析。机器。智力。，PAM1-9、3413-428（1987） [43] A.弗兰克。；巴雷拉，R。；Al-taha，K.K.，《地理信息系统中的时间关系》，ACM SIGMOS Rec.，20，3，85-91（1991） [44] J.Malik，T.O.Binford，《时空推理》。《国际人工智能联合会议论文集》（IJCAI'83），第1卷，1983年，第343-345页。；J.Malik，T.O.Binford，《时空推理》。《国际人工智能联合会议论文集》（IJCAI'83），第1卷，1983年，第343-345页。 [45] Papadias，D。；Theodoridis，Y。；塞利斯，T。；Egenhofer，M.J.，《最小边界矩形世界中的拓扑关系：R树研究》，SIGMOD’95，（1995），圣何塞：美国加州圣何塞），92-103 [46] Egenhofer，M.J.，二元拓扑关系的形式定义，（Litwin，W.；Scheck，H-J.，《第三届数据组织和算法基础国际会议论文集》，计算机科学讲义367（1989），Springer:Springer New York），457-472 [47] 艾根霍夫，M.J。；Franzosa，R.，点集拓扑空间关系，国际地理信息杂志。系统，5161-174（1991） [48] Clarke，B.L.，《基于联系的个体演算》，《圣母院形式逻辑》，第23、3、204-218页（1981年）·Zbl 0438.03032号 [49] Clarke，B.L.，《个体与点》，《圣母院形式逻辑》，26，1，61-75（1985）·Zbl 0597.03005号 [50] Cohn，A.G.，《多种排序逻辑的更具表现力的公式》，《自动化》杂志。原因。，3, 2, 113-200 (1987) ·Zbl 0642.68166号 [51] Randell，A.D.，《分析日常世界中对空间和时间的熟悉原因》（1991年），博士论文：英国华威大学博士论文 [52] A.D.Randell，Z.Cui，A.G.Cohn，基于“连接”的空间区间逻辑，《ECAI’92会议录》，1992年。；A.D.Randell，Z.Cui，A.G.Cohn，基于“连接”的空间区间逻辑，《ECAI’92学报》，1992年。 [53] Randell，A.D。；崔，Z。；Cohn，A.G.，《基于区域和连接的空间逻辑》，《第三届知识表示和推理原理国际会议论文集》（1992年），Morgan Kaufmann:Morgan Koufmann Los Altrs，CA [54] 崔，Z。；科恩，A.G。；Randell，D.A.，基于空间和时间逻辑的定性模拟，AISB研讨会论文集“定性和因果推理”（QCR'93）（1993），伯明翰大学 [55] Vieu，L.，《关于空间推理的逻辑框架》（Frank，A.U.；Campari，I.，《空间信息理论GIS过程的理论基础》COSIT’93（1993），Springer:Springer Berlin），25-35 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。