一种新的中介真值程度的度量方法及模糊谓词的分解

以中介数学系统为背景,为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法。在建立了谓词的标准度概念后,描述了谓词的真值与对应的数值区域之间的关系;采用距离的概念,并以对应谓词真值的数值区域长度为基准,给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法。又在提出了λ-真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理,从而建立了一元模糊谓词与清晰谓词间的量化关系。应用示例表明:真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点。

真值流推理及其动态分析

试图为知识工程机器智能提供一种新的不确定性推理的框架.利用因素空间理论对推理句的因素机理进行了刻划,建立了推理渠道集结构,把推理描写成真值沿推理渠道的流动过程,在此基础上,对现有模糊推理的基础——推理关系作了严格的分析处理,澄清了其中的一些混乱,把模糊蕴涵的赋值公式从纯经验提到论证的高度.为了突破推理的静态研究局面,引入了兴奋度概念,建立了推理的动态分析模型.

基于中介度量理论的车辆检测算法

为提高传统虚拟检测线法的车流量检测率,提出在车辆判决条件中引入检测线上发生改变像素的连接程度,并针对车辆判决中存在的模糊问题,引入中介数学知识,设计了基于中介度量理论的车辆检测算法。该方法综合考虑多项判决条件,利用中介度量理论解决识别中存在的模糊问题,获得了较高的识别率。实验结果表明,该算法具有实时性及高准确性,为车流量检测提供新的解决办法。

程度化语言值链上的语言真值概念格及其应用

为了给自然语言的直接处理提供一个可靠的逻辑基础和运算模型,建立了程度化语言值链上的Lukasiewicz蕴涵代数和语言真值概念格。具体分析了实际问题中用于刻画确定性数量值的自然语言,将其等价地表示为程度化语言值集合,并定义了偏序关系及二元运算;其次建立了程度化语言值链与自然语言集合间的一一对应关系,并在自然语言集合所形成的链型格蕴涵代数上构造了具体的语言真值概念格;进而通过该语言真值概念格在车辆运输安全性能的语言信息分析系统中的应用,验证了该模型用于自然语言直接处理的可行性和结构图形的可读性。

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

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

基于中介真值程度的成绩评价算法设计

成绩评价是学生学习活动过程中一项重要的工作,评价方法要求客观、全面和公正。以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法,即引入中介真值程度的度量方法来研究成绩评价方法。在确定所给的考试分数区域与其对应谓词的真值之间的关系后,根据真值程度函数进行了算法设计,给出了成绩的单项和综合评价。通过实例分析可以看出,该算法设计能全面、定性地反映个体成绩的优劣,方法更科学、公正和全面。鉴于评价系统的相似性,文中所涉及的中介真值程度的度量算法在评价、决策与管理科学中会得到广泛应用。