| 【论文摘要】 | 时空表示和推理是当前人工智能领域一个比较活跃的研究分支。本文的研究即是在Muller 提出的时空本体的基础上,基于比较成熟的RCC理论模型,把时空区域间的连接关系区分为时空连接(Cst )、空间连接(Csp )和时间连接(Ct ),以此来定义时空区域间的新的RCCα-8 关系,其中α∈{st,sp,t},同时在时态维捕获时态序的概念,从时态连接和时态序的角度给出相遇的定义( )和Allen 的时态关系。在这重新形式化的本体理论的基础上,详细地研究了时空区域间的各种时空连续性的概念,给出了由多个组件组成的时空历史间的时空连续性:StrCONT, MulCONT, ColCONT, WCONT, TCONT, SpCONT。提出了三种不同的转变操作来表达区域间关系的转变TransTo (r1,r3,x,y,z1,z2), TransFrom(r1,r3,x,y,z1,z2), InsRel3(r1,r2,r3,x,y, z1,z2),最后在此理论的基础上,提出了对于刚性实体的几种时空模式:1、不变模式IMB(x),2、不循环模式NYC(x),3、循环模式CYC(x),使用这些时空模式来进一步地约束时空区域间的变化... |