本文關鍵詞：合作、行動和知識的推理

  更多相關文章： 合作邏輯 行動 知識 推理

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

【參考文獻】

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

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

【相似文獻】

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

1 周華;邏輯學教學方法探略[J];新疆警官高等專科學校學報;2001年01期

2 王忠良;推理與其語言形式對應關系探析[J];延邊大學學報(社會科學版);2003年02期

3 姜春民;墨子邏輯推理思想簡析[J];遼寧大學學報(哲學社會科學版);1997年06期

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

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

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

7 王俊英;趣味實例在邏輯學輔導中的作用[J];內蒙古電大學刊;1996年02期

8 黃士平;幾種推理定義之商榷[J];江漢大學學報;1997年05期

9 孫洪義;對《形式邏輯》幾個問題的探討[J];大連教育學院學報;1999年03期

10 郭芙蓉;推理是由前提、結論、推導關系三部分構成[J];黑龍江教育學院學報;2001年04期

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

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

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

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

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

5 賀壽南;;博弈視野中的邏輯推理問題[A];慶�？茖W技術與辯證法創(chuàng)刊20周年文集[C];2004年

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

1 陳波;人工智能 當代邏輯發(fā)展的動力[N];光明日報;2000年

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

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

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

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

1 王婉玲;馮·賴特行動邏輯研究[D];華南師范大學;2004年

2 祁長見;王充的邏輯思想探析[D];西南大學;2009年

3 車付翠;計算機科學中的邏輯應用研究[D];燕山大學;2011年

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

，

本文編號：1123478