乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;蒂莫斯·塞利斯;蔡培伟 使用答案集编程进行定性空间推理的轨迹演算。 （英语） Zbl 1451.68252号 理论与实践。日志。程序。 18，编号3-4，355-371（2018）. 摘要：空间信息通常使用自然语言表达式等定性术语来表示，而不是使用坐标；对这些术语的推理有几个实际应用，例如公交路线规划。轨迹的表示和推理是定性空间推理的一个具体案例，重点关注移动对象及其路径。在这项工作中，我们基于轨迹上允许的属性提出了两种版本的轨迹演算，其中轨迹被定义为分区映射的非重叠区域序列。更具体地说，如果允许给定轨迹在同一区域开始和结束，则定义6个基本关系（TC-6）。如果给定轨迹应具有不同的开始和结束区域，但允许循环，则定义了10个基本关系（TC-10）。微积分的两个版本都是作为ASP程序实现的；我们提出了几种不同的编码，包括一个通用程序，能够在ASP中对任何定性演算进行编码。所有提出的编码都是使用真实世界的数据集进行实验评估的。实验结果表明，对于发现一致配置的问题，性能最佳的实现可以扩展到TC-6的250条轨迹和TC-10的150条轨迹的输入，与以前的ASP实现相比，对于类似的定性时空计算，这是一个显著的改进。 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68立方英尺 知识表示 关键词：答案集编程;空间推理;定性推理;弹道 软件：格林戈;数据日志;克林戈 PDF格式BibTeX公司 XML格式引用 \textit{G.Baryannis}等人，《理论与实践》。日志。程序。18、编号3--4、355--371（2018；Zbl 1451.68252） 全文： 内政部 arXiv公司 参考文献： [1] 艾伦，J.F。；Hayes，P.J.，IJCAI，时间知识的基于间隔的表示，221-226，（1981），威廉·考夫曼 [2] Andrienko，G.L。；Andrienko，N.V。；Fuchs，G。；Wood，J.，《通过原始目的地运动数据的时空抽象揭示大规模运动的模式和趋势》，IEEE Trans。视觉。计算。图表。，23, 9, 2120-2136, (2017) ·doi:10.1109/TVCG.2016.2616404 [3] 布伦顿，C。；Faber，W。；巴萨基斯，S。；卡罗，M。；金·A。；Saeedloei，N。；Vos，M.D.，ICLP（技术通信），《定性时空推理的答案集编程：方法和实验》，4:1-4:15，（2016），Schloss Dagstuhl-Leibniz Zentrum fuer Informatik·Zbl 1428.68282号 [4] 卡多利，M。；Schaerf，M.，《非单调逻辑复杂性结果的调查》，J.Log。程序。，17, 2-3, 127-160, (1993) ·Zbl 0784.68039号 ·doi:10.1016/0743-1066（93）90029-G [5] 科恩，A.G。；贝内特，B。；J.Gooday。；Gotts，N.M.，用区域连接演算进行定性空间表示和推理，GeoInformatica，1,3275-316，（1997）·doi:10.1023/A:1009712514511 [6] Delafontaine，M。；波加特，P。；科恩，A.G。；Witlox，F。；梅耶，P.D。；De Weghe，N.V.，从qtcn关系推断额外知识，Inf.Sci。，181, 9, 1573-1590, (2011) ·doi:10.1016/j.ins.20.10.12.021 [7] Delafontaine，M。；科恩，A.G。；De Weghe，N.V.，《实施定性演算分析运动点对象》，专家系统。申请。，第38页，第5187-5196页，（2011年）·doi:10.1016/j.eswa.2010.10.042 [8] 艾特，T。；Gottlob，G。；Mannila，H.，分离数据日志，ACM Trans。数据库系统。，22, 3, 364-418, (1997) ·doi:10.1145/261124.261126 [9] Escrig，M.T。；托莱多，F。；Escrig，M.T。；托莱多，F。；Golobardes，E.，CCIA，定性速度，29-39，（2002），施普林格 [10] 弗洛伊德，E.C。；Mackworth，A.K。；罗西，F。；Van Beek，P。；Walsh，T.，《约束编程手册》，《约束满足：新兴范式》，13-27，（2006），爱思唯尔科学公司：爱思唯尔科学公司，美国纽约州纽约市·Zbl 1175.90011号 [11] Gebser，M。；哈里森，A。；卡明斯基，R。；Lifschitz，V。；Schaub，T.，Abstract gringo，TPLP，15，4-5，449-463，（2015）·Zbl 1379.68031号 [12] Gebser，M。；卡明斯基，R。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T。；Wanko，P。；卡罗，M。；King，A.，《第三十二届逻辑程序设计国际会议（ICLP’16）的技术交流》，《用clipo 5轻松解决理论》，2:1-2:15，（2016），Schloss Dagstuhl [13] Hazarika，S.M。；科恩，A.G。；Montello，D.R.，COSIT，定性时空连续性，92-107，（2001），施普林格·Zbl 1042.68739号 [14] 胡世荣。；Peeta，S。；Liou，H.-T.，网络初始目的地跳闸矩阵和异构传感器选择和定位策略的综合确定，IEEE Trans。智能交通系统，17，1，195-205，（2016）·doi:10.1109/TITS.2015.2473691 [15] Li，J.J.，ICTAI，定性空间和时间推理与答案集编程，603-609，（2012），IEEE计算机学会 [16] 马，Z。；卢·D。；刘，Q。；Wang，J。；熊，Z.，（2017） [17] 马雷克，V.W。；Truszczynski，M。；Lusk，E.L。；Overbeek，R.A.，逻辑编程，1989年北美会议论文集，美国俄亥俄州克利夫兰，1989年10月16日至20日。2卷，逻辑程序和默认理论的稳定语义，243-256，（1989），麻省理工学院出版社 [18] Martínez-Martín，E。；埃斯克里格，M.T。；Del Pobil，A.P.，基于区间的一般定性时空模型，J.UCS，18，10，1343-1378，（2012）·Zbl 1311.68153号 [19] 莫雷拉·马提亚斯，L。；贾马，J。；费雷拉，M。；Mendes-Moreira，J。；Damas，L.，使用流数据预测纳税人需求，IEEE Trans。智能交通系统，14，3，1393-1402，（2013）·doi:10.1109/TITS.2013.2262376 [20] 穆勒，P。；科恩，A.G。；舒伯特，L.K。；夏皮罗，S.C.，KR，基于时空基元的运动定性理论，131-143，（1998），摩根·考夫曼 [21] 诺扬，V。；克拉拉蒙特，C。；Devogele，T.，地理空间中轨迹的相对表示，GeoInformatica，11，4，479-496，（2007）·doi:10.1007/s10707-007-0023-2 [22] Patronumpas，K。；塞利斯，T.K。；李，K.-C。；姜浩。；Yang，L.T。；Cuzzocrea，A.，《大数据-算法、分析和应用》，《管理大轨迹数据：位置流的在线处理》，257-280，（2015），查普曼和霍尔/CRC·Zbl 1309.68002号 [23] Renz，J.，《区域联系演算》，41-50，（2002），施普林格-柏林-海德堡出版社 [24] 伦茨，J。；Rauh，R。；克诺夫，M。；Freksa，C。；布劳尔，W。；哈贝尔，C。；Wender，K.F.，空间认知，朝向拓扑空间关系的认知充分性，184-197，（2000），Springer [25] Van De Weghe，N。；Shekhar，S。；熊，H。；Zhou，X.，《GIS百科全书》，运动物体的时空关系，2177-2186，（2017），Springer [26] Van De Weghe，N。；科恩，A.G。；德特雷，G。；De Maeyer，P.，《作为地理信息系统中表示运动物体基础的定性轨迹演算》，《控制与控制论》，35，1，97-119，（2006）·Zbl 1189.68170号 [27] Van De Weghe，N。；Kuijpers，B。；波加特，P。；梅耶，医学博士。；罗德里格斯，文学硕士。；克鲁兹，I.F。；埃根霍费尔，M.J。；Levashkin，S.，GeoS，定性轨迹微积分及其关系的组成，60-76，（2005），施普林格 [28] Wałěga，P.A。；舒尔茨，C.P.L。；Bhatt，M.，带答案集编程模理论的非单调空间推理，TPLP，17，2，205-225，（2017）·Zbl 1379.68303号 [29] 王，Z。；Jin，B。；张，F。；Yang，R。；季庆（2017） [30] 袁杰。；郑毅。；谢，X。；Sun，G.，T-drive:利用出租车司机的智能提高驾驶方向，IEEE Trans。知识。数据工程，25，1，220-232，（2013）·doi:10.1109/TKDE.2011.200 [31] Zimmermann，K。；Freksa，C.，使用方向、距离和路径知识的定性空间推理，应用。智力。，6, 1, 49-58, (1996) ·doi:10.1007/BF00117601 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。