Einführung in die Künstliche Intelligenz

Inhalt

Die Vorlesung gibt eine Einführung in das Gebiet und stellt die wichtigsten Methoden vor. Im einzelnen werden folgende Themenbereiche behandelt.

• Repräsentation von Wissen
• Schlußfolgern und Problemlösen
• Planen und Lernen
• Grundlagen des Sprachverstehens und der Robotik

 

Veranstalter

Prof. Dr. Susanne Biundo-Stephan   Raum O27/448    Tel.: 50 24122    email: biundo@ki.informatik.uni-ulm.de

mit  Martin Strecker   Raum O27/422    Tel.: 50 24117    email: strecker@ki.informatik.uni-ulm.de

 

Termin

• Vorlesung:
Di. 10:00 - 11:30 in O 27 / H 20 und
Do. 16:00 - 17:30 in O 27 / H 20
• Übungen:
Di. 16:00 - 17:30 in O 27 / 123

 

Voraussetzungen

 

Literatur

 

Vorlesungsunterlagen

1. Einleitung
2. Intelligente Agenten
3. Problemlösen durch Suche
4. Heuristische Suche
5. Spiele
6. Aussagenlogik
7. Prädikatenlogik
8. Domänenmodellierung
9. Wissensrepräsentation
10. Wissensbasierte Systeme
11. Planen
12. Maschinelles Lernen

• Blatt 1
• Blatt 2
• Blatt 3
  Bemerkung zum Umgang mit dem System Oz:
  Folgendes Shell-Skript unter dem Namen oz in das eigene bin-Verzeichnis (oder ähnliches) legen. Aufruf des Systems mit oz.
  

  Das bereits in der Übung vorgestellte Puzzle befindet sich in der Datei /home/assis/strecker/Oz/demo/examples/fd/money.oz .

  Weitere Informationen befinden sich in einem allgemeinen Tutorial und einem Tutorial speziell zum Constraint-Lösen in endlichen Domänen.

• Blatt 4
• Blatt 5
• Blatt 6
  Bemerkung zum Umgang mit dem System Otter:
  Im Sun-Pool: Folgendes Shell-Skript unter dem Namen otter in das eigene bin-Verzeichnis (oder ähnliches) legen. Aufruf des Systems mit otter.
  Eine erste Einführung in Otter gibt die Kurzanleitung (von Stefan Kühnemann), mehr Details sind im Otter-Manual zu finden.

  Für Leute, die das System lieber zuhause ausprobieren: Wir haben die Otter-Version 3.0.5 auch lokal vorliegen.

• Blatt 7
  
  • Die Datei resolve.lisp mit den Vorgaben (Neue Version! Tue Nov 24 18:27:05 MET 1998).
  • Die Toolbox Anleitung.
  • Um die Allegro-Emacs-Lisp Oberfläche zu erhalten, folgende Dateien ins Home-Verzeichnis kopieren:
    • .emacs
    • .clinit.cl
• Blatt 8
  Zur Bearbeitung beachte man die Einführung in das Typelab-System
• Blatt 9
  Zur Bearbeitung von Aufgabe 21 beachte man die Beschreibung verschiedener Resolutionsstrategien.
• Blatt 10
• Blatt 11, mit einigen Bemerkungen zu Loom.
• Blatt 12
• Blatt 13 mit Otter-Eingabedatei
• Blatt 14

• Musterlösung zu Blatt 1
• Musterlösung zu Blatt 2 mit Lisp-Code für Aufgabe 2 und Aufgabe 3
• Musterlösung zu Blatt 3
• Musterlösung zu Blatt 4
• Musterlösung zu Blatt 5
• Musterlösung zu Blatt 6 mit Otter-Eingabedatei zu Aufgabe 13.1 und Aufgabe 13.2
• Musterlösung zu Blatt 7 mit Lisp-Datei zu Aufgabe 14
• Musterlösung zu Blatt 8
• Musterlösung zu Blatt 9:
  • Binäre Resolution: prove-21a1.lisp
  • Unäre Resolution: prove-21a2.lisp
  • Optimierte Binäre Resolution: prove-21b.lisp
• Musterlösung zu Blatt 10
• Musterlösung zu Blatt 11 mit Loom-Quelldateien
• Musterlösung zu Blatt 12 mit UPS-Quelldateien
• Musterlösung zu Blatt 13 mit Lisp-Implementierung von UPS
• Musterlösung zu Blatt 14 mit Lisp-Implementierung

 

Technisches

Typ:	Vorlesung im Hauptstudium (4V / 2Ü)
Kernfach:	Praktische Informatik; nach Absprache Theoretische Informatik
Vertiefungsgebiet:	Künstliche Intelligenz

 

Geplante Folgeveranstaltungen