第二章关联集与粗糙集.docVIP

第二章关联集与粗糙集 2.1 双格 经典的集合代数是基于通常的二值逻辑的，它作为不完备信息和不一致信息的模型是不适宜的。为了克服二值逻辑的不足，1977年Belnap在经典的逻辑真值（真和假（））中，增加了两个新值，即一点不知和完全知道（），构成了四值逻辑，这样的逻辑框架既可以度量真值，又可以刻画信息的完全性和一致性。1986年，Ginsberg 推广了Belnap的四值逻辑结构，建立了双格概念，这为知识表示提供了方便。事实上，对于某一个集合，根据已有的信息对其中的每一个元素划分到已经确定的区域内并不可能，为此，Mousavi于2001年把双格的概念引入到集代数中，他用一对相对集来表示每一个概念，即用正区域和负区域两个区域来表示每一个概念。 2.1.1 双格的概念 设，而上的Belnap四值逻辑的真值有两个自然序：一个是真值序，用它记录真值度，在这个序下，假（）是最小元，真（）是最大元，一点不知（）和完全知道（）是两个不可比较的中间值；是具有逆序对合的格，且Т=Т，格上的交与并分别用表示，在相同的集合上还有一个是反映信息或知识程度的序，关于的交与并分别用表示，它们分别表示一致的和易受骗的。是一个保序的格，所以代数结构是一个具有四个元素Т}、五个运算的双格。 定义1 一个双格是一个结构В，这里的是至少包含两个元素的非空集，是完备格，而是满足下列性质的一元运算： 如果，则， 如果，则， 。 相对真值及其运算 根据Fitting的思想，Mousavi把Belnap四值逻辑的每一个真值用一对有序数表示，，其中表示有一些证据支持一个句子是真的，而有证据说明一个句子是假的。从而（0，0）表示对于一个句子没有证据支持和反对它，它对应着“一点都不知道”， （1，0）和（0，1）分别对应着真（）和假（），（1，1）表示完全知道。假定每个句子的真值可以被一些证据或自己的知识确定，一个句子的真值完全依赖于每个智能体的知识，称为一个句子的相对真值。Mousavi举了一个浅显的例子，一个卡片上一面涂黑色，一面涂白色，有四个智能体来确认“卡片是白色”的句子的真值，第一个智能体没有看见卡片，所以它没有证据支持或反对这个句子，因此第一个智能体对这个句子的赋值是（0，0），第二个智能体刚好看见了卡片的白色的一面，它的赋值是（1，0），第三个智能体刚好看见了卡片的黑色的一面，它的赋值是（0，1），而第四个智能体看见了卡片的两面，它的赋值是（1，1）。显然，一个句子的赋值完全依赖于智能体对句子的赋值。 下面给出相对真值的代数结构。 在四元集上，我们将对相对真值定义如下五个运算（）： 1）交：如果一个智能体对句子和句子都有一些证据，则说对句子有一些证据，且如果有证据反对句子或句子，则说有证据反对句子。于是 。 2）并：如果一个智能体对句子或句子有一些证据，则说对句子有一些证据，且如果有证据反对句子和句子，则说有证据反对句子。于是 。 3）非：如果一个智能体对句子有一些证据，则说有一些证据反对，于是 。 4）一致同意(Consensus)：如果两个智能体同时确认或反驳同一个句子，则说两个智能体的结果是一致的： 。 5）易上当(Gullibility)：如果两个智能体至少一个确认一个句子，且至少一个反驳这个句子，则说两个智能体的结果是易上当的： 。 相对集及其运算 2.3.1相对集上的运算 我们用一对称为相对集的经典集合来表示一个概念，称为相对集的正域，它是所有支持某概念的对象的集合，称为相对集的负域，它由所有反对某概念的对象的集合。 如果，且，则称属于； 如果，且，则称不属于； 如果，且，则称在中有一个抵触行为； 如果，且，则称属于是未知的。 按照上述定义，一个相对集划分所有对象为四个不同区域： （1）所有属于，但不属于的所有对象的区域，它对应于四值逻辑的值（1，0）或真。 （2）所有属于，但不属于的所有对象的区域，它对应于四值逻辑的值（0，1）或假。 （3）所有属于，且属于的所有对象的区域，它对应于四值逻辑的值（1，1）或完全知道。 （4）所有要么属于，要么属于的所有对象的区域，它对应于四值逻辑的值（0，0）或完全不知道。 与相对真值运算一样，可以定义相对集的交、并和补运算等运算如下： ①交：， ②并：， ③非：， ④一致同意(Consensus)：， ⑤易上当(Gullibility)：。 两个相对集的一致同意可以理解为关于同一个概念的两个智能体的知识的交，而两个相对集的易上当可以理解为关于同一个概念的两个智能体的知识的并。 2.3.2 两个相对集的序 设是非空有限论域，用表示的幂集，则构成一个格。这个格上的序就是经典的集合包含关系。 与Belnap四值逻辑一样，可以区分相对集的两个不同序： i）相对集的