-
第278期
第7屆華人學(xué)者知識表示與推理研討會(huì)在校召開
本報(bào)訊6月22日,第7屆華人學(xué)者知識表示與推理學(xué)術(shù)研討會(huì)在計(jì)算機(jī)與信息科學(xué)學(xué)院軟件學(xué)院召開。
本次國際研討會(huì)邀請了阿爾伯塔大學(xué)猶嘉槐教授、格里菲斯大學(xué)王克文教授、香港科技大學(xué)林方真教授等26位海內(nèi)外的專家學(xué)者。研討會(huì)共安排了15場精彩的報(bào)告,圍繞程序驗(yàn)證、知識圖譜、認(rèn)知邏輯、回答集編程、描述邏輯等研究主題,與會(huì)者深入交流了自己團(tuán)隊(duì)一年以來取得的研究進(jìn)展。針對當(dāng)前由于機(jī)器學(xué)習(xí)和統(tǒng)計(jì)算法領(lǐng)域的顯著成果所帶來的人工智能全面復(fù)興,與會(huì)者對知識表示與推理領(lǐng)域面臨的挑戰(zhàn)和機(jī)遇進(jìn)行了討論,并對下一步工作形成若干共識。(計(jì)算機(jī)與信息科學(xué)學(xué)院 軟件學(xué)院供稿)