语言真值直觉模糊命题逻辑系统的推理规则

提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊命题逻辑系统LP(S)的性质,得到了其公理及推理规则,也获得了LP(S)中的证明与定理。实例说明,该方法在处理同时具有可比性和不可比性的直觉模糊决策问题中更灵活、更有效。

直觉模糊命题逻辑公式的概率真度

定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则,最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果.

直觉模糊命题逻辑的广义拟重言式及其分类

通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.

直觉模糊命题逻辑公式的真度

利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。

基于直觉模糊逻辑的近似推理方法

针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法.给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法.该方法包括直觉模糊取式推理,直觉模糊拒式推理及直觉模糊假言推理,并推导了相关的推理合成运算公式.以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤.

直觉模糊时态逻辑算子及其性质

将always,sometime,until,unless等时态算子引入到直觉模糊逻辑中,提出了直觉模糊时态逻辑系统,并研究了该系统中时态算子的一些性质.