知识工程与知识管理第6章（3）.pptVIP

6.2.3变换规则的知识推理 在智能科学中，知识推理采用了形式逻辑中的假言推理。 变换规则知识的推理是对变换规则知识的假言推理。 定义 变换规则知识的假言推理表示为： (Tuu = u?) ? [(Tuu = u?)?(Tvv = v?)]├ (Tvv = v?) 变换规则知识的推理是在知识推理的基础上，扩展为对变换规则知识的推理。 变换规则知识只表明存在对象变化的可能性 变换规则知识的推理表明实际对象变化的发生。在上式中，变换规则知识 (Tu?Tv) 只表明对u的变换Tu会引起对v的变换Tv。 在推理式中现已发生变换Tu，按推理式的推理必然出现变换Tv。  6.2.4变换规则链的知识挖掘 6.2.4.1 基于集合的变换规则 6.2.4.2 基于本体的变换规则链的获取 6.2.4.3 变换规则链获取实例 6.2.4.4 结 束 语 C为概念，R为关系，F为函数，A为公理，I为实例. 关系R有四种： subclass-of（或kind-of，子类）； part-of (部分)； instance-of (实例) ； attribute-of (属性). 我国航空公司