罗敏霞
- 作品数：52 被引量：78H指数：4
- 供职机构：中国计量学院理学院更多>>
- 发文基金：国家自然科学基金北京市自然科学基金浙江省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术哲学宗教文化科学更多>>
- 关于BCI-代数的BCI-G部分被引量：1
- 1996年
- 本文讨论了BCI-代数的BCI-G部分成为理想的等价条件.
- 罗敏霞
- 关键词：BCI-代数等价条件ABEL群
- 三角代数的模糊滤子
- 2015年
- 引入三角代数和三角代数中滤子的概念,研究三角代数中滤子的性质.给出了三角代数中模糊滤子的概念,进一步给出三角代数模糊滤子的等价刻画;研究了三角代数中滤子与模糊滤子之间的关系,并证明由滤子可以诱导出模糊滤子,反之,由模糊滤子也可以诱导出滤子.
- 罗敏霞潘琼
- 关键词：三角代数滤子模糊滤子
- 基于一类严格三角范数的命题逻辑
- 2008年
- 剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→P：P→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型T（x，y，h）（h∈（0．75，1））的命题演算逻辑PC（T）系统是基本严格模糊逻辑SBL；PC（T）～是基本严格模糊逻辑SBL的扩张SBL～。
- 罗敏霞何华灿
- 理想状态下泛逻辑的形式演绎系统β被引量：1
- 2004年
- 本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。
- 罗敏霞何华灿
- 关键词：人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统
- 可计算理论的研究内容及应用
- 2003年
- 可计算理论建立于二十世纪三十年代。可计算理论的研究对象有三个 :(1)判定问题 ;(2 )可计算函数 ;(3 )计算复杂性。判定问题主要是判定方程是否有解 ;可计算函数主要讨论一个函数是否可计算 ,建立了原始递归函数、图灵机等许多数学模型判定一个函数是否属于可计算函数 ;计算复杂性主要讨论的问题是P =?NP。可计算理论的计算模型主要包括 :(1)Turing机 ;(2 )递归函数 ;(3 )λ演算 ;(4)POST系统 ;(5)正则算法。可计算理论是理论计算机科学 ,属于计算机科学的基础研究领域 ,可计算理论是计算机软件工程、系统结构、并行运算、图像处理、人工智能。
- 罗敏霞
- 一种泛逻辑代数系统被引量：8
- 2005年
- 文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一步证明了U B代数与M V代数、正规FI代数是等价的。
- 罗敏霞何华灿
- 关键词：剩余半群FI代数MV代数
- 关于诣零代数的理想
- 1995年
- 本文讨论了诣零代数的子集作成理想及正定关联理想的条件以及二者的关系．
- 罗敏霞张敏冯永杰
- 关键词：子代数
- 论泛集合、泛逻辑和泛代数的关系被引量：2
- 2006年
- 根据描述清晰事物的经典集合、经典逻辑和L indenbaum代数是三位一体的同构关系的事实,猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系,以此作为研究的基础,建立了部分代数系统之间的层次关系,并给出了与之同构的逻辑系统,并利用泛逻辑学中关于线序柔性命题逻辑学的研究成果,部分证实了上述猜想.
- 何华灿罗敏霞
- 关键词：泛逻辑泛代数同构关系
- 乘积逻辑系统中公式的真度函数理论
- 2011年
- 基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
- 罗敏霞姚宁
- 关于具有条件(S)的BCK—代数的剩余半群
- 2000年
- 本文证明了具有条件 (S)的 BCK—代数的伴随半群是一个可换蕴涵半群 ;同时讨论了具有条件 (S)的
- 罗敏霞
- 关键词：伴随半群剩余半群BCK-代数
