Editorial: Beyond formal models of reasoning about explanations

被引：0

作者：

Koslowski, Barbara ^{[1
]}

Douven, Igor ^{[2
]}

Masnick, Amy ^{[3
]}

Krzyzanowska, Karolina ^{[4
]}

Chinn, Clark ^{[5
]}

Morris, Bradley ^{[6
]}

机构：

[1] Cornell Univ, Dept Human Dev, Ithaca, NY 14853 USA

[2] Univ Paris, French Natl Ctr Sci Res CNRS, Paris, Ile De France, France

[3] Hofstra Univ, Dept Psychol, Hempstead, NY 11549 USA

[4] Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands

[5] Rutgers Univ Newark, Grad Sch Educ, Newark, NJ 07102 USA

[6] Kent State Univ, Dept Learning Sci & Educ Psychol, Kent, OH 44242 USA

来源：

FRONTIERS IN PSYCHOLOGY | 2024年 / 15卷

关键词：

abduction; explanation; scientific reasoning; cognition; formal models; INFERENCE;

D O I：

10.3389/fpsyg.2024.1358934

中图分类号：

B84 [心理学];

学科分类号：

04 ; 0402 ;

摘要：

引用

页数：2

共 50 条

[41] A formal method toward reasoning about continuous change
Li, CP
AI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3339 : 1174 - 1180
[42] SYSTEMATIC AND METASYSTEMATIC REASONING - A CASE FOR LEVELS OF REASONING BEYOND PIAGETS STAGE OF FORMAL OPERATIONS
COMMONS, ML
RICHARDS, FA
KUHN, D
CHILD DEVELOPMENT, 1982, 53 (04) : 1058 - 1069
[43] Reasoning about explanations for negative query answers in DL-lite
1600, AI Access Foundation (48):
[44] Reasoning about Explanations for Negative Query Answers in DL-Lite
Calvanese, Diego
Ortiz, Magdalena
Simkus, Mantas
Stefanoni, Giorgio
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 635 - 669
[45] Approximate reasoning about software models
Ramanna, S
NAFIPS 2004: ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1AND 2: FUZZY SETS IN THE HEART OF THE CANADIAN ROCKIES, 2004, : 791 - 795
[46] Reasoning about mathematical models - Preface
Greenberg, HJ
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (1-2) : U9 - U9
[47] Reasoning about Edits to Feature Models
Thuem, Thomas
Batory, Don
Kaestner, Christian
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 254 - +
[48] Reasoning about models of nonlinear systems
Stolle, R
Easley, M
Bradley, E
LOGICAL AND COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING, 2002, 25 : 249 - 271
[49] The application of automated reasoning to formal models of combinatorial optimization
Helman, P
Veroff, R
APPLIED MATHEMATICS AND COMPUTATION, 2001, 120 (1-3) : 175 - 194
[50] Reasoning with conditionals: A test of formal models of four theories
Oberauer, Klaus
COGNITIVE PSYCHOLOGY, 2006, 53 (03) : 238 - 283

← 1 2 3 4 5 →