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: 
• 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

• slides: session1
  
• Exercise 1: Reducing to CNF. Deadline: Thursday, March 4th, 2021.
  
• Exercise 2: TBA
  

Previous exams

• 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)
  

Collection of previous exercises

Year 2020

• Exercise 1: The hour maze puzzle.
• Exercise 2: The blocks world.
  

Year 2019

• Exercise 1: Binairo puzzle.
  
• Exercise 2: Wire routing problem.

Year 2018

• Exercise 1: dominosa problem.
• Exercise 2: vacuum cleaner.
  

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

• Exercise 1: Unblock puzzle.

Year 2014

• Exercise 1a: SAT (Hitori puzzle)
  A possible solution in plain C language: hitori.c
  An ASP solution to Hitori puzzle: hitori.txt, hitori-ex1.txt
• Excercise 1b: Predicate Calculus
• Exercise 2: Answer Set Programming: a canon music composer.
  
• Exercise 3: Probabilistic Reasoning.
  

Year 2013

• Exercise 1a: SAT, Sudoku puzzle (2013). A possible solution in C language can be found here: sudoku.c
  
• Exercise 1b: Theorem proving (2013)
• Exercise 2: Answer Set Programming (2013). Netwalk puzzle.
• Exercise 3: Probabilistic Reasoning with P-log (2013): Rock, Paper and Scissors.

Maintained by Pedro Cabalar