【摘要】：認(rèn)知邏輯處理的是關(guān)于知識(shí)和信念等認(rèn)知概念的邏輯性質(zhì)和關(guān)系的問題,多主體的自認(rèn)知邏輯系統(tǒng),是在單主體唯一知道邏輯系統(tǒng)的基礎(chǔ)上進(jìn)行的擴(kuò)充�，F(xiàn)將單主體的K45系統(tǒng)擴(kuò)充為多主體的K45n系統(tǒng),并介紹了該系統(tǒng)的語法規(guī)則和穩(wěn)定集以及典范模型的語義和證明理論,同時(shí)也對(duì)該系統(tǒng)的可靠性和完全性進(jìn)行了證明。
[Abstract]:Cognitive logic deals with the logical properties and relationships of cognitive concepts such as knowledge and belief. The multi-agent self-cognitive logic system is an extension based on the single subject's sole knowledge of the logic system. In this paper, the single-agent K45 system is extended to a multi-agent K45n system. The grammar rules, the stable set and the semantics and proof theory of the canonical model are introduced. The reliability and completeness of the system are also proved.
【作者單位】： 南開大學(xué)哲學(xué)系;
【分類號(hào)】：B815.3

【相似文獻(xiàn)】

相關(guān)會(huì)議論文 前10條

1 劉奮榮;;缺省邏輯如何研究非單調(diào)推理？[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

2 費(fèi)定舟;;自動(dòng)推理:它的內(nèi)容、方法和意義[A];2001年邏輯研究專輯[C];2001年

3 陳雷明;鄒欣;黨德玉;;一種基于語義優(yōu)化非單調(diào)推理的方法[A];2006年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

4 肖慶文;林作銓;;一個(gè)Web站點(diǎn)自動(dòng)生成系統(tǒng)[A];1999年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];1999年

5 向淑文;;Nash平衡的精煉與雙矩陣博弈的分類[A];2006年中國運(yùn)籌學(xué)會(huì)數(shù)學(xué)規(guī)劃分會(huì)代表會(huì)議暨第六屆學(xué)術(shù)會(huì)議論文集[C];2006年

6 梁健;張勇;陳智健;肖慶文;于斌;沈達(dá)陽;;基于Windows NT的Intranet的研究與實(shí)現(xiàn)——汕頭國土局房地產(chǎn)信息管理系統(tǒng)STRET[A];1998年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];1998年

7 李乾貴;竇正斌;;行政執(zhí)法若干制約因素的成因及對(duì)策分析[A];行政管理體制改革的法律問題——中國法學(xué)會(huì)行政法學(xué)研究會(huì)2006年年會(huì)論文集[C];2006年

8 陳小平;;基于信念修改邏輯的歸納支持[A];1996年邏輯研究專輯[C];1996年

9 ;和諧社會(huì)：自主創(chuàng)新與文化交融——2006·學(xué)術(shù)前沿論壇論文摘要匯編 北京市邏輯學(xué)會(huì)[A];和諧社會(huì)：自主創(chuàng)新與文化交融——2006學(xué)術(shù)前沿論壇論文摘要匯編[C];2006年

10 周北海;毛翊;;常識(shí)推演——常識(shí)推理的形式刻畫[A];2004年邏輯研究專輯[C];2004年

相關(guān)重要報(bào)紙文章 前10條

1 安徽省淮南市郵政局綜合辦公室　王新林;加強(qiáng)行管力度穩(wěn)定集郵市場[N];中國郵政報(bào);2003年

2 蹇敦華 周躍 鄭秀娟;服務(wù)天南地北游客[N];人民郵電;2005年

3 徐強(qiáng);黑龍江移動(dòng)鞏固“雙領(lǐng)先”優(yōu)勢[N];通信產(chǎn)業(yè)報(bào);2004年

4 ;黑龍江移動(dòng)確保業(yè)務(wù)領(lǐng)先有實(shí)招[N];人民郵電;2002年

5 李振 作者系平頂山市人民政府副市長;平等參與社會(huì)生活 共享社會(huì)文明成果[N];平頂山日?qǐng)?bào);2005年

6 嵩明縣三中 李瑞澤;教學(xué)中如何應(yīng)用“注意”[N];云南經(jīng)濟(jì)日?qǐng)?bào);2004年

7 云蘭娥;內(nèi)蒙古移動(dòng)五項(xiàng)舉措做強(qiáng)市場[N];人民郵電;2004年

8 本報(bào)記者 胡陽;市廣開渠道服務(wù)殘疾人就業(yè)[N];衡陽日?qǐng)?bào);2007年

9 陳雅邋董芳;九江縣棉花擎起農(nóng)業(yè)“半邊天”[N];九江日?qǐng)?bào);2008年

10 林子;江西九江：棉花目前長勢良好[N];中華合作時(shí)報(bào);2008年

相關(guān)博士學(xué)位論文 前10條

1 周勇;邏輯程序及其在安全協(xié)議驗(yàn)證中的應(yīng)用[D];南京航空航天大學(xué);2006年

2 劉奮榮;非單調(diào)推理的邏輯研究[D];中國社會(huì)科學(xué)院研究生院;2001年

3 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

4 顧紅芳;常識(shí)推理中非單調(diào)邏輯的研究[D];南京航空航天大學(xué);2001年

5 劉敬學(xué);面向指揮決策的取證支持系統(tǒng)研究[D];華中科技大學(xué);2006年

6 吳梅紅;基于動(dòng)態(tài)認(rèn)知邏輯的多主體系統(tǒng)知識(shí)推理研究[D];廈門大學(xué);2009年

7 干紅華;基于事件的因果關(guān)系可計(jì)算化分析研究[D];浙江大學(xué);2003年

8 饒國政;基于語義WIKI的本體知識(shí)庫研究[D];天津大學(xué);2009年

9 肖文潔;知識(shí)表示與推理的若干問題研究[D];南京航空航天大學(xué);2010年

10 姜殿玉;管理科學(xué)中的帶熵博弈論[D];大連海事大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 董英東;多主體自認(rèn)知邏輯系統(tǒng)及其應(yīng)用[D];西南大學(xué);2008年

2 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年

3 徐輝;非單調(diào)推理基礎(chǔ)上的基于模型診斷[D];吉林大學(xué);2005年

4 袁慶;一類擬線性波動(dòng)方程解的存在性和爆破[D];河海大學(xué);2003年

5 黃先玖;圖映射的漸近穩(wěn)定集和拓?fù)湫蛄徐豙D];廣西大學(xué);2004年

6 白紅信;隨機(jī)合作對(duì)策問題解的研究[D];燕山大學(xué);2009年

7 李慧華;自認(rèn)知邏輯AEL[D];華南師范大學(xué);2007年

8 崔麗麗;一類配置對(duì)策的核心穩(wěn)定性[D];中國海洋大學(xué);2008年

9 于泳波;重復(fù)模糊合作對(duì)策解的研究[D];燕山大學(xué);2009年

10 張興華;基于（？）_D（·）算子的非單調(diào)后承表示定理證明的研究[D];南京航空航天大學(xué);2008年

，

本文編號(hào)：2357439