人物簡介
性 別 女
出生年月 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).
