定性模型推理xy.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 史忠植 高级人工智能 * 几何空间定性推理 空间时间关系描述 1.方位性状态和运动性状态 Galton 将八个RCC 关系分为方位性状态(position state)和运动性状态(motion state)，并且使用Allen 关于时间关系的一些逻辑化的形式, 给出了这种分类的定义。首先介绍一下Galton使用的概念、谓词和函数。 (1) 对时间的描述分为区间和时刻; (2) 状态存在的描述谓词: Holds-on(s,i) 表示在区间i上存在状态s; Holds-at(s,t) 表示在时刻t存在状态s; (3) 谓词 Div(t,i) 表示时刻t在区间i上; (4) 函数inf(i)表示在区间i的开始时刻; (5) 函数sup(i)表示在区间i的结束时刻; * 史忠植 高级人工智能 * 几何空间定性推理 空间时间关系描述 方位性状态。 如果状态s满足 ?i (Holds-on(s,i)) →Holds-at(s,