Skip to main content
Open Access Publications from the University of California

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.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View