本文關(guān)鍵詞：不一致問(wèn)題與論辯邏輯

  更多相關(guān)文章： 論辯邏輯 不一致性 非單調(diào)邏輯

【摘要】：作為傳統(tǒng)非單調(diào)邏輯的繼承和發(fā)展,論辯邏輯(又稱(chēng)為"抽象論辯理論"、"形式論辯"等)提供了一種處理不一致問(wèn)題的一般機(jī)制。它運(yùn)用抽象的論證和攻擊關(guān)系來(lái)刻畫(huà)不一致情境中各種推理系統(tǒng)所共有的沖突處理邏輯結(jié)構(gòu),并通過(guò)建立具有一般意義的評(píng)價(jià)標(biāo)準(zhǔn)(稱(chēng)為"論辯語(yǔ)義")來(lái)定義論證集合的可接受性。這兩個(gè)特點(diǎn)使得論辯邏輯對(duì)解決不一致情境中的推理問(wèn)題具有普遍適用性:首先,由于論證狀態(tài)的評(píng)估只與論證之間的攻擊關(guān)系有關(guān),底層知識(shí)的類(lèi)別、來(lái)源、表示語(yǔ)言和表示方法等可以多種多樣;第二,論辯語(yǔ)義所對(duì)應(yīng)的評(píng)價(jià)標(biāo)準(zhǔn)適用于各種具體應(yīng)用;第三,論辯邏輯既可以支持單主體的認(rèn)識(shí)推理和實(shí)踐推理,也可以支持多個(gè)主體間交互時(shí)的推理(如說(shuō)服、爭(zhēng)論、協(xié)商等)。當(dāng)前,論辯邏輯研究領(lǐng)域的重點(diǎn)是論辨語(yǔ)義的定義和求解方法、論辯邏輯的實(shí)例化方法以及論辯邏輯的應(yīng)用等。
【作者單位】： 浙江大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 論辯邏輯 不一致性 非單調(diào)邏輯
【分類(lèi)號(hào)】：B81-0
【正文快照】： 在現(xiàn)實(shí)世界中,智能主體(自然的或人工的)在認(rèn)識(shí)世界、做出決策、發(fā)生爭(zhēng)論或協(xié)商,以及在整合不同信息并形成一致結(jié)論等任務(wù)時(shí),經(jīng)常會(huì)遇到推理問(wèn)題,即如何依據(jù)給定的知識(shí)、信念、主張、動(dòng)機(jī)或偏好等推導(dǎo)出某種結(jié)論。在這些推理任務(wù)中,存在著經(jīng)典一階邏輯所不能適應(yīng)的一些顯著特

【參考文獻(xiàn)】

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

1 馬希文;人工智能中的邏輯問(wèn)題[J];哲學(xué)研究;1985年01期

【共引文獻(xiàn)】

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

1 李建華;哲學(xué)邏輯芻議[J];湘潭師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);1997年04期

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

1 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

2 王太忠;關(guān)于歸納邏輯與科學(xué)方法論的幾點(diǎn)探討[D];云南師范大學(xué);2007年

【相似文獻(xiàn)】

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

1 王廷利;;非單調(diào)邏輯綜述[J];中山大學(xué)研究生學(xué)刊(社會(huì)科學(xué)版);1997年03期

2 王澍;;談孟子式的論辯邏輯[J];阿壩師范高等專(zhuān)科學(xué)校學(xué)報(bào);2008年01期

3 陳燕;;外顯自尊和內(nèi)隱自尊不一致性的研究綜述[J];改革與開(kāi)放;2010年20期

4 吳洪博,馬巧云;基于L~*系統(tǒng)的一種非單調(diào)推理系統(tǒng)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

5 周平會(huì);李軍;;道德權(quán)利與義務(wù)的不對(duì)稱(chēng)性分析[J];中共杭州市委黨校學(xué)報(bào);2006年01期

6 周平會(huì);李軍;;道德權(quán)利與義務(wù)的不對(duì)稱(chēng)性分析[J];中共四川省委黨校學(xué)報(bào);2006年01期

7 周平會(huì);李軍;;道德權(quán)利與義務(wù)的不對(duì)稱(chēng)性分析[J];柳州師專(zhuān)學(xué)報(bào);2006年02期

8 吳端明;;卡佛短篇小說(shuō)中的黑色幽默[J];湖北廣播電視大學(xué)學(xué)報(bào);2009年05期

9 符蓉;;隱喻的不一致性分析[J];遵義師范學(xué)院學(xué)報(bào);2008年01期

10 姜云飛;;關(guān)于非單調(diào)邏輯[J];計(jì)算機(jī)科學(xué);1988年04期

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

1 殷曉莉;孫彥;;決策不一致性機(jī)制的實(shí)驗(yàn)研究[A];第十一屆全國(guó)心理學(xué)學(xué)術(shù)會(huì)議論文摘要集[C];2007年

2 李平;史小衛(wèi);陳小群;王新懷;白巖夫;;通道的不一致性對(duì)干擾抑制的影響[A];2009年全國(guó)微波毫米波會(huì)議論文集（下冊(cè)）[C];2009年

3 張求喜;周太平;巢寧佳;;基于MapX的道路線(xiàn)狀數(shù)據(jù)拓?fù)洳灰恢滦宰詣?dòng)檢測(cè)[A];華東六省一市測(cè)繪學(xué)會(huì)第十一次學(xué)術(shù)交流會(huì)論文集[C];2009年

4 華中生;梁梁;;專(zhuān)家群體決策不一致性的判定與調(diào)整方法[A];1994中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1994年

5 李春梅;王琨;;CCD像元及通道響應(yīng)不一致性的矯正方法研究[A];提高全民科學(xué)素質(zhì)、建設(shè)創(chuàng)新型國(guó)家——2006中國(guó)科協(xié)年會(huì)論文集（下冊(cè)）[C];2006年

6 劉彥瑞;劉光遠(yuǎn);;一種基于未確知集的軟件可靠性模型選擇方法[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

7 黃國(guó)芳;汪學(xué)明;;從制約邏輯到法律推理的思考[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專(zhuān)題研討會(huì)論文集[C];2005年

8 何方琨;;對(duì)偶占優(yōu)推理系統(tǒng)的表示定理的證明[A];第十六屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2011年

9 高建新;;GIS空間數(shù)據(jù)不確定性研究[A];全國(guó)測(cè)繪科技信息網(wǎng)中南分網(wǎng)第二十一次學(xué)術(shù)信息交流會(huì)論文集[C];2007年

10 丁孟為;王穩(wěn)寅;張大強(qiáng);沈耀;過(guò)敏意;;DCCI:一種分布式檢測(cè)情境不一致性的方法[A];第六屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議（HHME2010)、第19屆全國(guó)多媒體學(xué)術(shù)會(huì)議（NCMT2010）、第6屆全國(guó)人機(jī)交互學(xué)術(shù)會(huì)議（CHCI2010）、第5屆全國(guó)普適計(jì)算學(xué)術(shù)會(huì)議（PCC2010）論文集[C];2010年

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

1 叢桕;嚴(yán)守“劇本”用心“表演”[N];中國(guó)質(zhì)量報(bào);2009年

2 蔣愛(ài)民;關(guān)于兩稅比對(duì)的思考[N];江蘇經(jīng)濟(jì)報(bào);2009年

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

4 孫彩平 東北師范大學(xué)教育科學(xué)學(xué)院;青少年網(wǎng)絡(luò)生活道德?tīng)顩r調(diào)查[N];中國(guó)社會(huì)科學(xué)報(bào);2009年

5 中山大學(xué)邏輯與認(rèn)知研究所 熊明輝;邏輯與認(rèn)知[N];社會(huì)科學(xué)報(bào);2002年

6 郭亞菊;高中數(shù)學(xué)也要重應(yīng)用[N];陜西日?qǐng)?bào);2009年

7 本報(bào)記者 于德良;銀行紛紛下調(diào)外幣存款利率 定價(jià)機(jī)制仍需完善[N];證券日?qǐng)?bào);2009年

8 興業(yè)銀行 魯政委;當(dāng)務(wù)之急是利率而非準(zhǔn)備金率[N];上海證券報(bào);2009年

9 茍秉奇 退休教師;協(xié)調(diào)一致施家教[N];隴南日?qǐng)?bào);2009年

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

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

2 江敏;多視點(diǎn)需求工程中不一致性的檢測(cè)與處理[D];武漢大學(xué);2007年

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

4 王欣;數(shù)據(jù)集成技術(shù)若干問(wèn)題的研究[D];上海交通大學(xué);2010年

5 謝能付;基于語(yǔ)義Web技術(shù)的知識(shí)融合和同步方法研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

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

7 吳慶崗;復(fù)雜背景輸電線(xiàn)圖像中部件邊緣提取算法研究[D];大連海事大學(xué);2012年

8 張國(guó)軍;基于粗糙集的相對(duì)屬性約簡(jiǎn)算法及決策方法研究[D];華中科技大學(xué);2010年

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

1 高黎;辨證論治的非單調(diào)邏輯模型[D];內(nèi)蒙古大學(xué);2011年

2 張奕男;上下文不一致性檢測(cè)及消除的研究[D];上海交通大學(xué);2011年

3 王禎;UML建模過(guò)程中的不一致性分析[D];山東大學(xué);2006年

4 許小燕;江蘇海洋功能區(qū)劃不一致性研究[D];南京師范大學(xué);2008年

5 吳琴華;在理論與實(shí)踐之間：戴維·洛奇小說(shuō)理論與創(chuàng)作實(shí)踐的一致性與不一致性[D];浙江大學(xué);2006年

6 常升;基于節(jié)點(diǎn)的局部網(wǎng)格生成算法研究[D];西北工業(yè)大學(xué);2006年

7 蘆珊;可公理化單射占優(yōu)模型類(lèi)的研究[D];南京航空航天大學(xué);2006年

8 田亮;鎳氫動(dòng)力電池均衡充電系統(tǒng)的設(shè)計(jì)與試驗(yàn)研究[D];西南大學(xué);2007年

9 馬欣昱;面向演化本體的語(yǔ)義度量研究[D];華北電力大學(xué)（北京）;2011年

10 萬(wàn)獎(jiǎng)獎(jiǎng);礴酸鐵鋰電池組SOC動(dòng)態(tài)估算策峭及其均衡技術(shù)的研究[D];上海交通大學(xué);2011年

，

本文編號(hào)：720756