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

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

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

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