您的位置：首页 > 师资队伍 > 教授

陈武

发布时间：2016-04-27 来源：本站原创 作者：本站编辑   浏览次数：



姓名:陈武 性别:男
学历:博士 职称:教授
部门:软件工程系 电话:02368252352
邮件地址:chenwu@swu.edu.cn
研究方向:多AGENT协商
个人简介
陈武，教授，博士， 计算机软件与理论专业。

教育经历：
1994.9-1998.7 西南师范大学 计算机应用专业 本科 学士
2001.9-2004.7 西南师范大学 计算机应用专业 研究生 硕士
2004.9-2009.1 贵州大学 计算机软件与理论专业 研究生 博士
2007.2-2007.7 澳大利亚NICTA研究中心 访问学者
2012.7-2012.10 澳大利亚西悉尼大学 访问学者
2015.4-2016.4 澳大利亚西悉尼大学 访问学者
研究兴趣：
主要致力于运用逻辑方法对人工智能及经济领域的一些交叉问题进行研究。研究兴趣包含：人工智能、逻辑程序、信念修改、博弈论、多AGENT协商、讨价还价、社会网络。先后在《Journal of Computer Science and Technology(JCST)》《Frontiers of Computer Science(FCS)》、澳洲AI年会、世界人工智能大会（IJCAI）专业分组会议NRAC等发表论文，其中SCI收录2篇、EI收录5篇。先后主持国家自然科学基金1项，国家社科基金重大项目子课题1项，教育部项目1项，重庆市人文社会科学重点研究基地项目1项，校级项目3项。
教学情况
本科课程《JAVA 语言》、《系统分析与设计》、《基于逻辑的程序设计－LISP》、《J2EE》
科研情况
近期主持项目：
国家社科基金重大项目：信息互动的逻辑、认知与计算研究（编号：14ZDB016)-子课题：基于逻辑程序的社会网络信息交互的研究，2015.1-2019.12
国家自然科学基金：基于回答集程序的有限理性协商机制研究（编号：61003203)，2011.1 -2013.12
教育部“春晖计划”项目： 基于回答集程序的协商方法研究（编号：Z2009-1-63015)
西南大学博士启动基金：基于扩展逻辑程序的AGENT协商模型研究（编号：SWU109003)，2009.4 -2012.3；
西南大学基本科研业务费专项资金：回答集程序在有限理性协商模型中的应用研究（编号：XDJK2009C172)，2009.12-2011.11；
重庆市人文社会科学重点研究基地项目：基于有序析取逻辑程序的协商机制研究（编号：09SKB35))，2009.12-2011.11。
近期主研项目：
1.国家重大研究计划：可信约束下软件错误诊断与修正框架 （编号：90718009)，2008.1-2010.12
2.国家自然科学基金：基于分离的局部信念修正研究及其软件诊断应用（编号：61262029)，2013.1-2016.12

近期发表的主要文章如下：
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年，学院创新基金，一等奖。
备注
欢迎有志于考研的同学联系我。