张安英
- 作品数：14 被引量：61H指数：4
- 供职机构：聊城大学数学科学学院更多>>
- 发文基金：山东省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：理学自动化与计算机技术经济管理更多>>
- n值命题逻辑系统Wn中公式的真度理论
- 本文给出了适用于任何模糊蕴含算子的n值命题逻辑公式真度的新定义.在n值命题逻辑系统Wn中,得到了公式p,p∨q,p∧q,p→q真度的计算公式,并研究了近似推理理论.
- 张安英于西昌张兴芳
- 关键词：真度理论
- 文献传递
- 基于正则蕴涵算子的条件α-重言式理论
- 2007年
- 在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布.
- 张安英于兴江张兴芳
- 关键词：正则蕴涵算子三角模模糊逻辑
- 工程项目工期—花费模型
- 工程项目问题是权衡工期、花费之间的关系,以达到工期短、费用低的目的.首先考虑带有不确定活动时间的工程项目进度—花费问题,根据不同的管理目标,分别建立了期望花费最小模型和期望工期最短模型.随后,给出解决此类问题的混合智能算...
- 丁春晓张安英
- 关键词：工程项目遗传算法
- 文献传递
- L-拓扑空间的局部Fuzzy紧性
- 2008年
- 定义了L-拓扑空间的局部Fuzzy紧性,证明了这种局部Fuzzy紧性是L-好的推广,是闭可遗传的,在连续的、开的、满的L值Zadeh型函数下保持不变。
- 韩红霞孟广武张安英
- 关键词：L-拓扑空间
- 基于一阶模糊逻辑公式的有限解释真度的推理理论
- 2005年
- 通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则平均值MP规则、平均值HS规则、平均值交推理规则.
- 张安英李德胜张兴芳于西昌
- 关键词：真度
- 蕴涵算子族及其应用被引量：46
- 2007年
- 提出了模糊蕴涵算子族的新概念,给出了两族蕴涵算子:L-λ-R0(λ∈[1/2,1])族算子与L-λ-G(λ∈[0,1])族算子.L-λ-R0(λ∈[1/2,1])族算子包括Lukasiewicz(简称Rlu)算子与R0算子,L-λ-G(λ∈[0,1])族算子包括Rlu算子与Gdel(RG)算子.重点讨论了L-λ-R0(λ∈[1/2,1])族算子的伴随算子及其正则性.结果表明,在蕴涵算子族L-λ-R0(λ∈[1/2,1])中,只有RLu算子与R0算子有伴随算子且具有正则性,从而说明这两种算子是较理想的蕴涵算子.最后讨论了其应用,同时提出了命题的置信区间及其可信度的新概念.
- 张兴芳孟广武张安英
- 关键词：蕴涵算子族伴随算子正则性
- 命题逻辑系统中若干问题的研究
- 近年来，大量的学者从事基于三角模的非经典逻辑(包括命题逻辑和谓词逻辑)的研究(其中著名的逻辑系统Lukasiewicz逻辑，Product逻辑，Godel逻辑和L<'*>逻辑都是基于左连续三角模的形式系统)，并取得了丰硕...
- 张安英
- 关键词：命题逻辑系统真值函数
- 文献传递
- L-拓扑空间的相对N_β-紧性
- 2008年
- 在L-拓扑空间中引入相对Nβ-紧性的概念,得到了它的一些性质,如它是L-好的推广,对子集遗传,被连续的广义Zadeh型函数所保持等。
- 韩红霞孟广武张安英
- 蕴涵算子族G-λ-0的支持度与三Ⅰ算法
- 2009年
- 首先给出了一个新的蕴涵算子族G-λ-0(λ∈[0,1]);然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三Ⅰ支持算法。
- 张安英张兴芳李成允
- 关键词：蕴涵算子族
- Gdel系统中由一个或两个原子生成的公式的真值函数的特征被引量：5
- 2007年
- 在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
- 张安英张兴芳高芹
- 关键词：逻辑公式真值函数
