检索结果-南通市图书馆

基于泛逻辑推理的复杂产品融合绿色性分析的设计方案评价技术

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2013年第8期19卷 1990-1999页

作者：孙良峰裘乐淼张树有伍晓榕浙江大学流体传动及控制国家重点实验室浙江杭州310027

为了更准确地支持复杂产品的方案评价并综合考虑产品的绿色特性,研究了基于泛逻辑推理的复杂产品融合绿色性分析的方案评价技术。用功能与或树及匹配命题集的形式实现了复杂产品方案的命题表达,并采用各独立匹配命题分别评价再整体集成... 详细信息

为了更准确地支持复杂产品的方案评价并综合考虑产品的绿色特性,研究了基于泛逻辑推理的复杂产品融合绿色性分析的方案评价技术。用功能与或树及匹配命题集的形式实现了复杂产品方案的命题表达,并采用各独立匹配命题分别评价再整体集成的方法,细化了评价过程。将产品性能指标分为功能性评价指标和绿色性评价指标,以各独立匹配命题为单位,采用模糊综合评判的方法分别进行评估。利用泛逻辑学中建立的命题自相关性和互相关性对命题真值的影响模型将两者有效结合,同时充分考虑各独立方案之间的集成特性,运用复合命题的泛逻辑推理方法实现整体方案的评价。以自动化焊接中心的方案评价为例,验证了方法的可行性。

关键词：方案评价绿色性能泛逻辑复杂产品

在线全文

学校读者我要写书评

暂无评论

集合论-泛逻辑悖论

北京航空航天大学学报 2009年第3期35卷 376-379页

作者：杜国平王洪光李娜朱梧槚南京航空航天大学计算机科学与工程系南京210016 南京大学现代逻辑与逻辑应用研究所南京210093

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 详细信息

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.

关键词：概括原则泛逻辑不可数无穷值逻辑悖论

在线全文

学校读者我要写书评

暂无评论

泛逻辑学中UB代数系统的若干性质

计算机工程与应用 2007年第21期43卷 72-74页

作者：肖云萍邹庭荣华中农业大学理学院武汉430070

文[1]提出了理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。

关键词：泛逻辑 UB代数有界格模糊逻辑伴随对

在线全文

学校读者我要写书评

暂无评论

泛逻辑的基本形式演绎系统UL及其可靠性

计算机科学 2003年第11期30卷 21-24页

作者：张小红何华灿李伟华西北工业大学计算机科学与工程系

1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于模糊推理长期以来没有严格的逻辑基础,致使其进一步发展受到限... 详细信息

1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于模糊推理长期以来没有严格的逻辑基础,致使其进一步发展受到限制,且不可避免地受到怀疑与批判[3].

关键词：泛逻辑 UL 系统可靠性基本形式演绎

在线全文

学校读者我要写书评

暂无评论

泛逻辑的基本形式系统中的广义重言式理论

计算机科学 2005年第6期32卷 96-98页

作者：马盈仓何华灿西北工业大学计算机学院西安710072

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的... 详细信息

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。

关键词：广义重言式理论形式系统泛逻辑充分条件有理数无理数

在线全文

学校读者我要写书评

暂无评论

泛逻辑神经元模型研究

计算机工程与应用 2005年第6期41卷 82-84页

作者：鲁斌华北电力大学计算机科学与技术学院河北保定071003

该文针对目前逻辑神经元模型形态单一、功能有限的弱点,构造了一种能够包容各种逻辑形态的通用神经元模型--泛逻辑神经元,可以较好地反映抽象思维的柔性化规律。在倒立摆试验中的应用结果表明了该方法的有效性。

关键词：逻辑神经元泛逻辑模糊控制器

在线全文

学校读者我要写书评

暂无评论

理想状态下泛逻辑的形式演绎系统β

计算机科学 2004年第3期31卷 95-98页

作者：罗敏霞何华灿西北工业大学计算机科学与工程系

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

关键词：人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统

在线全文

学校读者我要写书评

暂无评论

理想状态下泛逻辑的形式演绎系统B的完备性

计算机科学 2005年第6期32卷 93-95页

作者：罗敏霞何华灿西北工业大学计算机学院西安710072

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

关键词：形式演绎系统理想状态完备性泛逻辑广义相关系数自相关系数代数系统滤子

在线全文

学校读者我要写书评

暂无评论

人工智能中泛逻辑学的研究

计算机应用研究 2005年第10期22卷 13-15页

作者：许海洋王万森首都师范大学信息工程学院北京100037

逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展,随着处理知识的随机性、模糊性和未知性等特点的出现,模糊逻辑等在人工智能中得到发展;各种形式的非标准逻辑的出现,促使建立尽可能包容一切逻辑形态... 详细信息

逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展,随着处理知识的随机性、模糊性和未知性等特点的出现,模糊逻辑等在人工智能中得到发展;各种形式的非标准逻辑的出现,促使建立尽可能包容一切逻辑形态和推理模式的泛逻辑学。在分析模糊逻辑规律的基础上,把三角范数理论和逻辑学紧密结合起来,利用三角范数理论提出命题泛逻辑学。目前,泛逻辑学在人工智能中已经取得了一定的研究成果。

关键词：泛逻辑三角范数不确定性模糊逻辑