Grundlagen der Künstlichen Intelligenz (IN2062)
Dauer | 4 SWS |
Art | Vorlesung mit Übung |
Semester | SS2013 |
Vortragende | Prof. Michael Beetz, PhD |
Übungsleitung | Daniel Nyga |
Sprache | Englisch |
Termine | Dienstag: 14:00 - 16:00, Vorlesung, Ort: GW2 B1410 |
Übung | Mittwoch: 14:00 - 16:00, Übung, Ort: GW2 B1410 Donnerstag: 14:00 - 16:00, Ort: IW3 0390 |
Bemerkungen | Vorlesungsbeginn: 09.04.2013 Übungsbeginn: 17.04.2013 |
Oranizational Issues and Materials can be found at our Stud.IP page
Inhalt/Content
Die Vorlesung soll einen Überblick über wichtige Arbeitsgebiete und Methoden der Künstlichen Intelligenz geben. Die Vorlesung führt Grundideen und Methoden der Künstlichen Intelligenz anhand des Lehrbuches von Russell und Norvig (s.u.) ein. Es werden folgende Themen behandelt:
- Entwurfsprinzipien für und Spezifikation von intelligenten/rationalen Agenten
- Problemlösen durch Suche: uninformierte Suchverfahren, heuristische (informierte) Suchverfahren, optimierende Suche
- Problemlösen mit wissensbasierten Methoden: Logik und Inferenz, Schlussfolgern über Raum und Zeit, Repräsentation von Ontologien, Repräsentation und Schlussfolgern über Alltagswissen
- Problemlösen mit unsicherem Wissen: Grundlagen der Wahrscheinlichkeits- und Entscheidungstheorie, Bayes Netze, Planen mit Markov-Entscheidungsprozessen
- Handlungsplanung: Generierung partiell geordneter Aktionspläne, Planung und Ausführung
- Maschinelles Lernen: Lernen von Entscheidungsbäumen, Lernen von Prädikaten mittels Beispielen, PAC-Lernen, Selbstverstärkendes (Reinforcement-) Lernen.
English:
This course gives an overview of application areas and techniques in Artificial Intelligence. The course introduces the principles and techniques of Artificial Intelligence based on the textbook of Russell and Norvig (see below). The following topics are covered:
- design principles and specification mechanisms for intelligent/rational agents
- problem solving using search: heuristic search algorithms, optimizing search
- problem solving using knowledge-based techniques: logic and inference techniques, reasoning about space and time, representation of ontologies, representation and reasoning in the common sense world
- problem solving using uncertain knowledge and information: basic concepts of probability and decision theory, Bayesian Networks, planning with Markov decision problems
- action planning: automatic generation of partially ordered action plans, planning and execution
- machine learning: learning decision trees, inductive learning, probably approximately correct learning, reinforcement learning
Prof. Dr. hc. Michael Beetz PhD
Head of Institute
Contact via
Andrea Cowley
assistant to Prof. Beetz
ai-office@cs.uni-bremen.de
Discover our VRB for innovative and interactive research
Memberships and associations: