Knowledge Representation
and Automated Reasoning
Slides
- Chapter
1. Introduction to Knowledge Representation
videos (in Spanish): RCRA01,
RCRA02,
RCRA03,
RCRA04,
RCRA05
- Chapter
2. Propositional Representation and Reasoning
videos (in Spanish): RCRA06,
RCRA07,
RCRA08,
Chapter 2b. Propositional Rule-Based Reasoning
videos (in Spanish): RCRA09,
RCRA10,
RCRA11,
RCRA12
- Chapter
3. Relational Representation and Reasoning
videos (in Spanish): RCRA13,
RCRA14
- Chapter
4. Predicate Calculus
- NP-completeness
>> youtube class (Erik Demaine, MIT): computational
complexity in 50'
- Some examples used in the slides:
- Probabilistic
Reasoning with Answer Sets.
Examples: jungle.txt, MontyHall.txt, simpson.txt
- A pair of talks on the World Logic Day, January 14
2020:
Exercises
Previous exams
Documentation and bibliography
Collection of previous exercises
Year 2020
Year 2019
Year 2018
Year 2017
- Exercise 1: 8 queens problem.
(7/3/2018) >> An implementation (Queens.zip) as a SAT problem by
Daniel Iglesias, mixing clasp, C, and a graphical
interface in java.
- Exercise 2: La Liga schedule
(Spanish Soccer Competition calendar).
Year 2016
Year 2014
Year 2013
Maintained by Pedro Cabalar
|