本文關(guān)鍵詞：多主體合作邏輯發(fā)展趨勢研究

  更多相關(guān)文章： 多主體系統(tǒng) 聯(lián)盟邏輯 交互時態(tài)邏輯 合作邏輯

【摘要】：多主體合作邏輯是多主體系統(tǒng)研究中關(guān)注的熱點問題,也是近年來邏輯學(xué)與人工智能領(lǐng)域的一個前沿研究課題。國外學(xué)者對多主體合作邏輯的研究主要是圍繞著聯(lián)盟邏輯和交互時態(tài)邏輯兩條線索展開,并在此基礎(chǔ)上進(jìn)行拓展,形成了聯(lián)盟邏輯序列和交互時態(tài)邏輯序列;國內(nèi)對多主體合作邏輯的研究尚處于起步階段。學(xué)界對于聯(lián)盟邏輯和交互時態(tài)邏輯研究已有一定的廣度,但仍有待于進(jìn)一步深化和完善;對聯(lián)盟邏輯序列與交互時態(tài)邏輯序列的比較研究尚需深入展開;對多主體合作邏輯中模型檢測的研究還比較薄弱;對非合作博弈中多主體合作邏輯的研究有待于推進(jìn)。
【作者單位】： 北京理工大學(xué)人文與社會科學(xué)學(xué)院;
【關(guān)鍵詞】： 多主體系統(tǒng) 聯(lián)盟邏輯 交互時態(tài)邏輯 合作邏輯
【基金】：北京市哲學(xué)社會科學(xué)規(guī)劃項目“雙主體博弈邏輯形式系統(tǒng)建構(gòu)及模型檢測研究”(11ZXB004)
【分類號】：B815
【正文快照】： 多主體合作邏輯(Cooperation Logics)是近年來邏輯學(xué)與人工智能領(lǐng)域的一個前沿研究課題,涉及邏輯學(xué)、計算機、博弈論相關(guān)領(lǐng)域的內(nèi)容,是一個高度交叉的研究領(lǐng)域。多主體合作邏輯研究多主體系統(tǒng)中聯(lián)盟策略能力的推理。聯(lián)盟策略能力(Coalition Strategic Ability)即聯(lián)盟通過采取

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前8條

1 賴賢偉;胡山立;寧正元;王秀麗;;Multi-agent Belief,Goal and Exceptions Reasoning[J];Journal of Donghua University(English Edition);2010年02期

2 寧正元;賴賢偉;胡山立;王秀麗;;Belief and Knowledge Reasoning[J];Journal of Donghua University(English Edition);2010年02期

3 賴賢偉;胡山立;寧正元;王秀麗;;交互時態(tài)邏輯下的三種模糊信念算子[J];海南師范大學(xué)學(xué)報(自然科學(xué)版);2008年04期

4 劉虎;;一個用于表達(dá)因果關(guān)系的ATL的擴展(英文)[J];邏輯學(xué)研究;2009年04期

5 寧正元;胡山立;賴賢偉;;交互時態(tài)信念邏輯及其模型檢測[J];南京大學(xué)學(xué)報(自然科學(xué)版);2008年02期

6 呂進(jìn);;一個向上線序的命題時態(tài)邏輯PTL[J];西南大學(xué)學(xué)報(社會科學(xué)版);2010年02期

7 陳清亮;朱可宜;;多智能體協(xié)同的認(rèn)知規(guī)范模型檢測算法[J];中山大學(xué)學(xué)報(自然科學(xué)版);2009年01期

8 黃正;唐曉嘉;;基于邏輯的社會選擇理論研究[J];哲學(xué)動態(tài);2012年03期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 馮荷飛;曹子寧;;交錯時序認(rèn)知邏輯在安全協(xié)議中的應(yīng)用[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 吳駿;多Agent聯(lián)盟規(guī)范系統(tǒng)研究[D];南京大學(xué);2011年

2 呂進(jìn);基于時間和行動規(guī)劃的知識—意圖邏輯[D];西南大學(xué);2008年

3 李云峰;電子商務(wù)協(xié)議安全性的形式化分析方法研究[D];西南交通大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 陸志浩;多Agent系統(tǒng)合作認(rèn)知邏輯的研究[D];南京航空航天大學(xué);2008年

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 馮彥波;;組合邏輯:一種新的邏輯研究方法[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2009年07期

2 武宏志;陳如松;;非形式邏輯和人工智能[J];佳木斯大學(xué)社會科學(xué)學(xué)報;2006年05期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前2條

1 陳慕澤;;多主體認(rèn)知系統(tǒng)中的共同知識[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

2 陳小平;劉貴全;郭寶貴;;一個意圖后承的形式理論[A];2000年邏輯研究專輯[C];2000年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 劉珂;動態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

2 梁真;群體動態(tài)認(rèn)知偏好邏輯[D];西南大學(xué);2011年

，

本文編號：822857