The completeness and applications of the formal system L

Since the formal deductive system L\{\}*was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system L\{\}* is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of L\{\}*_Lindenbaum algebra, the completeness and strong completeness of the system L\{\}* are proved. Some applications of the system L\{\}* in fuzzy reasoning are also discussed, and the obtained results and examples show that the system L\{\}* is suprior to some other important fuzzy logic systems.     

基于新的蕴涵算子族的模糊推理三I算法

讨论了基于蕴涵算子族RP的模糊推理全蕴涵三Ⅰ算法与α-三Ⅰ算法理论,分别得到了FMP问题与FMT问题的三Ⅰ推理算法的计算公式,这将有助于提高模糊推理的灵活性,减少模糊推理产生的盲目性。     

基于模糊Petri网的模糊推理算法

运用模糊Petri网进行模糊推理,有利于知识表示结构化,推理过程清晰化,且具有高度的并行处理能力,但在现实世界中无法直接确定命题的真实程度。该文利用相似度原理以及连续函数对模糊Petri网作标识,根据带标识的模糊Petri网变迁触发规则得到系统输出。此外,当知识库所中增加新的规则,只须在原有的模糊Petri网中增加相应结点,对原来专家系统中知识维护有较大的帮助。     

基于模糊Petri网的模糊推理算法

运用模糊Petri网进行模糊推理,有利于知识表示结构化,推理过程清晰化,且具有高度的并行处理能力,但在现实世界中无法直接确定命题的真实程度.该文利用相似度原理以及连续函数对模糊Petri网作标识,根据带标识的模糊Petri网变迁触发规则得到系统输出.此外,当知识库所中增加新的规则,只须在原有的模糊Petri网中增加相应结点,对原来专家系统中知识维护有较大的帮助.     

基于相似度的车牌定位方法

根据车牌区域内字符的纹理特征以及车牌的颜色特征,提出了一种基于相似度的模板匹配车牌定位方法。该算法先对车牌区域构造出相应的模板,同时分别构造出模板与待定位图像的模糊集,再根据所构造出的模糊集,用滑动窗法计算模板与当前窗口的相似度,得到一个相似度矩阵。取其中最大相似度所对应的区域作为车牌候选区,通过对该候选区进行判断与精确定位分割出车牌区域。实验结果表明该方法能得到较理想的车牌定位效果。     

几个模糊命题逻辑紧致性的新证明

紧致性是模糊逻辑的一个重要性质,Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑鼠的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑紧致性定理的新的统一证明。     

基于贴近度的疾病诊断模糊专家系统

简述模糊专家系统的模糊推理机制,并采用贴近度推理方法代替常用的Mamdani模糊推理。针对医学中疾病发生的严重程度,运用Visual C++作为系统的开发平台,建立疾病诊断模糊专家系统。结果表明:构建的疾病诊断模糊专家系统能够实现对几种常见疾病的自动诊断。