理性主體博弈的邏輯建模及其模型檢測

《理性主體博弈的邏輯建模及其模型檢測》是依託中山大學，由鞠實兒擔任項目負責人的面上項目。

基本介紹

• 中文名：理性主體博弈的邏輯建模及其模型檢測
• 項目類別：面上項目
• 項目負責人：鞠實兒
• 依託單位：中山大學

中文摘要

本項目試圖發展主體(agent)邏輯，用形式化方法構建人工智慧領域主體理論，精確地定義主體和環境狀態，分析主體行為，描述、規約和驗證主體和多主體系統性質和特徵。首先，基於動態認知邏輯，整合其他非經典邏輯，構建不同類型博弈的認知邏輯系統，刻畫不同主體的理性認知特徵（包括不同資源受限的有限理性主體），有效表達主體高階信息變化的認知機制。其次，分析具有這些理性特徵的主體在博弈中互動認知的結果與不同均衡之間的對應關係，為合理置信的均衡及重複剔除算法提供恰當的認知基礎。最後，拓展和改進動態認知模型檢測工具DEMO，實現對博弈認知邏輯系統性質的判定及相關博弈求解。鑒於當前對於主體認知結構的建模尚未滿足人工智慧領域中對主體認知的邏輯語義處理的要求，以及動態認知模型檢測技術發展在驗測多主體博弈認知系統性質的局限性，本項目對於深化理性主體博弈中認知互動機制的形式化研究和動態模型檢測技術發展具有積極意義。

結題摘要

本項目所有研究內容執行情況一切按照計畫進行。三年來，我們已基本完成研究計畫，實現了預期的研究目標。在理論研究方面，我們基於動態認知邏輯，整合其他非經典邏輯，構建了不同類型博弈的認知邏輯系統，從而實現了對於不同主體的理性認知特徵的刻畫，有效表達主體高階信息變化的認知機制。同時， 我們通過分析具有這些理性特徵的主體在博弈中互動認知的結果與不同均衡之間的對應關係，為合理置信的均衡及重複剔除算法提供恰當的認知基礎。在技術開發方面，我們拓展和改進動態認知模型檢測工具 DEMO，實現對博弈認知邏輯系統性質的判定及相關博弈求解。這些內容的研究成果對於深化理性主體博弈中認知互動機制的形式化研究，推動動態模型檢測技術發展起到了積極意義。在本項目的資助下，我們共發表論文19篇，其中被SCI、EI、ISTP等機構檢索的文章總計18篇。