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