以可推翻論證為基點(diǎn)的非單調(diào)推理研究
本文選題:可推翻論證 切入點(diǎn):非單調(diào)推理 出處:《哲學(xué)動態(tài)》2017年05期
【摘要】:可推翻論證[1]系統(tǒng)是非單調(diào)推理研究領(lǐng)域近年來最為活躍的分支之一。與其他分支相比,可推翻論證系統(tǒng)更側(cè)重于推理結(jié)構(gòu)的研究,它的研究基點(diǎn)是論證,即以單個論證作為最小研究單位,而不是像其他的分支及經(jīng)典邏輯那樣從命題或命題中的成分開始研究。在這一研究視角下,新的前提不會使論證變成無效,而只會引起反面的論證。本文梳理了可推翻論證研究的基本框架和內(nèi)容,比較其不同結(jié)果,辨析了可推翻論證系統(tǒng)和其他非單調(diào)推理研究分支的關(guān)系,并指出以論證為基點(diǎn)是研究非單調(diào)推理的恰當(dāng)切入點(diǎn),可推翻論證在非單調(diào)推理領(lǐng)域有很好的發(fā)展前景和廣泛應(yīng)用空間。
[Abstract]:One of the most active branches in the field of non-monotone reasoning in recent years is the system of rebuttable argumentation [1]. Compared with other branches, the system focuses more on the research of reasoning structure, whose research base is argumentation. That is, using a single argument as the minimum unit of study, rather than starting with propositions or components of propositions, as other branches and classical logic do. In this perspective, new premises do not invalidate the argument. This paper reviews the basic framework and content of the research on rebuttable argumentation, compares its different results, and analyzes the relationship between the system of rebuttable argumentation and other branches of non-monotone reasoning. It is also pointed out that argumentation is the appropriate starting point for the study of non-monotone reasoning, and it can be overturned that argumentation has a good development prospect and wide application space in the field of non-monotone reasoning.
【作者單位】: 中央財(cái)經(jīng)大學(xué)現(xiàn)代邏輯研究所;
【基金】:中央財(cái)經(jīng)大學(xué)基礎(chǔ)理論研究扶持計(jì)劃資助
【分類號】:B812.3
【相似文獻(xiàn)】
相關(guān)期刊論文 前8條
1 謝凱博;廖備水;;非單調(diào)推理與論辯系統(tǒng)[J];重慶理工大學(xué)學(xué)報(bào)(社會科學(xué)版);2013年09期
2 李海波,王永秋;語言中的非單調(diào)推理[J];勝利油田師范?茖W(xué)校學(xué)報(bào);2003年04期
3 林作銓;戴汝為;;純粹理性批判與人工智能[J];計(jì)算機(jī)科學(xué);1992年05期
4 孫踴,方明;耶魯槍擊案: 對非單調(diào)推理案例的分析(英文)[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年05期
5 張立英;;概稱句推理與排序[J];邏輯學(xué)研究;2009年02期
6 蘇開樂;漸近實(shí)現(xiàn)非單調(diào)推理(英文)[J];中山大學(xué)學(xué)報(bào)論叢;2000年02期
7 吳洪博,馬巧云;基于L~*系統(tǒng)的一種非單調(diào)推理系統(tǒng)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期
8 ;[J];;年期
相關(guān)碩士學(xué)位論文 前3條
1 楊澤峰;動態(tài)論辯系統(tǒng)中優(yōu)先外延的保存原則研究[D];浙江大學(xué);2015年
2 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年
3 余U,
本文編號:1681159
本文鏈接:http://sikaile.net/shekelunwen/ljx/1681159.html