---
layout: course

title: Künstliche Intelligenz I
instructors:
    - mkohlhase

semesters:
    - WS16/17
    - WS17/18
    - WS18/19
    - WS19/20
---

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/). 

Diskussionen finden auf dem
[FSI Forum KI-I](https://fsi.cs.fau.de/forum/144-Kuenstliche-Intelligenz) statt. Dies ist
eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
schnell auf Fragen zu antworten. Also das Forum abonnieren!