![[English Version]](images/header-left-en.gif)
![[]](images/header-right.gif)
Logics and Statistics for Language Modeling: Logic Section.
The Logic Section of the "Logics and Statistics for Language Modeling" is an introduction to logic from a computational point of view, with special enphasis on how logic and inference is required in different applications of natural language processing.
Lecturer
- Carlos Areces
- Office B 230, LORIA, Campus scientifique de Vandoeuvre
- Email: firstname.lastname@loria.fr
- Tel: 03 54 95 84 90
Slides
- Lecture 1: [slides | handout]
- Lecture 1bis: [slides | handout]
- Lecture 2: [slides | handout | DP Example]
- Lecture 3: [slides | handout]
- Lecture 4: [slides | handout]
- Lecture 5: [slides | handout]
- Lecture 6: [slides | handout]
- Lecture 6bis: [slides | handout]
- Lecture 7: [slides | handout | Tableaux Example]
- Lecture 8: [slides | handout]
Additional Reading
- Propositional Logic [pdf]
-
Davis Putnam method
[pdf]
(Note: I found these notes online, they provide some further details and another example of the DP method. It could be useful as additional material, but notice that the presentation is a bit different from the one I used. Also, the notes include material that we didn't cover.) - First Order Logic [pdf]
Downloads
© Mantained by Carlos Areces.
