Deductive and Defeasible Reasoning on the Basis of a Unified Algebraic Approach

被引：3

作者：

Kulik, B. A. ^{[1
]}

Zuenko, A. A. ^{[2
,3
]}

Friedman, A. Ya. ^{[2
,3
]}

机构：

[1] Russian Acad Sci, Inst Problems Mech Engn, Moscow, Russia

[2] Russian Acad Sci, Kola Sci Ctr, Inst Informat & Math Modelling Technol Proc, Moscow, Russia

[3] Petrozavodsk State Univ, Kola Branch, Petrozavodsk, Russia

来源：

SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING | 2015年 / 42卷 / 06期

基金：

俄罗斯基础研究基金会;

关键词：

defeasible reasoning; n-tuple algebra; collisions; hypotheses analysis;

D O I：

10.3103/S0147688215060076

中图分类号：

G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];

学科分类号：

1205 ; 120501 ;

摘要：

Application of a unified classical approach to the modeling and analysis of both deductive and defeasible reasoning developed by the authors on the basis of n-tuple algebra is demonstrated. A method of analysis of defeasible reasoning transferring the "non-classical" component to the semantics and allowing carrying out logical analysis without violating the laws of classical logic is demonstrated.

引用

页码：402 / 410

页数：9

共 50 条

[21] Deductive reasoning
Johnson-Laird, Phil
[J]. WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2010, 1 (01) : 8 - 17
[22] Deductive reasoning
Johnson-Laird, PN
[J]. ANNUAL REVIEW OF PSYCHOLOGY, 1999, 50 : 109 - 135
[23] ALGEBRAIC APPROACH TO SPATIAL REASONING
SMITH, TR
PARK, KK
[J]. INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SYSTEMS, 1992, 6 (03): : 177 - 192
[24] Deductive reasoning
不详
[J]. FORBES, 2005, 175 (01): : 20 - 20
[25] Deductive Reasoning
林自新
[J]. 中学生数学, 2006, (19) : 41 - 41
[26] Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning
Niemelae, I.
[J]. Bulletin of the European Association for Theoretical Computer Science, 1994, (53):
[27] ANALOGICAL REASONING, DEFEASIBLE REASONING, AND THE REFERENCE CLASS
LOUI, RP
[J]. PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 256 - 265
[28] Defeasible reasoning and informal fallacies
Walton, Douglas
[J]. SYNTHESE, 2011, 179 (03) : 377 - 407
[29] Modeling defeasible reasoning for argumentation
Vagin, Vadim
Morosin, Oleg
[J]. 2013 1ST BRICS COUNTRIES CONGRESS ON COMPUTATIONAL INTELLIGENCE AND 11TH BRAZILIAN CONGRESS ON COMPUTATIONAL INTELLIGENCE (BRICS-CCI & CBIC), 2013, : 304 - 309
[30] Heuristics, justification, and defeasible reasoning
[J]. Colburn, Timothy R., 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (05):

← 1 2 3 4 5 →