Scholarlink

This paper presents a novel framework aimed at enhancing the experimental methodology within cognitive psychology, integrating both informal and formal components to accommodate varied reasoning approaches. The framework supports the design and performing of experiments, and the structured storage of the information on outcomes in a way that is independent of specific interpretations and findings. This facilitates the replication and reproduction of the experiments and their interpretation under alternative theories. Moreover, the formal components of the information stored can be used for in silico simulation as well as within rigorous analytical approaches, such as formal methods and process mining.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Antonio Cerone,
  • Graham Pluck

摘要

This paper presents a novel framework aimed at enhancing the experimental methodology within cognitive psychology, integrating both informal and formal components to accommodate varied reasoning approaches. The framework supports the design and performing of experiments, and the structured storage of the information on outcomes in a way that is independent of specific interpretations and findings. This facilitates the replication and reproduction of the experiments and their interpretation under alternative theories. Moreover, the formal components of the information stored can be used for in silico simulation as well as within rigorous analytical approaches, such as formal methods and process mining.