4、决策表与非经典逻辑知识解析

QuietPulse

于 2025-09-23 09:09:32 发布

阅读量24

点赞数

CC 4.0 BY-SA版权

分类专栏：粒计算与常识推理文章标签：决策表非经典逻辑多值逻辑

本文链接：https://blog.youkuaiyun.com/c2d3e4f/article/details/152538255

粒计算与常识推理专栏收录该内容

16 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

决策表与非经典逻辑知识解析

1 决策表相关知识

1.1 决策表基础概念

决策表是知识表示系统中的一个特殊且重要的类别，可用于实际应用。设存在知识表示系统 (K = (U, A))，其中 (C) 和 (D) 是属性 (A) 的两个子集，分别被称为条件属性和决策属性。具有明确条件属性和决策属性的知识表示系统就是决策表，记为 (T = (U, A, C, D)) 或简记为 (DC)。关系 (IND(C)) 和 (IND(D)) 的等价类分别被称作条件类和决策类。

对于每个 (x \in U)，存在一个函数 (d_x : A \to V)，使得对于每个 (a \in C \cup D)，都有 (d_x(a) = a(x))，这个函数 (d_x) 被叫做决策规则（在 (T) 中），而 (x) 则是决策规则 (d_x) 的标签。需要注意的是，决策表中集合 (U) 的元素通常并不代表实际对象，仅仅是决策规则的简单标识符。

如果 (d_x) 是一个决策规则，那么 (d_x) 对 (C) 的限制，记为 (d_x | C)，以及 (d_x) 对 (D) 的限制，记为 (d_x | D)，分别被称为 (d_x) 的条件和决策（行动）。若对于每个 (y \neq x)，当 (d_x | C = d_y | C) 能推出 (d_x | D = d_y | D) 时，决策规则 (d_x) 是一致的；反之则是不一致的。当决策表的所有决策规则都一致时，该决策表是一致的；否则就是不一致的。一致性（不一致性）有时可被解释为确定性（非确定性）。有命题表明，决策表 (T = (U, A, C, D)) 一致的充要条件是 (C \Rightarrow D)。