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: 
• German german.txt
  
• Hamiltonian circuits: mygraph.gph, hamilt.txt, hamilt-choice.txt
• Switches scenario: switches.lp, switches-predict.lp, switches-postdic.lp, switches-plan.lp
• Missionaries and cannibals: mc.lp
  
• Diagnostic reasoning: diag.lp
• Probabilistic Reasoning with Answer Sets.
  Examples: jungle.txt, MontyHall.txt, simpson.txt
• A pair of talks on the World Logic Day, January 14 2020:
• Georg Gottlob
• Moshe Y. Vardi
  

Exercises

• Exercise 1: Masyu puzzle. Delivery: Thursday, May 16th 2024 (23:59)
  

Previous exams

• 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

• clingo, gringo/clasp guide
• G. Brewka, T. Eiter and M. Truszczynski: Answer Set Programming at a Glance. Communications of the ACM 54(12): 92-103 (2011)
  
• E. Erdem, M. Gelfond and N. Leone: Applications of Answer Set Programming. AI Magazine 37(3): 53-68 (2016)
  

Maintained by Pedro Cabalar