37、基于EVALPSN的似然推理与粗糙集约简分类方法

基于EVALPSN的似然推理与粗糙集约简分类方法

似然逻辑基础

似然逻辑是一种处理不确定推理的逻辑体系。我们先对似然逻辑的基础概念进行介绍。
- 基本符号与术语
- 整数区间表示 ：设 (Z) 为所有整数的集合，若 (m,n \in Z)，则 ([m..n] = {i \in Z | m \leq i \leq n})。序列 (P) 的长度记为 (|P|)。对于有限序列 (P = (P(1),…,P(|P|)))，若 (i \in [1..|P|])，则 (P[1..i] = (P(1),…,P(i)))；若 (i = 0)，则 (P[1..i] = ())，即空序列。
- 字母表 (A) ：由以下四个两两不相交的符号集合组成：
- 非空可数的原子集合。
- 连接符集合 ({\neg,\land,\lor,\to,\Rightarrow,;})。
- 证明符号集合 ({+,-,\Delta,\delta,\partial,\overline{}})。
- 标点符号集合，包含逗号、花括号和括号。
- 公式相关定义 ：
- 若 (F) 是一个非空公式集，(\bigwedge F)（(\bigvee F)）表示 (F) 中所有公式的合取（析取）。
- 子句是一个非空文字集的析取。
- 公式 (f) 的补 (\sim f) 和公式集 (F) 的补 (\sim F) 定义如下：若 (f) 是原子，则 (\sim f) 是 (\neg f)；(\sim \neg f) 是