MTL代数语义上逻辑公式的概率真度

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.     

计量逻辑中真度的均值表示形式及应用

 命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.     

粗糙逻辑中公式的一种新的粗糙概率真度

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.     

Lukasiewicz命题逻辑中命题的Choquet积分真度理论

将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.     

对称逻辑公式在经典逻辑度量空间中的分布

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠...     

n值S-MTL命题逻辑系统中公式真度的统一理论

 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.     

基于模糊逻辑的野值处理系统

在进行数据处理时，为了提高卡尔曼滤波对含有野值的量测数据的滤波精度，在对野值进行识别的基础上，提出了对野值基于模糊逻辑的处理方法，并用MATLAB软件编程进行了仿真分析，仿真结果表明改进后的卡尔曼滤波在精度上有了明显的提高。     

四值逻辑与脉冲异步时序逻辑网络分析和设计

本文利用四值逻辑讨论了触发器的逻辑功能,并讨论四值逻辑在脉冲异步时序逻辑网络分析和设计中的应用。这种分析和设计方法也适用于同步时序逻辑网络,并且适用于使用计算机进行辅助分析和设计。     

基于模糊逻辑的使用控制模型研究

把模糊逻辑引入使用控制的授权模型,使授权过程对不能通过验证的权限请求并不立即拒绝,而是对用户满足系统约束条件的程度进行分析,再授予最大的权限集。新的授权模型具有更细的粒度,也更具灵活性,更适合将来的智能化网络环境使用。     

光电子混合模糊逻辑

本文提出了一种由光电子混合回路构成的简单光学模糊逻辑门设计。演示了补、最大、最小和限界差(相对补)四种最基本的逻辑操作。给出了一个多功能可编程的光电子混合模糊逻辑门,可实现模糊逻辑中七种基本逻辑运算。     

二值命题逻辑公式的语构程度化方法

本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.     

基于 MV 代数语义的格值逻辑的程度化方法

基于MV代数（Many-Valued algebra ）语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度。由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理。本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法。     

模糊逻辑创始人Zodeh教授展望模糊控制应用

当我在1965年发表第一篇模糊集论文时,期望模糊集理论会在传统的系统分析方法效果不明显的领域找到主要应用,例如经济学,语言学、心理学、法律、决策分析、生物医学系统,更加一般地说,用于人文系统的分析。     

一种粗逻辑神经网络研究

该文基于粗逻辑理论,研究了粗逻辑意义下的粗集神经网络的设计,分析和比较了粗逻辑神经网络和模糊逻辑神经网络的性质。在重庆地区Landsat TM 遥感图像的地物分类实验中,验证了粗逻辑神经网络的有效性,同时可以发现其在网络结构和收敛性方面的优势。     

模糊逻辑在消费类产品中的应用

消费者是铁面无情的,他们不关心他们用的家用电器是用32位RISC处理器控制的,还是用模糊逻辑控制的。消费者所希望的仅仅是功能、价格、方便和可靠。消费类产品,从吹风机一直到汽车无所不包,产量动辄几十万台,甚至几百万台,因而其成本是十分关键的。哪怕某一产品的制造成本削减5分钱,制造商也可节省大量的资金。任何能满足消费类产品上述主要需求的设计策略都值得考虑。     

基于模糊逻辑的抗畸变光学模式识别

将多值击中击不中变换（ＭＶＨＭＴ）引入用于二值图像识别的联合变换相关器（ＪＴＣ）。ＭＶＨＭＴ对形态学击中击不中变换（ＨＭＴ）的性能进行了改善,基于模糊的概念,引入不确定点的定义,使得容易受到畸变干扰的点对判别结果的作用降低,从而在不损失图像信息的前提下,具有输入图像和参考模板之间进行精确匹配的能力,同时还提高了目标识别的抗畸变能力。利用新颖的多值互补编码方法,通过ＪＴＣ一步实现ＭＶＨＭＴ,相关后的图像通过取高阈值的分割方法来实现对目标的准确判断。     

DC/DC变换器自适应模糊逻辑控制器设计

文章为DC/DC变换器设计了一种自适应模糊逻辑控制器（AFLC）。所提出的AFLC不需要专家系统提供决策参数和控制规则,而是使用模型数据文件来产生参数和规则,该模型数据文件包含输入输出对的整体概况。所提出的控制器使用8位微控制器来实现降压、升压和降压-升压变换器。     

模糊逻辑控制在单片机中的应用（上）

模糊逻辑控制做为一种新型的控制方法，正在控制系统中得到日益广泛的应用。模糊逻辑控制是以模糊集合为基础而形成的一种全新的控制方法。这是一种比经典控制和现代控制更高一级的控制方法，不但可以解决能用数学模型描绘的控制系统，也可以解决那些不能用数学模型的控制系统。