重庆理工大学学报：社会科学版
重慶理工大學學報：社會科學版
중경리공대학학보：사회과학판
Journal of Chongqing Institute of Technology
2013年
9期
36~41
,共null页
非单调推理 论辩系统 论辩框架
非單調推理 論辯繫統 論辯框架
비단조추리 론변계통 론변광가
non-monotonic reasoning; argumentation system; argumentation framework
由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题.这些系统被称为非单调逻辑.它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法；而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论.为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系.
由于僅以一階邏輯無法刻畫齣人類推理過程中的非單調性,因而邏輯學傢嘗試建立新的邏輯繫統來解決這一問題.這些繫統被稱為非單調邏輯.它們傳統上一般採用的是優先蘊含或者一緻性和不可證明性方法；而從20世紀80年代末90年代初開始,越來越多的邏輯學傢開始嘗試基于一種新的方法實現推理的非單調性,稱為論辯理論.為此,探討論辯繫統以及其後基于論辯繫統而提齣的論辯框架是如何刻畫非單調推理的,併分析它們相互之間的聯繫.
유우부이일계라집무법각화출인유추리과정중적비단조성,인이라집학가상시건립신적라집계통래해결저일문제.저사계통피칭위비단조라집.타문전통상일반채용적시우선온함혹자일치성화불가증명성방법；이종20세기80년대말90년대초개시,월래월다적라집학가개시상시기우일충신적방법실현추리적비단조성,칭위론변이론.위차,탐토론변계통이급기후기우론변계통이제출적론변광가시여하각화비단조추리적,병분석타문상호지간적련계.
As first-order logic alone cannot depict the non-monotony in the human reasoning process, logicians try to establish new logic systems to deal with this problem, and these new systems are called non-monotonic logic. Traditionally, they adopt the way of consistency and unprovability. However, since the late 1980s and early 1990s, more and more logicians have begun to use a new way to realize the non-monotony of reasoning, which is argumentation. This paper will expound argumentation sys- tem and how argumentation framework is used to depict non-monotonic reasoning, and analyze the connections between them.
