ON THE REASONING EXPRESSIONS AND THE NATURE OF DEDUCTION RULES

被引：0

作者：

MO, SK

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：118 / 126

页数：9

共 50 条

[21] Logic and human reasoning: An assessment of the deduction paradigm
Evans, JST
PSYCHOLOGICAL BULLETIN, 2002, 128 (06) : 978 - 996
[22] Model based deduction for database schema reasoning
Baumgartner, P
Furbach, U
Gross-Hardt, M
Kleemann, T
KI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3238 : 168 - 182
[23] Deduction and induction: Reasoning through mental models
Bruno G. Bara
Monica Bucciarelli
Mind & Society, 2000, 1 (1) : 95 - 107
[24] USING NORMAL DEDUCTION GRAPHS IN DEFAULT REASONING
MUNOZ, RA
YANG, CC
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 203 - 212
[25] A NATURAL DEDUCTION SYSTEM FOR REASONING ABOUT KNOWLEDGE
KUO, V
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 848
[26] Expert deduction rules in data mining with association rules: a case study
Jan Rauch
Knowledge and Information Systems, 2019, 59 : 167 - 195
[27] Rules and Moral Reasoning
Alan H. Goldman
Synthese, 1998, 117 : 229 - 250
[28] Reasoning, Rules, and Representation
Robinson, Paul D.
Samuels, Richard
NATURALIZING LOGICO-MATHEMATICAL KNOWLEDGE: APPROACHES FROM PHILOSOPHY, PSYCHOLOGY AND COGNITIVE SCIENCE, 2018, : 30 - 51
[29] THE CASE FOR RULES IN REASONING
SMITH, EE
LANGSTON, C
NISBETT, RE
COGNITIVE SCIENCE, 1992, 16 (01) : 1 - 40
[30] Hyper Natural Deduction for Godel Logic-A natural deduction system for parallel reasoning
Beckmann, Arnold
Preining, Norbert
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (06) : 1125 - 1187