okt
Skill School workshop-serie: Första ordningens logik (FOL) för kunskapsrepresentation och vetenskaplig inferens
Denna workshop handlar om Första ordningens logik (FOL), ett mycket uttrycksfullt formellt språk med kapacitet att korrekt representera även komplexa teorier, antaganden och observationer.
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:
- 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.
Arrangeras av: Samhällsvetenskapligt metodcentrum
Om evenemanget
Plats:
Se Skill Schools webbsida
Målgrupp:
Lärare, forskare och doktorander
Språk:
In English
Kontakt:
skillschool [at] sam [dot] lu [dot] se