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 条

[1] A Deductive Approach towards Reasoning about Algebraic Transition Systems
Fu, Jun
Wu, Jinzhao
Tan, Hongyan
[J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
[2] Rethinking Defeasible Reasoning: A Scalable Approach
Maher, Michael J.
Tachmazidis, Ilias
Antoniou, Grigoris
Wade, Stephen
Cheng, Long
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (04) : 552 - 586
[3] Deductive Reasoning in the Structuralist Approach
Andreas, Holger
[J]. STUDIA LOGICA, 2013, 101 (05) : 1093 - 1113
[4] Deductive Reasoning in the Structuralist Approach
Holger Andreas
[J]. Studia Logica, 2013, 101 : 1093 - 1113
[5] A Defeasible Reasoning Approach for Description Logic Ontologies
Moodley, Kody
Meyer, Thomas
Varzinczak, Ivan Jose
[J]. PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 69 - 78
[6] REASONING ON REQUIREMENT SPECIFICATIONS - A DEDUCTIVE APPROACH
ZEROUAL, K
[J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 650 - 657
[7] Algebraic approach to indefinite deductive databases
Lui, K.C.
Sunderraman, R.
[J]. Proceedings of the International Symposium on Methodologies for Intelligent Systems, 1990,
[8] DEFEASIBLE REASONING
POLLOCK, JL
[J]. COGNITIVE SCIENCE, 1987, 11 (04) : 481 - 518
[9] ALGEBRAIC APPROACH TO FORMALIZATION OF DEDUCTIVE QUERY LANGUAGES
ZADOROZHNYI, VI
NIKITCHENKO, NS
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1992, 18 (06) : 259 - 273
[10] Reasons and Defeasible Reasoning
Brunero, John
[J]. PHILOSOPHICAL QUARTERLY, 2021, 72 (01): : 41 - 64

← 1 2 3 4 5 →