Logic Programs as Executable Experimental Task Specifications

This paper proposes a formalized approach to the specification of experimental tasks in cognitive science. Put briefly, the proposal is to represent the structure of a task by a logic program that accepts only valid experimental event logs for the chosen paradigm. It is argued that the proposed approach stands to benefit the research process at various stages as it involves the creation of executable documentation for experimental tasks, which may facilitate the communication, validation, implementation, and analysis of experimental tasks. A worked example is presented in detail and some potential new directions of research at the intersection of psychology and computer science are discussed.