人物简介

在研课题

获奖情况

主要专著

科研项目

人物简介

性 别 女

出生年月 196402

学位/学历 博士

职 称 教授

一级学科 数学 二级学院 理学院 二级学科 应用数学

研究方向 计算机科学中的非经典逻辑、人工智能基础理论及应用

罗敏霞，女，中国计量学院教授。2002.9-2005.11在西北工业大学计算机学院读博士研究生，获工学博士学位；1998.9-2001.6年在陕西师范大学读硕士研究生，获理学硕士学位；1981.9-1985.7在山西师范大学数学系上学，获理学学士学位。现在中国计量学院理学院工作，主要研究方向为半群代数理论、泛逻辑学与人工智能理论及应用，在《Semigroup Forum》、《Lecture Notes in Artificial Intelligence》、《计算机科学》等国内外学术刊物上发表论文50余篇，出版专著1部。主持完成山西省教育厅项目1项，参与国家自然科学基金项目1项、省级自然科学基金项目1项，参编国家教育部十五规划教材1部，参与西北工业大学何华灿教授主持的项目“泛逻辑学原理及其应用研究”，2006年获“陕西省科学技术三等奖”。2篇论文分别获省自然科学优秀学术论文二等和三等奖。中国人工智能学会理事。2006年起任西北工业大学人工智能研究所客座研究员，现担任中国计量学院理学院应用数学研究所所长。

在研课题

[1] 主持浙江省自然科学基金项目“基于子结构模糊逻辑的希尔伯特系统的构建与模糊推理算法研 究”项目编号：Y1110651，2011.1-2012.12

[2] 参与国家自然科学基金重大计划项目“基于逼近理论的误差可控计算与可信算法研究”，批准号：90818020，时间：2009.1-2011.12

[3] 参与西北工业大学基础理论研究院的项目“智能科学的逻辑基础研究”

获奖情况

[1] 论文“Relationship between the quasi-ideal adequate transversals of an abundant semigroup”获陕西省自然科学优秀论文三等奖(独立）.

[2] 论文“On the BCI-G part in BCI-algebras”获山西省自然科学优秀论文二等奖（独立）.

[3] 项目“泛逻辑学原理及其应用研究”2005年获陕西省高等学校科学技术一等奖(第六参加人).

[4] 项目“泛逻辑学原理及其应用研究”2006年获陕西省科学技术三等奖(第六参加人).

主要专著

专著：

[1] 《泛逻辑学语构理论》 科学出版社,2010年

[2] 《含断面的半群》 中国科学技术出版社,2004年

论文:

罗敏霞，姚宁. L系统中的语构程度化方法，电子学报，2011，No.2，424-428.

罗敏霞，何华灿.基于一类严格三角范数的命题逻辑.计算机科学，2008. Vol.35, No.4, 129-131.

罗敏霞. 零级泛与运算模型的单调性. 模糊系统与数学，2008，No.5，27-31.

罗敏霞. 泛逻辑命题演算形式系统LU及其完备性. 数学季刊 2008，6，343-354.

罗敏霞等. 泛逻辑泛运算模型之间的关系. 计算机应用研究2006: No.6, 26-27.

罗敏霞, 何华灿. 一种泛逻辑代数系统. 计算机工程与应用, 2005(41): No.14, 21-22.

罗敏霞, 何华灿. 理想状态下泛逻辑形式演绎系统B的完备性. 计算机科学, 2005(32), No.6, 93-95.

罗敏霞, 何华灿. 泛逻辑零级泛运算模型的代数性质.模糊系统与数学，2005，No.4, 96-102.

罗敏霞, 何华灿. 理想状态下泛逻辑的形式演绎系统B,计算机科学，2004(31), No.3,95-98.

罗敏霞, 何华灿. 基于幂零泛与运算模型的模糊逻辑系统 , 计算机科学，2004(31), No.8，97-99.

罗敏霞, 何华灿. 泛逻辑一级泛运算模型的代数性质. 计算机工程与应用, 2004(40): No.30, 4-7.

科研项目

主持完成山西省教育厅项目“泛逻辑在计算机中的应用”(批准号：20055025).