陳武

西南大學計算機與信息科學學院副院長

陳武,男,漢族,1976年5月出生,四川武勝人,中共黨員,工學博士,計算機軟體與理論專業,教授,碩士生導師,現任西南大學計算機與信息科學學院、軟體學院副院長。國家自然科學基金及浙江省自然科學基金同行評議專家。2009年1月獲博士學位。攻讀博士期間於2007年2月至2007年7月訪問澳大利亞NICTA新南威爾士大學研究中心,從事基於回答集程序的多AGENT協商機制與方法的研究。博士論文題目是《基於邏輯程序的協商問題研究》。1998年至今在西南大學(原西南師範大學)計算機與信息科學學院(原計算機科學系)工作。先後在《Journal of Computer Science and Technology(JCST)》、澳洲AI年會、世界人工智慧大會(IJCAI)專業分組會議NRAC等發表論文,其中SCIE收錄1篇、EI收錄2篇。先後主持國家自然科學基金1項,教育部項目1項,校級項目3項。主研國家、省部級項目5項。主要研究興趣包含:多AGENT協商、知識表示與推理、邏輯程序、信念修改、非單調邏輯、形式化方法。

陳武博士相貌英俊, 治學嚴謹, 為人師表, 教有所成, 深受廣大師生愛戴; 一名學生告訴記者,不少學生遇到人生的疑惑, 或者戀愛的問題, 也都會發信件請教陳武老師,把老師當做可以信賴的好朋友。

人物經歷


1998年7月,畢業於原西南師範大學計算機系,獲工學學士;2004年7月,畢業於原西南師範大學計算機與信息科學學院,獲工學碩士;2009年1月,畢業於貴州大學計算機學院,獲工學博士。1998年7月留校,在原西南師範大學計算機系實驗室工作。
1999年7月,被評為助理實驗師;2004年6月,晉陞實驗師;2009年6月,轉教晉陞為副教授;2015年6月晉陞為教授。期間,2007年2月-2007年7月,訪問澳大利亞新南新南威爾士大學NICTA研究中心;2012年7月至2012年10月訪問澳大利亞西悉尼大學;2015年4月至2016年4月訪問澳大利亞西悉尼大學。

主講課程


本科課程《JAVA 語言》、《系統分析與設計》、《基於邏輯的程序設計-LISP》、《J2EE》 科研情況。

研究方向


主要致力於運用邏輯方法對人工智慧及經濟領域的一些交叉問題進行研究。研究興趣包含:人工智慧、邏輯程序、信念修改、博弈論、多AGENT協商、討價還價、社會網路。

主要貢獻


先後在《Journal of Computer Science and Technology(JCST)》《Frontiers of Computer Science(FCS)》、LPNMR 2013、澳洲AI年會、世界人工智慧大會(IJCAI)專業分組會議NRAC等發表論文,其中SCI收錄2篇、EI收錄5篇。先後主持國家自然科學基金1項,國家社科基金重大項目子課題1項,教育部項目1項,重慶市人文社會科學重點研究基地項目1項,校級項目3項。擔任亞太地區人工智慧國際學術會議(PRICAI)程序委員會委員。

科研項目


主持項目:
國家自然科學基金:基於回答集程序的有限理性協商機制研究 2011.1 -2013.12
教育部“春暉計劃”項目:基於回答集程序的協商方法研究(編號:Z2009-1-63015)
西南大學博士啟動基金:基於擴展邏輯程序的AGENT協商模型研究(編號:SWU109003),2009.4 -2012.3;
西南大學基本科研業務費專項資金:回答集程序在有限理性協商模型中的應用研究(編號:XDJK2009C172),2009.12-2011.11;
重慶市人文社會科學重點研究基地項目:基於有序析取邏輯程序的協商機制研究 2009.12-2011.11。
主研項目:
1.國家重大研究計劃:可信約束下軟體錯誤診斷與修正框架 2008.1-2010.12
2.國家自然科學基金:基於回答集語義的約束邏輯程序設計 2006.1-2008.12
3.貴州省省長基金:新一代約束邏輯程序設計系統研究及應用 2006.1-2007.12
4.貴州省科學技術基金:回答集程序研究與應用 2008.6-2010.7
5.重慶市自然科學基金:軟體非功能性需求的多模型測試與外部度量 2004.10-2006.10

論文著作


主要文章
陳武,張明義,一種基於邏輯程序的重複協商框架;《計算機科學》;2008年第5期。
吳茂念,陳武,張明義,沈復興,Makinson一個公開問題的註記;《計算機科學》; 2009年第6期,第36卷。
近期發表的主要文章如下:
1.Wu Chen, Dongmo Zhang and Maonian Wu,“A Sequential Model of Bargaining in Logic Programming”,Frontiers of Computer Science,DOI: 10.1007/s11704-015-3308-x . 2015, 9 (3): 474-484. (SCI收錄:000354194300013)
2. 陳武,周敏,李虎陽,一種基於回答集程序的三方協商新機制[J]. 西南大學學報(自然科學版),2014,36(5):209-213.
3. 陳武。協商推理機制中的需求序關係研究[J].西南大學學報(自然科學版),2014,36(4):146-151.
4.陳武。多元模態邏輯中的範本特姆—羅森定理[J].西南大學學報(自然科學版),2013,35(12):159-164.
5.Wu Chen, Dongmo Zhang and Maonian Wu,“A sequential model for reasoning about bargaining in logic programs”,Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR2013), Lecture Notes in Artificial Intelligence 8148 (Springer), ISBN 978-3-642-40564-8, 2013/9/15-2013/9/19, pp 239-244, Corunna, Spain.(EI收錄:20134316884414)
6. Wu Chen, Mingyi Zhang, and Maonian Wu, “A Logic-Program-Based Negotiation Mechanism”,Journal of Computer Science and Technology(JCST), Vol. 24 (4): 753-760, 2009.(SCIE收錄:000268249500013)
7.Wu Chen, Norman Foo and Mingyi Zhang,“Forgetting in logic programs with ordered disjunction”,Proceedings of the 20th Australian Conference on Artificial Intelligence, Lecture Notes in Computer Science 4830 (Springer), ISBN 978-3-540-76926-2, pages 254-262, 2007.(EI收錄:20080411056239)
8. Wu Chen, Mingyi Zhang and Norman Foo, “Repeated negotiation of logic programs”, Proceedings of the Seventh International Workshop on Nonmonotonic Reasoning, Action and Change(NRAC’07) on IJCAI’07, pages 33-40, Hyderabad, India, 2007.
9. 陳武,張明義,一種基於邏輯程序的重複協商框架;《計算機科學》;2008年第5期。
10. 吳茂念,陳武,張明義,沈復興,Makinson一個公開問題的註記;《計算機科學》; 2009年第6期,第36卷。
11. Mingsheng Zhang, Wu Chen, Yisong Wang, Mingyi Zhang,“Flexible Authorizations with Logic Program”, Proceedings of the International Conference on Networks Security, Wireless Communications and Trusted Computing, April 2009,pages 259-262.
12.張明生,陳武. 基於邏輯程序的柔性授權框架. 通信學報(ISSN:1000-436X);2009年10月第30卷第10A期(EI收錄)2009/10/15

獲獎記錄


指導學生獲獎紀錄:
1. 2012年,澳大利亞人工智慧大會STG大賽,第1名和第3名;
2. 2012年,全國信息技術應用水平大賽,二等獎;
3. 2013年,西南大學“國家級大學生創新創業訓練計劃”項目;
4. 2014年,重慶市大學生計算機作品大賽,二等獎;
5. 2014年,學院創新基金,一等獎;
6. 2015年,學院創新基金,一等獎。