Kognitive Systeme 1
Nicht erst seit der Dartmouth Conference 1956, und damit dem Beginn des Forschungsgebiets der Künstlichen Intelligenz, versuchen Menschen Maschinen zu bauen, welche menschenähnliche Eigenschaften und Verhalten aufweisen. Um solche Kognitiven Systeme zu entwerfen und zu implementieren, müssen geistige Prozesse und kognitive Fähigkeiten des Menschen verstanden und im Computer nachgeahmt werden. Die Vorlesung führt in Kognitive Systeme ein und behandelt Methoden aus der Künstlichen Intelligenz zur Realisierung kognitiver Fähigkeiten, wie beispielsweise Problemlösen, Planen, Handeln bei unsicherer Information und Lernen.
Dozent: Bjørn Zenker
Weitere Informationen, sowie Zeit und Ort der Vorlesung finden Sie im UNIVIS.
Themenüberblick:
- Was ist KI?
- Konstruktion und Aufbau Kognitiver Systeme
- Suche als Problemlösungsmethode
- Uninformierte Suche
- Informierte Suche
- Adversariale Suche
- Lokale Suche
- Probleme mit Rand- und Nebenbedingungen
- average-case Analyse von NP-vollständigen Problemen
- Logische Agenten
- Prolog
- Answer-Set-Programming
- Schließen über Ergebnisse von Aktionen (Situationskalkül)
- Regelbasierte Systeme
- Lernen von Strategien bei unsicherer Information (MDP)
Vorlesungsmaterialien:
Begleitliteratur:
- S. Russell, P. Norvig: Artificial Intelligence - A Modern Approach. Upper Saddle River: Prentice Hall, 3. Auflage, 2002
- R. Reiter: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001
| 
