基本信息
姓名：罗敏霞
性别：女
学位：博士
职称：教授
一级学科：数学
二级学科：应用数学
二级学院：理学院
一级学科2：计算机科学与技术
二级学科2：计算机软件与理论
研究方向：非经典逻辑与模糊逻辑、人工智能基础理论
办公地点：格致中楼612
办公电话：0571-86875634
移动电话：13738109928
Email：mxluo@cjlu.edu.cn
在研课题
1．主持国家自然科学基金项目《非可换逻辑证明论与模糊推理算法研究》，60万，批准号：61273018，时间：2013.1-2016.12．
2．主持浙江省自然科学基金项目《基于子结构模糊逻辑的希尔伯特系统的构建与模糊推理算法研究》，8万，批准号：Y1110651，时间：2011.1-2012.12．
获奖情况
（1）论文“Relationship between the quasi-ideal adequate transversals of an abundant semigroup”2006年获“陕西省自然科学优秀学术论文三等奖”；
（2）参与的项目“泛逻辑学原理及其应用研究” 2006年获“陕西省政府科学技术成果三等奖”；2005年获“陕西省高等学校科学技术成果一等奖”。
近期发表的主要成果
近三年发表的论著与论文：
专著：罗敏霞，何华灿．《泛逻辑学语构理论》．北京：科学出版社，2010．
论文：
【12】Minxia Luo, Ning Yao. Triple I Algorithms Based on Schweizer-Sklar Operators in Fuzzy Reasoning, International Journal of Approximate Reasoning,Vol.54(2013),640-652.(SCI)
【11】Minxia Luo, Ni Sang, Kai Zhang. Differently Implicational Universal Triple I Algorithms of (1,2,1) Type. Journal of Computational Information Systems, Vol.9(2013), No.4: 374-382.(EI)
【10】Minxia Luo, Ni Sang, Kai Zhang. The Formal Triple I Inference Method for Logic System W*UL. Journal of Theoretical and Applied Information Technology, Vol.48(2013), No.1: 403-410. (EI)
【9】Minxia Luo, Ni Sang, Kai Zhang. Differently Implicational Universal Triple I Algorithms of (1,2,1) Type. Journal of Computational Information Systems, Vol.9(2013), No.2: 765-772.(EI)
【8】Minxia Luo, Ni Sang. Triple I method based on residuated implications of left-continuous pseudo-t-norms. 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery(FSKD 2012),202-206.(EI)
【7】Minxia Luo, Ning Yao. Some extensions of the Logic psUL. Lecture Notes in Artificial Intelligence, 7002(2011): 609-617.(EI)
【6】罗敏霞，姚宁．L 系统中的语构程度化方法．电子学报，Vol.39（2011），No.2：424-428．（EI）
【5】Minxia Luo, Ni Sang. On the adjoint semigroup of a class of logical algebra.2011 Eight
International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society, 2011,210-213.(EI)
【4】Minxia Luo, Ni Sang. On a Class QL-Implication. Second International Conference on High Performance Networking, Computing and Communication Systems,2011,118-124.(EI)
【3】Minxia Luo. A Propositional Calculus Formal Deductive System SUBL With An Involutive Negation. The Seventh International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society, 2010, 60-64.(EI)
【2】Minxia Luo, Chunmei Ding. A Propositional Calculus Formal Deductive System SUBL. 2010 International Symposium on Computer, Communication, Control and Automation. 2010, 130-133.(EI)
【1】Minxia Luo. On Abundant Semigroups with Quasi-ideal Adequate Transversals. Chinese Quarterly Journal of Mathematics, Vol.25(2010), No.2: 257-266.
主持完成的科研项目
山西省教育厅项目“泛逻辑在计算机中的应用”（No.20050525）
个人简历
罗敏霞，女，1964年1月生，博士，教授，硕士研究生导师。2002.9－2005.10，西北工业大学计算机学院读博士，获工学博士学位；1998.9－2001.7，陕西师范大学数学与信息科学学院读硕士研究生，获理学硕士学位；1981.9－1985.7，山西师范大学数学系读本科，获理学学士学位。2005-2010年担任中国人工智能学会理事；2002年至今，担任中国人工智能学会人工智能基础专业委员会常务委员。近年来，一直讲授本科生的《高等代数》、《近世代数》与研究生的《代数学》课程。主要研究方向为计算机科学中的非经典逻辑、模糊推理算法与图像处理等，先后在国际国内专业领域的期刊上发表论文80余篇，SCI/EI检索20余篇。出版专著2部，教材1部。主持完成省厅级项目1项，主持国家自然科学基金1项（在研），主持浙江省自然科学基金项目1项（在研），参与多项国家自然科学基金项目。多篇论文获省自然科学优秀论文奖，作为主要成员参与的项目“泛逻辑学原理及其应用研究”分别获“陕西省教育厅高等学校科学技术一等奖”与“陕西省科学技术三等奖”。