From the point of view of semantic, spatio-temporal logic that integrating metric space logic and proposidonal temporal logic are presented. Besides, the thesis proposes a qualitative spatio-temporal representation and reasoning method deals with combining position relations and time.
总结以往时空推理的研究工作,特别是时空逻辑方面的工作,研究如何建立更好的时空模型,并提出了可行的解决方案;重点研究了空间推理中区域间的方位关系表示和推理问题,给出了结合主方位和拓扑关系的空间对象表示和推理方法以及模糊区域间的方位关系模型;在时空推理方面给出了结合度量空间和时间的时空逻辑和结合位置关系和时间的定性时空表示方法。
参考来源 - 空间方位关系模型与时空结合推理的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐