浙江大學(xué)人文學(xué)院導(dǎo)師：廖備水 正文

　　姓名：廖備水
　　性別：男
　　所在學(xué)院：人文學(xué)院
　　職稱：副教授

　　歡迎對邏輯學(xué)/人工智能感興趣的學(xué)生報(bào)考我的博士、碩士生。
　　　　
　　工作研究領(lǐng)域：
　　知識的表示與推理：研究認(rèn)知主體如何依據(jù)動態(tài)的、不一致的、不完全的、不確定的知識/信息進(jìn)行正確而高效的推理。重點(diǎn)關(guān)注辯論推理（Argumentation in Artificial Intelligence）、可廢止邏輯（Defeasible Logic）。
　　 Agent理論及應(yīng)用：把邏輯學(xué)研究領(lǐng)域的最新成果應(yīng)用于人工智能和信息科學(xué)中——建立可以適應(yīng)動態(tài)、開放環(huán)境的Agent理論模型，并運(yùn)用新的Agent理論來解決信息科學(xué)領(lǐng)域的關(guān)鍵問題。

　　個(gè)人簡介：
　　廖備水，男，博士，副教授，
　　2006年3月畢業(yè)于浙江大學(xué)計(jì)算機(jī)學(xué)院，隨后進(jìn)入浙江大學(xué)語言與認(rèn)知研究中心從事博士后研究工作（獲得浙江大學(xué)2007年度“優(yōu)秀博士后”獎），
　　2008年7月晉升副教授，并留校任教。
　　2011年3月，被認(rèn)定為浙江大學(xué)“求是青年學(xué)者”（Distinguished young scholar），具有博士生招生資格。
　　自2009年7月至2011年7月受浙江大學(xué)“學(xué)術(shù)帶頭人后備人才出國研究專項(xiàng)計(jì)劃（新星計(jì)劃）”的資助，在美國得克薩斯大學(xué)奧斯汀分校（The University of Texas at Austin）從事為期兩年的合作研究。
　　目前，已主持國家自然科學(xué)基金面上項(xiàng)目2項(xiàng)、浙江省自然科學(xué)基金項(xiàng)目1項(xiàng)、國家社會科學(xué)基金重大項(xiàng)目子課題1項(xiàng)、中國博士后科學(xué)基金（一等）1項(xiàng)、浙江省博士后科研項(xiàng)目擇優(yōu)資助（一類）1項(xiàng)；作為第一作者已經(jīng)在Artificial Intelligence（人工智能國際頂級期刊，浙大Top期刊）、Information Sciences（浙大Top期刊）、軟件學(xué)報(bào)等學(xué)術(shù)刊物以及LPAR、ICTAI、CEEMAS、PRIMA、LORI等國際會議上發(fā)表論文20多篇（Google Scholar）。

　　最近發(fā)表論文：
　　1．廖備水,代建華.基于論辯的Agent非單調(diào)推理研究.模式識別與人工智能.已錄用.
　　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

　　工作研究項(xiàng)目：
　　1．國家自然科學(xué)基金面上項(xiàng)目(No.61175058)：“辯論推理系統(tǒng)的語義計(jì)算：一種基于劃分的方法及其實(shí)現(xiàn)”（主持，2012.1~2015.12）
　　2．國家社會科學(xué)基金重大項(xiàng)目“基于邏輯視域的認(rèn)知研究”(No.11&ZD088)子課題“信念修正與行為決策”（主持，2011.12-2016.12）
　　3．浙江省自然科學(xué)基金項(xiàng)目(No.Y1100036)：“基于柔性Agent的自主計(jì)算關(guān)鍵技術(shù)研究”（主持，2010.6~2013.6）
　　4．國家自然科學(xué)基金面上項(xiàng)目(No.60773177)：“基于可廢止邏輯的柔性Agent理論、算法和實(shí)現(xiàn)研究”（主持，2008.1~2010.12）
　　5．國家社會科學(xué)基金項(xiàng)目（No.07CZX016）：“面向信息處理的漢語句子的邏輯分析”（主要成員（第二），金立副教授主持，2007.7~2009.12）
 
　　出版著作：
　　廖備水.多主體智能系統(tǒng)與自主計(jì)算.吉林人民出版社,2007.12

添加浙江大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[浙江大學(xué)考研分?jǐn)?shù)線、浙江大學(xué)報(bào)錄比、浙江大學(xué)考研群、浙江大學(xué)學(xué)姐微信、浙江大學(xué)考研真題、浙江大學(xué)專業(yè)目錄、浙江大學(xué)排名、浙江大學(xué)保研、浙江大學(xué)公眾號、浙江大學(xué)研究生招生）]即可在手機(jī)上查看相對應(yīng)浙江大學(xué)考研信息或資源。

浙江大學(xué)