《面向多Agent系統模型檢測的邏輯和算法》是依託南京航空航天大學，由曹子寧擔任項目負責人的面上項目。
基本介紹
- 中文名：面向多Agent系統模型檢測的邏輯和算法
- 項目類別：面上項目
- 項目負責人：曹子寧
- 依託單位：南京航空航天大學
- 負責人職稱：教授
- 申請代碼：F06
- 研究期限：2005-01-01 至 2007-12-31
- 批准號：60473036
- 支持經費：18（萬元）
項目摘要
多Agent系統是一種分布智慧型軟體系統, 如何保證其正確性是困難而又迫切需要解決的問題. 模型檢測是軟硬體系統正確性驗證的一種主流方法. 目前國際上將模型檢測套用於多Agent系統以保證系統正確性的工作開始成為一個熱點, 但已有工作是初步的, 用於模型檢測的邏輯對智慧型性質和通訊性質的描述並不充分; 已有工作也未提出有特色的多Agent系統的模型檢測算法, 主要套用已有的方法和工具. 本項目研究面向多Agent系統模型檢測的邏輯和算法, 包括提出刻畫多Agent系統時序性質, 智慧型特徵和通訊行為的模態邏輯系統, 給出其推理系統和語義模型, 並研究可靠性完備性等性質. 同時針對所提出的邏輯系統, 借鑑符號化方法自動機方法等, 給出高效的模型檢測算法, 研究其時空複雜性. 並實現相應原型系統, 通過實例驗證所提的方法. 本項目將豐富多Agent系統和模型檢測的研究, 也有很好的套用前景.
