Computational Logic and Knowledge Representation (WS
97/98)
(Blockvorlesung mit Uebungen)
Termine
Die Vorlesung findet als Blockveranstaltung vom 27. Oktober bis
zum 7. November taeglich (2 Stunden) statt. Zusaetzlich werden
Uebungen angeboten (taeglich eine Stunde).
Die genauen Termine werden beim ersten Treffen, am Montag, dem
27. Oktober um 10 Uhr im Hoersaal 1843 im Gebaeude DE festgelegt.
Themen
1. Doppelstunde: Einfuehrung in KI und A*-Algorithmus.
2. Doppelstunde: Wissenrepraesentation (WR) in Logik
3. Doppelstunde: Planen I
4. Doppelstunde: Planen II
5. Doppelstunde: Lernen I
6. Doppelstunde: Lernen II
7. Doppelstunde: WR mit Definiten Programmen
8. Doppelstunde: WR mit Normalen Programmen
9. Doppelstunde: WR mit Disjunktiven Programmen
10. Doppelstunde: Komplexitaet und Ausdrueckbarkeit
Skriptum
Die erste Woche haelt sich recht eng an die entsprechenden
Kapitel im Buch von Russel/Norvig: Artificial Intelligence.
Die zweite Woche haelt sich an einen Handbuch-Artikel von
Dix/Brewka.
Ein Skriptum wird bereitgestellt und kann zum Selbstkostenpreis
erworben werden: Skriptum