Lógica y Metodos Avanzados de Razonamiento

Joint lecture by David Pearce and Axel Polleres.

Overview

In this course we will cover various reasoning methods for classical and non classical logics.

Schedule

Every Wednesday, 2pm - 4pm

Course Material

For some of the PDF/PPT files to be displayed correctly, you need either theses fonts (download the zip file 127KB) or TexPoint installed.

• 2006-10-11: Lecture 1 (PDF) (Axel Polleres)
• 2006-10-18: Lecture 2 (PDF), Exercise Sheet (PDF) (Axel Polleres)
• 2006-10-25: Lecture 3 (PDF), Exercise Sheet (PDF) (Axel Polleres)
  Natural Deduction. (Don't be shocked by the number of slides, it is less than it looks! ;-) )
  We will use the slides available at this site. (with friendly permission of Prof. Aart Middeldorp, University of Innsruck).
  Particularly, the following parts are interesting for us:
  1. slides from propositional Natural Deduction
  2. slides from propositional Natural Deduction, soundness
  3. slides from propositional Natural Deduction, completeness
  4. slides from wrap-up first-order logic (this is basically what we did last lecture, but just to have the same notation!)
  5. slides from first-order Natural Deduction
  6. slides from Some more details on First-order logic (soundness, completeness of natural deduction, undecidability, ... let's see if we get that far)
• 2006-11-08: Lecture 4 (PDF) (David Pearce)
• 2006-11-21: Lecture 5 (PDF), Exercise Sheet (PDF) (Axel Polleres)
• 2006-11-22: Lecture 6 (PDF), continuation of Lecture 4 (David Pearce)
• 2006-11-29: Exercises for Lectures 4 and 6 (PDF) (David Pearce)
• 2006-12-12: Exercises for lectures 3 and 5 (PDF) (Axel Polleres)
• 2006-12-13: Lecture 8 (PDF), PROLOG (Axel Polleres), some examples, Exercise Sheet (PDF)
• 2006-12-20: Lecture 9 (PDF), Negation in PROLOG, and alternative semantics for negation: Perfect, Well-founded and Stable Models (Axel Polleres)
• 2007-01-10: Lecture 10: In this and the next lecture, I will cover the Answer Set Programming paradigm extending "traditional" logic programming in a declarative wayand show you applications thereof. Material will be taken from a tutorial held at ESWC 2006 in Budva, Montenegro, where we will start with parts taken from the first two Units. The full tutorial, with a web-interface to the Answer Set Programming Engine DLV is available at: asptut.gibbi.com. Slides for all Units:
  • Unit 1 (PDF)
  • Unit 2 (PDF), plus a picture, illustrating the Travelling Salesperson example.
  • Unit 3 (PDF)
  • Unit 4 (PDF)
  • Unit 5 (PDF)
  • Unit 6 (PDF)
  There is also a more printer-friendly booklet for the whole tutorial (PDF).
• 2007-01-17 + 2007-01-24: Lectures 11+12 (PDF): Logical foundations of Answer Set Programming: Default Logic, Autoepistemic Logic, Equilibrium Logic (David Pearce)