浙江大学人文学院导师介绍：廖备水

　　姓名：廖备水
　　性别：男
　　所在学院：人文学院
　　职称：副教授

　　欢迎对逻辑学/人工智能感兴趣的学生报考我的博士、硕士生。
　　　　
　　工作研究领域：
　　知识的表示与推理：研究认知主体如何依据动态的、不一致的、不完全的、不确定的知识/信息进行正确而高效的推理。重点关注辩论推理（Argumentation in Artificial Intelligence）、可废止逻辑（Defeasible Logic）。
　　 Agent理论及应用：把逻辑学研究领域的最新成果应用于人工智能和信息科学中——建立可以适应动态、开放环境的Agent理论模型，并运用新的Agent理论来解决信息科学领域的关键问题。

　　个人简介：
　　廖备水，男，博士，副教授，
　　2006年3月毕业于浙江大学计算机学院，随后进入浙江大学语言与认知研究中心从事博士后研究工作（获得浙江大学2007年度“优秀博士后”奖），
　　2008年7月晋升副教授，并留校任教。
　　2011年3月，被认定为浙江大学“求是青年学者”（Distinguished young scholar），具有博士生招生资格。
　　自2009年7月至2011年7月受浙江大学“学术带头人后备人才出国研究专项计划（新星计划）”的资助，在美国得克萨斯大学奥斯汀分校（The University of Texas at Austin）从事为期两年的合作研究。
　　目前，已主持国家自然科学基金面上项目2项、浙江省自然科学基金项目1项、国家社会科学基金重大项目子课题1项、中国博士后科学基金（一等）1项、浙江省博士后科研项目择优资助（一类）1项；作为第一作者已经在Artificial Intelligence（人工智能国际顶级期刊，浙大Top期刊）、Information Sciences（浙大Top期刊）、软件学报等学术刊物以及LPAR、ICTAI、CEEMAS、PRIMA、LORI等国际会议上发表论文20多篇（Google Scholar）。

　　最近发表论文：
　　1．廖备水,代建华.基于论辩的Agent非单调推理研究.模式识别与人工智能.已录用.
　　2．Beishui Liao. Dynamics of Argumentation Frameworks with Subargument Relations. Presented at the Workshop on the Dynamics of Argumentation, Rules and Contionals (DARC 2012), University of Luxembourg, April 2-　　　　3, 2012. Slides
　　3．Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation. H.van Ditmarsch, J.Lang, and S.Ju (Eds.) : The Third International Workshop on Logic, Rationality and Interaction (LORI-III), LNAI 6953, pp. 151-164, 　　Springer-Verlag Berlin Heidelberg. 全文：PDF
　　4．Beishui Liao*, Li Jin, Robert C. Koons.Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence,175 (2011) 1790–1814. DOI: 10.1016/j.artint.2011.03.006. 全文：PDF
　　5 ．Beishui Liao*, Huaxin Huang. ANGLE: An Autonomous, Normative and Guidable Agent with Changing Knowledge. Information Sciences, 2010, 180(17): 3117-3139. http://dx.doi.org/10.1016/j.ins.2010.03.017

　　工作研究项目：
　　1．国家自然科学基金面上项目(No.61175058)：“辩论推理系统的语义计算：一种基于划分的方法及其实现”（主持，2012.1~2015.12）
　　2．国家社会科学基金重大项目“基于逻辑视域的认知研究”(No.11&ZD088)子课题“信念修正与行为决策”（主持，2011.12-2016.12）
　　3．浙江省自然科学基金项目(No.Y1100036)：“基于柔性Agent的自主计算关键技术研究”（主持，2010.6~2013.6）
　　4．国家自然科学基金面上项目(No.60773177)：“基于可废止逻辑的柔性Agent理论、算法和实现研究”（主持，2008.1~2010.12）
　　5．国家社会科学基金项目（No.07CZX016）：“面向信息处理的汉语句子的逻辑分析”（主要成员（第二），金立副教授主持，2007.7~2009.12）
 
　　出版著作：
　　廖备水.多主体智能系统与自主计算.吉林人民出版社,2007.12