|
|
SoSe 2002 - "Foundations of AI" - Exercises, Course Material, ...
Prof. Dr. Luc De Raedt
Co-organizer: Dipl.-Inf. Kristian Kersting
Wednesday 9-11 o'clock, Friday 9-10 o'clock, Room:
HS 00-036, Bulding 101
Exercises:
Wednesday 11-12 o'clock, Room: 00 006, Bulding 051 (in German) and
Friday 09-10 o'clock, Room: HS 00-036, Bulding 101 (in English)
The slides are avaible in either PowerPoint format, Postscript handouts
or PDF handouts. Be aware that some of the Postscript and PDF files are quite large.
Please note that there may be problems viewing
the ps-files but printing them should work
| Slides / Folien
|
|
Lecture April 17, 2002 [.ps]
[.pdf] [.ppt] Chapter 1: Introduction
|
|
Lecture April 19, 2002 [.ps]
[.pdf] [.ppt] Chapter 2: Rational Agents
|
|
Lecture April 24, 2001 [.ps]
[.pdf] [.ppt] Chapter 3: Problem Solving and Search
|
|
Lecture April 26, 2002 [.ps]
[.pdf] [.ppt] Chapter 4: Informed Search
|
|
Lecture May 03, 2002 [.ps]
[.pdf] [.ppt] Chapter 4: Informed Search updated
|
|
Lecture May 08, 2002 [.ps] [ "4 slides per page" .ps]
[.pdf] [ "4 slides per page" .pdf] [.ppt] Chapter 5: Game Playing
|
Lecture May 16, 2002 [.ps]
[.pdf] Chapter 7: Satisfiability and Model Construction
Note that chapter 6 about propositional logic is skipped. We refer to the last year lecture.
|
|
Lecture May 29, 2002 [.ps]
[.pdf] [.ppt] Chapter 7 (cont.): Logical Agents
|
Lecture May 29 & 31 and June 5, 2002 [.ps.gz]
[.pdf.gz] [single slides .ps.gz] [.ppt] Chapter 7 (cont.): The Predicate Calculus updated
Note that the SWI-Prolog web page has been moved to http://www.swi-prolog.org. There are some bad slides due to Windows. Sorry !
|
Lecture June 12 & 14, 2002 [.ps]
[.pdf] [single slides .ps] [single slides .pdf] [.ppt] Chapter 8: Prolog updated
Peter Flach's book Simply Logical
|
|
Lecture June 26, 2002 [.ps]
[.pdf] Chapter 9: Planning updated
|
|
Lecture June 28, 2002 [.ps]
[.pdf] Chapter 9: Planning - continued updated
|
|
Lecture July 03, 2002 [.ps]
[.pdf] Chapter 10: Machine Learning
|
Lecture July 10, 2002 [.ps]
[.pdf] [.ppt] [single slides .ps] [single slides .pdf]
Chapter 11:
Bayesian Networks
|
Lecture July 12, 2002 [.ps]
[.pdf] [.ppt] [single slides .ps] [single slides .pdf]
Chapter 11:
Bayesian Networks continued
|
Lecture July 12&17, 2002 [.ps]
[.pdf] Chapter 12: Acting under Uncertainty & Reinforcement Learning (pdf file recommended)
|
The exercise sheets are avaible in Postscript or PDF format. They are produced using LaTex.
Therefore, there should be no problems printing them.
The latest exercise sheet will always be avaible on this web page.
| Exercise sheets / Übungsblätter |
Questions? In general, please send an email to
Kristian Kersting
or Johannes Fischer.
|
No 1 (April 19, 2002): Read the "Scientific American" article (NO bonus points)
|
|
No 2 (April 26, 2002): [.ps] [.pdf]
Comment: In exercise 2.1, you have to find exactly one sequence.
|
|
No 3 (May 03, 2002): [.ps] [.pdf]
|
|
No 4 (May 08, 2002): [.ps] [.pdf]
|
|
No 5 (May 14, 2002): [.ps] [.pdf]
|
|
No 6 (May 29, 2001): [.ps] [.pdf]
|
|
No 7 (June 5, 2002): [.ps] [.pdf]
|
|
No 8 (June 12, 2002): [.ps] [.pdf]
Exercise 8.4: "Freen"-->"French"
|
|
No 9 (June 26, 2002): [.ps] [.pdf]
|
|
No 10 (July 4, 2002):
[.ps] [.pdf] [monk.tgz]
|
|
No 11 (July 11, 2002): [.ps] [.pdf]
|
| Links
|
|
Mathew L. Ginsberg.: "Computers, Games and the Real World". Scientific American, 1998
|
B. Selman, H. Levesque, and D. Mitchell.: "A New Method for Solving Hard Satisfiability Problems". In Proc. AAAI, pages 440--446, 1992.
|
|
B. Selman and H. Kautz.: "Noise Strategies for Improving Local Search" In Proceedings of AAAI-94, 1994.
|
M. L. Ginsberg, D. E. Smith.: "Reasoning About Action II: The Qualification Problem". Computer Science Department, Stanford University, 1988.
|
|
T. Bylander: "The computational complexity of propositional STRIPS planning". In Journal of Artificial Intelligence, 69(1-2):165-204, 1994.
|
|
