本網(wǎng)訊 11月9日,，文華講堂第二講在我校下沙校區(qū)開講,。教育部長(zhǎng)江學(xué)者特聘教授,、國(guó)家社會(huì)科學(xué)基金重大項(xiàng)目“新一代人工智能驅(qū)動(dòng)的邏輯學(xué)研究”首席專家,、浙江大學(xué)求是特聘教授廖備水應(yīng)邀作題為“交叉學(xué)科研究——從新一代人工智能與邏輯學(xué)的角度看 ”的講座。

廖備水教授圍繞“關(guān)于交叉學(xué)科研究”“新一代人工智能背景下的一些交叉學(xué)科問(wèn)題”“從傳統(tǒng)演繹邏輯到論辯邏輯”等三個(gè)方面進(jìn)行了闡述。廖備水教授分析了多學(xué)科的優(yōu)勢(shì),，以“日常生活中的問(wèn)題所涉及的知識(shí)和推理,，是否可通過(guò)嚴(yán)格的邏輯系統(tǒng)來(lái)表達(dá)，并通過(guò)高效的人工智能算法來(lái)實(shí)現(xiàn),？”這個(gè)問(wèn)題為導(dǎo)向,，讓在場(chǎng)同學(xué)們沉浸在“從問(wèn)題開始”新的思考方式中。廖備水教授認(rèn)為,，新一代的人工智能算法仍具有可解釋性問(wèn)題,、倫理對(duì)齊問(wèn)題和認(rèn)知推理問(wèn)題。這些問(wèn)題也同生活中的問(wèn)題一樣具有不完備性,、不確定性和不一致性,，可以通過(guò)傳統(tǒng)演繹邏輯法和論辯邏輯法分而治之。廖備水教授進(jìn)一步指出,，傳統(tǒng)演繹邏輯也存在一定局限性，難以表達(dá)和處理不一致的信息,，而論辯邏輯能夠提供統(tǒng)一的形式化模型來(lái)建模人類的推理和說(shuō)理模型,，同時(shí)可實(shí)現(xiàn)不同參與方的求同存異，可以在很大程度上提高系統(tǒng)的可實(shí)現(xiàn)性,。廖備水教授還分享了自己團(tuán)隊(duì)部分前沿研究方向以及他個(gè)人長(zhǎng)期從事交叉學(xué)科工作的心得體會(huì),。

在互動(dòng)環(huán)節(jié)中，廖備水教授與在座師生進(jìn)行了深入交流,，解答了同學(xué)們提出的有關(guān)交叉學(xué)科融合方面的問(wèn)題,，消除了同學(xué)們對(duì)未來(lái)發(fā)展方向的迷茫與憂慮。