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
The Lady
and Tiger puzzle
Chapter 2b. Propositional Rule-Based Reasoning
videos (in Spanish): RCRA09,
RCRA10,
RCRA11,
RCRA12
- Chapter 3. Relational
Representation and Reasoning
videos (in Spanish): RCRA13,
RCRA14,
RCRA15,
RCRA16,
RCRA17
- Chapter
4. Predicate Calculus
- NP-completeness
[Video in Spanish: NP-Completo]
>> 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
- May 2024: exam, solutions
- May 2023: exam, solutions
- May 2022: exam, solutions
- March 2022: exam, solutions
- July 2019: exam, solutions
- May 2019: exam, solutions
- July 2018: exam, solutions
- May 2018: exam, solutions
- July 2017: exam, solutions
- May 2017: exam, solutions
Documentation and bibliography
Maintained by Pedro Cabalar
|