Oct
Skill School workshop series: First Order Logic for Knowledge Representation and Scientific Inference
This workshop is about First order logic (FOL), a highly expressive formal language with the capacity to accurately represent even complex theories, assumptions, and observations.
Below is a short summary and a link to Skill School's webpage where you will find more info and register for this and other Skill School workshops.
FOL supports deduction, induction, and abduction, three fundamental kinds of scientific inference, by defining them formally and by enabling the use of computer algorithms for inference. The implication is that researchers can use FOL to describe and reason about social-science phenomena at the individual level, group level and society level, e.g. thoughts, emotions, behaviors, group constellations, social structures, norms.
The workshop consists of five sessions, where participants learn how to use the Prolog language (a type of FOL) for knowledge representation and inference. Each session involves a theoretical part plus a practical segment with hands on guidance from the facilitator.
The five sessions have the following content:
- Scientific languages, syntax and semantics of logic programs
- Encoding theories in logic programs
- Deduction: Drawing conclusions
- Abduction: Finding explanations
- Induction: Generalising observations to theories
Time: 09.15–12.00 all days.
Arranged by: Lund Social Science Methods Centre
About the event
Location:
See Skill School's webpage
Target group:
Teachers, researchers, and doctoral candidates
Language:
In English
Contact:
skillschool [at] sam [dot] lu [dot] se