四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

基于语言真值直觉模糊推理的公共交通资源投入评估方法

为了在智能信息处理中能够对具有可比性和不可比性的语言值信息进行处理,从而对推理过程中的正、反2个方面证据进行处理,提出一种语言真值直觉模糊推理方法;基于格蕴涵代数和2n元语言真值直觉模糊格,研究了语言真值Kleene-Dienes蕴涵算子和语言真值Zadeh蕴涵算子,讨论两者之间的性质和运算关系;利用所提的蕴涵算子构建一种基于模糊语言值推理的公共交通评估方法,以公共交通资源投入实例来说明方法的合理性。结果表明,与传统的模糊蕴涵算子相比,所提的2种蕴涵算子对具有语言值信息的公共交通资源投入评估分析中的信息应用更加全面,所得的具有语言值信息的评估结果更加接近人类思维。     

基于十元格蕴涵代数的语言值评价方法

为了解决评价分析中同时具有可比性和不可比性的语言值问题,采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数,建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息,且具有丰富的适用于语言值推理的蕴涵运算。在评价分析过程中语言值直接参与推理和运算。研究结果表明所提出的方法在教学评价系统对处理语言值推理时更有效。该成果将有助于推动智能评价系统的实现。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

一种模糊推理中的真值算法研究

研究模糊推理的问题,提出了一种真值传播的计算公式与方法。这种计算方法可以区别精确推理和模糊推理,也可以区别推理条件多与寡的推理。真值的修正值部分满足有界性、可行性;同时,随着对客观世界认识的不断深入,推理结论的真实性不断提高。     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

集成加权软投票的众包真值推理方法

为了提高众包的质量并获取高质量的标注数据,已有许多基于真值推理的众包标注方法被提出.传统真值推理利用多噪声标签作为输入,通过聚合策略推断出真实标签,该过程只考虑了实例的标签而忽略了实例的特征,且忽略了不同工人对不同实例的标注质量.该文引入实例的特征以最大程度地挖掘实例中蕴含的有用信息.通过计算众包实例属于每一个类别的概...