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

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

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

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 吳端明;;卡佛短篇小說中的黑色幽默[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期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：720756