TY - JOUR

T1 - Using logic programming for theory representation and scientific inference

AU - Rohner, Jean Christophe

AU - Kjellerstrand, Håkan

PY - 2021

Y1 - 2021

N2 - The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theory. We discuss the advantages of logic programming with regard to building formal theories and present a novel software package for scientific inference: Theory Toolbox. Theory Toolbox can derive any conclusions that are entailed by a theory, explain why a certain conclusion follows from a theory, and evaluate a theory with regard to its internal coherence and generalizability. Because logic is, or should be, a cornerstone of scientific practice, we believe that our paper can make an important contribution to scientific psychology.

AB - The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theory. We discuss the advantages of logic programming with regard to building formal theories and present a novel software package for scientific inference: Theory Toolbox. Theory Toolbox can derive any conclusions that are entailed by a theory, explain why a certain conclusion follows from a theory, and evaluate a theory with regard to its internal coherence and generalizability. Because logic is, or should be, a cornerstone of scientific practice, we believe that our paper can make an important contribution to scientific psychology.

KW - Logic programming

KW - Prolog

KW - Scientific inference

KW - Scientific rigor

U2 - 10.1016/j.newideapsych.2020.100838

DO - 10.1016/j.newideapsych.2020.100838

M3 - Article

AN - SCOPUS:85097761278

VL - 61

JO - New Ideas in Psychology

JF - New Ideas in Psychology

SN - 0732-118X

M1 - 100838

ER -