傅丽
- 作品数：24 被引量：306H指数：5
- 供职机构：青海民族学院数学与统计学院更多>>
- 发文基金：国家自然科学基金教育部“春晖计划”国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 模糊推理三I算法的逻辑基础被引量：16
- 2004年
- 在模糊推理理论中 ,近期问世的三 I推理方法以逻辑蕴涵运算取代传统的合成运算 ,从根本上改进了传统的合成推理规则 (即 CRI方法 )。本文基于模糊命题逻辑的形式演绎系统 L* 和模糊谓词逻辑的一阶系统 K* ,构建了一个完备的多型变元一阶系统 K*ms,并且将三 I算法完全纳入了模糊逻辑的框架之中 ,从而为模糊推理奠定了严格的逻辑基础。
- 裴道武傅丽
- 关键词：模糊逻辑模糊推理CRI算法三I算法
- 概念外延的粗糙性质
- 定义了形式背景外延的上下近似运算,讨论这种上下近似运算的性质,给出形式背景外延的分类和性质,并且讨论了形式背景外延间的依赖关系.
- 傅丽
- 文献传递
- 概念学习算法中的模糊集被引量：1
- 2009年
- 概念学习可以形式化为寻找与训练实例最适合的可能假设的预定义空间,已有的多种算法(比如:Find-S、List-Then-E-liminate、candidate-Elimination等等)都是考虑Boolean-值(即{0,1})函数。用模糊集合的思想,把{0,1}-值函数扩展到[0,1]-值,[0,1]单位区间的每一个实数,都可以用于考虑概念学习算法,而且,可以用模糊距离和贴近度定义假设与训练实例之集的相容性。
- 傅丽
- 缺省逻辑的Roos扩充
- 2006年
- Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指出它们的不同。
- 傅丽
- 一致凸Banach空间中渐近非扩张型映象不动点的具误差的迭代逼近被引量：2
- 2006年
- 研究在一致凸Banach空间中,用具误差的Ishikawa迭代序列逼近一致L-Lipschitz渐近非扩张型映象的不动点问题,给出了具误差的Ishikawa迭代序列逼近渐近非扩张型映像不动点的强收敛定理.改进了一些文献的相关结果.
- 傅丽
- 关键词：渐近非扩张映象迭代序列不动点一致凸BANACH空间
- 三I算法的统一形式被引量：18
- 2004年
- 给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.
- 傅丽王国俊
- 关键词：三I算法蕴涵算子正则三角模对偶性CRI算法
- Hilbert代数的若干注记
- 2005年
- 首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wa jsberg代数及弱R0 代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统。
- 傅丽雷红轩
- 关键词：HILBERT代数伴随对逻辑代数
- 次BL代数的推理系统被引量：15
- 2002年
- 基于EskoTurnner对BL代数的系统研究 ,引入了次BL代数的概念 ,并给出了次BL代数的实例 ,在次BL代数中建立了一种广泛的推理系统 .研究表明 ,R0 代数、Lukasiewicz结构、G
- 傅丽
- 关键词：剩余格
- 数学分析中的基本方法——构造法被引量：2
- 2000年
- 在对构造性思维方式做简单论述的基础上 ,通过实例来说明构造法在“数学分析”中的某些具体运用 ,其目的是加强学生创造能力的培养。
- 傅丽
- 关键词：数学分析
- 人工智能中缺省逻辑的可表示性(英文)被引量：1
- 2006年
- 本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。
- 傅丽王国俊
- 关键词：缺省理论
