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