定性推理演示文件修改版.pptVIP

史忠植 高级人工智能 高级人工智能 内容提要 什么是定性推理？ 4.1 概 述 4.1 概 述 4.1 概 述 4.2 定性推理的基本方法 4.2 定性推理的基本方法 4.2 定性推理的基本方法 4.2 定性推理的基本方法 4.2 定性推理的基本方法 4.3 定性模型推理 4.3 定性模型推理 4.3 定性模型推理 4.3 定性模型推理 4.3 定性模型推理 4.3 定性模型推理 4.3 定性模型推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.4 定性进程推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.5 定性仿真推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 4.7 几何空间定性推理 Qualitative Calculi The success of qualitative reasoning relies on choice of good qualitative calculi A q-calculus is generated by a set of jointly exhaustive and pairwise disjoint (JEPD) relations on the domain of discourse RCC8 Topological Algebra Regions are nonempty regular closed subsets of a connected regular topological space (e.g. Euclidean space) Basic RCC8 relations are defined on regions RCC8 Basic Relations DC EC PO TPP NTPP EQ disjoint meet overlap covered_by contained_by equal Directional Model Point-based Projection-based Cone-based Region-based Rectangle Algebra Direction-Relation Matix Model Cone-Based Cardinal Directions Projection-Based Card. Directions Frank AU. Qualitative spatial reasoning: Cardinal directions as an example. IJGIS, 1996,10:269~290 Rectangle Algebra The rectangle relation between two boxes A,B is described by the interval relations between the x- and y-projections of A, B Direction-Relation Matrix R.K. Goyal, M.J. Egenhofer: Similarity of Cardinal Directions. SSTD 2001: 36-58 Direction-Relation Matrix Reasoning with q-Calculi Constraints Given a q-calclus R, and a relation r in R, (x r y) express a constraint between two variables x and y Composition Given two constraints (x r y) (y s z), we want to know the strongest relation t s.t. (x t z) is possible t is called the weak composition of r an