Skill School workshop-serie: Första ordningens logik (FOL) för kunskapsrepresentation och vetenskaplig inferens

Nedan följer en kort sammanfattning och en länk till Skill Schools webbsida där du hittar mer information och kan anmäla dig till denna och andra Skill School-workshops. Workshopen hålls på engelska.

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:

1. Scientific languages, syntax and semantics of logic programs
2. Encoding theories in logic programs
3. Deduction: Drawing conclusions
4. Abduction: Finding explanations
5. Induction: Generalising observations to theories

Time: 09.15–12.00 all days.

• Skill School's webpage where you register for the workshop(s)

Arrangeras av: Samhällsvetenskapligt metodcentrum