IS: Intelligent Systems - Logic meets Probability Theory


      Latest News
      • Voorlopige eindcijfers
      • Deadline O.2: 8th December, 2008; Deadline K.1, K.2 and K.3 OR P.2: 19th January, 2009
      • Note: assigments should be submitted on paper and put into the pigeonholes of Nivea de Carvalho Ferreira or Arjen Hommersom
      • Reexam: Friday, 24th April, 2009, 15.30-17.30, Room LIN 5
      • Sample exam
      • Final mark = 50% exam + 20% O.2 + 30% (K.1 + K.2 + K.3) or 50% exam + 20% O.2 + 30% P.2
      • You may take lecture notes and copies of overhead transparencies to the exam


      Intelligent Systems is an AI course where we systematically study representation and reasoning methods with logic and probability theory as the canonical forms. In the end we show that 'never the twain shall meet' is no longer true in recent AI.

      Content of Lectures in 2008:

      • Introduction to AI (15th Sept, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Intelligent Systems and Logic (22th Sept, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Strategic Reasoning (29th Sept, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Logic Programming and Prolog (6th-27th Oct, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • History and principles of Prolog and logic programming (complements slides of 6-27th Oct, 2008) [Introductory paper: PDF, or Gzipped Postscript]

      • Model-based reasoning (3rd Nov, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Production Rules and Inference: top-down inferentie (10th Nov, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Production Rules and Inference: bottom-up inferentie (16th Nov, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Semantic nets and frames (24th Nov, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Uncertainty reasoning I (1st Dec, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Uncertainty reasoning II (8th Dec, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      • Uncertainty reasoning III (15th Dec, 2008) [Slides 4/page: PDF, or Gzipped Postscript]

      Lectures Notes:

      • Draft version of the book used in the course

      Content of Practicals:

      • Practical manual [Postscript ; PDF; Postscript 2/1; PDF 2/1; Postscript 4/1; PDF 4/1]

      • Introduction to Unix

      • Otter theorem prover

      • Otter input files

      • SWI Prolog

      • Prolog input files

      • CLIPS system

      • CLIPS input files

      Tutorials:

      • Introductory exercises [Exercises Postscript; PDF]

      • Tutorial on 24th September, 2008 [Exercises Postscript; PDF]

      • Practical (O.1) and tutorial on 5th November, 2008 [Exercises Postscript; PDF]

      • Tutorial on 12th November, 2008: Continue with Chapter 6 (see above) and also new Chapter 3 [Exercises PDF]

      • Tutorial on 19th and 26th November, 2008: Continue with Chapter 3 [Exercises PDF]

      • Tutorial on 3rd December, 2008 [Exercises PDF]

      • Tutorial on 10th and 17th December, 2008 [Exercises Postscript; PDF]



      Peter Lucas | Staff & Students | Computing Science
      Radboud University Nijmegen

      Last updated: 24th November, 2008
      peterl AT cs.ru.nl

      Radboud University Nijmegen