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 条
  • [31] Formal Framework for Reasoning About the Precision of Dynamic Analysis
    Dalla Preda, Mila
    Giacobazzi, Roberto
    Marastoni, Niccolo
    STATIC ANALYSIS (SAS 2020), 2020, 12389 : 178 - 199
  • [32] A formal theory for reasoning about parthood, connection, and location
    Donnelly, M
    ARTIFICIAL INTELLIGENCE, 2004, 160 (1-2) : 145 - 172
  • [33] Towards Formal Reasoning about Molecular Pathways in HOL
    Ahmad, Sohaib
    Hasan, Osman
    Siddique, Umair
    2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 378 - 383
  • [34] Formal Reasoning About Lazy-STM Programs
    Yong Li
    Yu Zhang
    Yi-Yun Chen
    Ming Fu
    Journal of Computer Science and Technology, 2010, 25 : 841 - 852
  • [35] Formal Modeling and Reasoning about the Android Security Framework
    Armando, Alessandro
    Costa, Gabriele
    Merlo, Alessio
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 64 - 81
  • [36] Formal Reasoning about Classified Markov Chains in HOL
    Liu, Liya
    Hasan, Osman
    Aravantinos, Vincent
    Tahar, Sofiene
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 295 - 310
  • [37] FORMAL REASONING ABOUT PLAN-CONTROLLED VEHICLES
    RAYNER, M
    HUGOSSON, A
    ARONSSON, M
    WAERN, A
    SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 739 - 751
  • [38] Formal Reasoning About the Security of Amazon Web Services
    Cook, Byron
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 38 - 47
  • [39] Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
    Jackson, Ethan K.
    Levendovszky, Tihamer
    Balasubramanian, Daniel
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 653 - +
  • [40] Reasoning About Partial Functions in the Formal Development of Programs
    Jones, Cliff B.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 3 - 25
12345