定性模型推理xy_智能科学.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 史忠植 高级人工智能 * 几何空间定性推理 基本状态间的相互转换 根据两个区域的形状不同,上述八个基本关系可被分为6个子集: (1) DC EC PO = (2) DC EC PO TPP (3) DC EC PO TPP-1 (4) DC EC PO TPP NTPP (5) DC EC PO TPP-1 NTPP-1 (6) DC EC PO * 史忠植 高级人工智能 * 几何空间定性推理 空间时间关系描述 1.方位性状态和运动性状态 Galton 将八个RCC 关系分为方位性状态(position state)和运动性状态(motion state)，并且使用Allen 关于时间关系的一些逻辑化的形式, 给出了这种分类的定义。首先介绍一下Galton使用的概念、谓词和函数。 (1) 对时间的描述分为区间和时刻; (2) 状态存在的描述谓词: