Using logic programming for theory representation and scientific inference

Jean Christophe Rohner, Håkan Kjellerstrand

Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskriftPeer review


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.

TidskriftNew Ideas in Psychology
StatusPublished - 2021

Ämnesklassifikation (UKÄ)

  • Datavetenskap (datalogi)


Utforska forskningsämnen för ”Using logic programming for theory representation and scientific inference”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här