發(fā)布時(shí)間：2017-10-31 19:34

  本文關(guān)鍵詞：合作、行動(dòng)和知識(shí)的推理

  更多相關(guān)文章： 合作邏輯 行動(dòng) 知識(shí) 推理

【摘要】：近幾年來,合作邏輯的研究引起了廣泛關(guān)注并取得了很大的進(jìn)展。合作邏輯是用來對(duì)多主體系統(tǒng)中聯(lián)盟的合作能力進(jìn)行推理的邏輯,所謂聯(lián)盟的合作能力是指不論聯(lián)盟外的其他主體采取什么行動(dòng),該聯(lián)盟中的主體通過合作能確保某一事態(tài)成立。然而,以往的合作邏輯并沒有適當(dāng)刻畫聯(lián)盟是如何達(dá)成某一事態(tài)的,也沒有考慮聯(lián)盟中主體信息不完全時(shí)的合作能力。帶有行動(dòng)和知識(shí)的合作邏輯的發(fā)展可以彌補(bǔ)這些不足,可用來對(duì)聯(lián)盟的合作能力、行動(dòng)和知識(shí)進(jìn)行推理,同時(shí)也具有很強(qiáng)的語言表達(dá)力。
【作者單位】： 南京大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 合作邏輯 行動(dòng) 知識(shí) 推理
【分類號(hào)】：B81-0
【正文快照】： 一引言多主體(Agent)合作問題是社會(huì)科學(xué)、博弈論、計(jì)算機(jī)科學(xué)和人工智能等領(lǐng)域長(zhǎng)期以來共同關(guān)心的課題。最近幾年,合作邏輯的研究引起了廣泛關(guān)注并取得了很大的進(jìn)展,其中最具開拓性成果的主要有兩個(gè):一是由Alur,Henzinger和Kupferman于1997年開發(fā)并于2002年逐步完善的交互時(shí)

【參考文獻(xiàn)】

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

1 呂渭源;;反思邏輯——論非邏輯思維[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年05期

【相似文獻(xiàn)】

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

1 周華;邏輯學(xué)教學(xué)方法探略[J];新疆警官高等�？茖W(xué)校學(xué)報(bào);2001年01期

2 王忠良;推理與其語言形式對(duì)應(yīng)關(guān)系探析[J];延邊大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年02期

3 姜春民;墨子邏輯推理思想簡(jiǎn)析[J];遼寧大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1997年06期

4 孫磊;;對(duì)蘊(yùn)涵和推理的關(guān)注探討[J];現(xiàn)代商貿(mào)工業(yè);2008年13期

5 余庶捷;馬靜;袁利華;;一種基于推理的本體映射方法[J];市場(chǎng)周刊(理論研究);2009年03期

6 陳濤;;推理和論證的語用分析[J];三峽論壇(三峽文學(xué).理論版);2010年06期

7 王俊英;趣味實(shí)例在邏輯學(xué)輔導(dǎo)中的作用[J];內(nèi)蒙古電大學(xué)刊;1996年02期

8 黃士平;幾種推理定義之商榷[J];江漢大學(xué)學(xué)報(bào);1997年05期

9 孫洪義;對(duì)《形式邏輯》幾個(gè)問題的探討[J];大連教育學(xué)院學(xué)報(bào);1999年03期

10 郭芙蓉;推理是由前提、結(jié)論、推導(dǎo)關(guān)系三部分構(gòu)成[J];黑龍江教育學(xué)院學(xué)報(bào);2001年04期

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

1 陳小平;鄭誠;劉貴全;;意圖形式化研究的若干問題[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

2 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

3 杜雄柏;;皮亞杰的邏輯起源觀及其意義[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

4 關(guān)興麗;;墨家的言語行為思想和中國古代邏輯[A];2003年邏輯研究專輯[C];2003年

5 賀壽南;;博弈視野中的邏輯推理問題[A];慶祝科學(xué)技術(shù)與辯證法創(chuàng)刊20周年文集[C];2004年

中國重要報(bào)紙全文數(shù)據(jù)庫 前2條

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日?qǐng)?bào);2000年

2 陳慕澤;多主體系統(tǒng)中的互知[N];光明日?qǐng)?bào);2000年

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

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

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

1 王婉玲;馮·賴特行動(dòng)邏輯研究[D];華南師范大學(xué);2004年

2 祁長(zhǎng)見;王充的邏輯思想探析[D];西南大學(xué);2009年

3 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

4 陳國亮;博弈邏輯中的推理問題研究[D];燕山大學(xué);2012年

，

本文編號(hào)：1123478