8月8日上午，由綜合信息系統技術國家級重點實驗室和軟件所青年聯合會共同主辦的專題報告會在5號樓四層中會議室舉行，報告會邀請到英國帝國理工學院樊修逸博士，并進行了題為Decision Making with Assumption-based Argumentation: A Medical Case Study的學術報告。

　　報告中，樊修逸博士以有關辯證邏輯問題入手，介紹了論辯邏輯的研究現狀和論辯邏輯應用于智能決策的相關內容。論辯邏輯使用兩個正式的決策框架，通過研究多個屬性和決策目標之間的邏輯辯證關系，最終滿足決策目標的最有決策邏輯處理技術，目前是邏輯決策的熱門研究方向，具有重大的理論與實際意義。對于論辯邏輯與智能決策問題，他認為這項研究工作是論辯邏輯領域一個具有挑戰性的研究課題，已經蔓延計算機科學、社會科學領域，并且其研究解決方案仍然不是很準確。同時，在報告中，他還對使用辯證邏輯及逆行醫學文獻檢索、顯示的案例研究作了說明，他認為使用邏輯決策技術，不僅可以選擇決策，同時也給出了一種基于論證理由選擇的決策，該研究可以開辟各種邏輯與智能決策的研究機會。

　　樊修逸博士的精彩報告激發了在座師生的極大興趣，并引發了大家熱烈的討論。報告結束后，與會人員還就邏輯決策與智能交通、邏輯決策與智能機器人等問題與樊老師進行了交流。

　　軟件所青年聯合會是軟件所全體青年的聯合統一組織，其舉辦的各類活動對全所青年和學生開放，歡迎軟件所廣大青年積極參與其中。同時歡迎個人或團體申請舉辦能服務于青年人的各類活動，活動主題入選后，所青聯將給予相應支持。

　　樊修逸博士作報告

　　報告會現場