本網(wǎng)訊：（崔鵬 報道）11月25日，貴州大學(xué)計算機科學(xué)與技術(shù)學(xué)院教授、博士研究生導(dǎo)師王以松應(yīng)邀為我院師生作了題為“回答集編程：理論與實踐”的線上學(xué)術(shù)報告。本次講座由副院長崔鵬主持，學(xué)院部分教師、計算機科學(xué)與技術(shù)專業(yè)和圖書情報專業(yè)近六十名研究生參加了此次講座。

回答集編程是一種基于邏輯程序和回答集的聲明式編程范式，通過提供一種簡單而強大的建模語言來快速解決組合問題和計算困難問題，是人工智能領(lǐng)域的重要研究方向之一。王以松教授從理論基礎(chǔ)、應(yīng)用、挑戰(zhàn)以及最新進展四個部分，深入淺出地介紹了回答集編程的發(fā)展，并現(xiàn)場編程向大家演示了如何使用回答集編程求解圖的著色問題。此外，王以松教授還介紹了自己課題組在回答集編程方向上的科研成果。

講座之后，現(xiàn)場師生與王以松教授進行了互動，多名同學(xué)圍繞回答集編程和人工智能提出了問題，王以松教授也分享了自己對這些問題的認識和思考。此次講座有助于開闊我院研究生的眼界，豐富了對人工智能這個前沿?zé)狳c領(lǐng)域的認識，提升學(xué)術(shù)能力。

一審：王凌云
二審：譚  健
三審：卿  春