| Veranstalter |
 | Christopher Habel |
| Zeit/Ort |
| Mo 14.15-16.05, Do 12.30-14.00 B-201 |
| Inhalt |
| Grundlagen der Wissensrepräsentation
- Datenbanken
- Definites und indefinites Wissen
- Unsicheres Wissen
- Methoden zum Problemlösen
- Suche
- Beschränkungserfüllung
- Begründungsverwaltung
- Nichtmonotones Schließen
- Technologische Grundlagen wissensbasierter Systeme
- Resolution
- Unifikation
- Wissenserwerb
- Pflege von Wissensbasen
- Intelligente autonome Agenten
- Handlungsplanung
- Lernen und Adaption
- Situierte Roboter
|
|
| Termine |
| Die Folien sind NUR aus dem Netz des Fachbereichs Informatik zugreifbar. |
|
| 27.10.2005 | Vorlesung 1: Organisatorisches: Was ist 'Computational Intelligence?'
Folien
|
|
|
| 31.10.2005 | Vorlesung 2: Anwendungsdomänen für die Wissensverarbeitung: Beispiele
Folien
|
|
|
| 03.11.2005 | Vorlesung 3: Repräsentationen und Schluss-Systeme; Datalog: Syntax und Semantik
Folien
|
|
|
| 07.11.2005 | Vorlesung 4: Datalog: Variablen; Fragen & Antworten; Debugging - Diagnose
Folien
|
|
|
| 10.11.2005 | Vorlesung 5: Datalog: Beweisverfahren
Folien
|
|
|
| 14.11.2005 | Vorlesung 6: Suche: Problemlösen durch Suche, Suche in Graphen, Blinde
(uninformierte) Suchverfahren
Folien
|
|
|
| 17.11.2005 | Vorlesung 7: Suche: Heuristische Suche, Zyklen-Prüfung, Beschneiden des Suchraums
Folien
|
|
|
| 21.11.2005 | Vorlesung 8: Suche: Iterative Deepening, Constraint Satisfaction,
Constraint Netze, Hill Climbing
Folien
|
|
|
| 24.11.2005 | Vorlesung 9: Repräsentation von Wissen: Anforderungen an
Wissensrepräsentationen; Von Problemen zu Repräsentationen der Probleme
Folien
|
|
|
| 28.11.2005 | Vorlesung 10: Repräsentation von Wissen: Reifikation; Semantische Netze
& Frames; Geteiltes Wissen, Semantisches Web und Ontologien
Folien
|
|
|
| 01.12.2005 | Vorlesung 11: Wissensengineering: Wissensingenieure, Domänenexperten und
Nutzer; Fragen & Erklärungen, Debugging von wissensbasierten Systemen
Folien
|
|
|
| 12.12.2005 | Vorlesung 12: Wissensengineering: Metainterpreter
Folien
|
|
|
| 15.12.2005 | Vorlesung 13: Beyond definite knowledge: Unique name assumption, complete
knowledge assumption
Folien
|
|
|
| 19.12.2005 | Vorlesung 14: Beyond definite knowledge: Clark Vervollständigung, Negation
as failure, Integritätsbedingungen
Handeln und Planen: Einleitung
Folien
|
|
|
| 22.12.2005 | Vorlesung 15: Handeln und Planen: STRIPS-Repräsentationen, Situationskalkül
Folien
|
|
|
| 09.01.2006 | Vorlesung 16: Handeln und Planen: STRIPS-Planer, Regressions-Planer
Folien
|
|
|
| 12.01.2006 | Vorlesung 17: Annahmenbasiertes Schliessen: Basiskonzepte des
annahmenbasierten Schliessens, Default-SchliessenVorlesung
Folien
|
|
|
| 16.01.2006 | Vorlesung 18: Annahmenbasiertes Schliessen: Abduktion und abduktive Diagnose
Folien
|
|
|
| 19.01.2006 | Vorlesung 19: Annahmenbasiertes Schliessen: Evidential & causal
reasoning;
Verarbeitung unsicheren Wissens: Unsicherheit &
Wahrscheinlichkeit; Logik und Wahrscheinlichkeitstheorie
Folien
|
|
|
| 23.01.2006 | Vorlesung 20: Verarbeitung unsicheren Wissens:
Wahrscheinlichkeits-orientiere Wissensrepräsentation; Belief Nets / Bayesian Nets
Folien
|
|
|
| 26.01.2006 | Vorlesung 21: Verarbeitung unsicheren Wissens: Markov-Ketten,
Markov-Modelle; Entscheidung unter Unsicherheit
Folien
|
|
|
| 30.01.2006 | Vorlesung 22: Lernen: Einführung, Induktion & Generalisierung;
Lernen von Entscheidungsbäumen
Folien
|
|
|
| 02.02.2006 | Vorlesung 23: Lernen: Neuronale Netze
Folien
|
|
|
| 06.02.2006 | Vorlesung 24: Agenten und situierte Roboter
Folien
|
|
| Literatur |
| Poole, D., Mackworth, A. Goebel, R. (1998) Computational Intelligence - A Logical
Approach. Oxford University Press, New York, Oxford.
Folien der Autoren:
Poole,
Mackworth & Goebel html
|
