---
layout: course

title: Künstliche Intelligenz I
instructors:
    - mkohlhase

semesters:
    - WS16/17
    - WS17/18
---

Diese Vorlesung ist der erste Teil einer zwei-semestrigen Einführung in die Künstlichen
Intelligenz (KI). Sie beschäftigt sich mit den Grundlagen der symbolischen KI,
insbesondere

* Agentenmodelle als  Grundlagen der KI
* Heuristische Suche als Methode zum Problemlösen
* Constraint-Propagierung
* Logische Sprachen zur Wissensrepräsentation,
* Inferenz
* Automatisches Planen

Die Vorlesung folgt dem Buch
[Artificial Intelligence: A Modern Approach](https://www.pearson.com/us/higher-education/program/Russell-Artificial-Intelligence-A-Modern-Approach-3rd-Edition/PGM156683.html)
von Stuart Russell und Peter Norvig. Wir verwenden die dritte Ausgabe.

Die Kursmaterialien (z.B. [Course Notes](http://kwarc.info/teaching/AI/notes.pdf) oder
[Aufgaben](http://kwarc.info/teaching/AI/assignments.pdf), aber auch alte Klausuren)
finden sich in [hier](http://kwarc.info/teaching/AI/).