Vorlesung Suchverfahren

In der Vorlesung über Suchverfahren aus dem Bereich der künstlichen Intelligenz werden wir wichtige (heuristische) Suchmethoden vorstellen und ihre Güte (d.h. ihr Laufzeitverhalten) analysieren. Der Schwerpunkt soll auf aussagenlogikbasierte Suchverfahren gelegt werden. Ein wichtiges Teilgebiet ist hier die Spielbaumauswertung. Die Vorlesung wird durch einen 14-täglichen Übungsbetrieb ergänzt. Veranstaltungsbeginn: 13.04.2007

Literatur

• Intelligent Search Strategies for Computer Problem Solving, Pearl, J., Heuristics, Addison-Wesley 1984
• Artificial Intelligence - A Modern Approach, Russell, S., Norvig, P., Prentice Hall 1995, 2003