Künstliche Intelligenz
von Prof. Dr. rer. nat. Jürgen Dix im Sommersemester 2009
Vorlesungskennung: S 1223
Die Aufzeichnungen wurden aus dem Sommersemester 2008 übernommen. Nur das Kapitel 5 wurde neu aufgezeichnet.
Weitere Informationen zur Vorlesung:
Institut für Informatik oder im Vorlesungsverzeichnis
7.252 Aufrufe
Vorlesungen
Artificial Intelligence
Vorlesung Nr. 1
Aufgezeichnet am 8.4.2008 | 1.642 Aufrufe
01:31 Std
Inhalt:
Artificial Intelligence, Time and Space, History, Lecture Overview, What is AI?, From Plato to Zuse
From Plato to Zuse
Vorlesung Nr. 2
Aufgezeichnet am 14.4.2008 | 663 Aufrufe
01:30 Std
Inhalt:
From Plato to Zuse, History of AI, Intelligent Agents
Intelligent Agents
Vorlesung Nr. 3
Aufgezeichnet am 15.4.2008 | 534 Aufrufe
42:30 Min
Inhalt:
Intelligent Agents
Problem formulation
Vorlesung Nr. 4
Aufgezeichnet am 15.4.2008 | 372 Aufrufe
40:32 Min
Inhalt:
Problem formulation, 1-state-problem, Multiple-state-problem, State space, Real-world-problems
Uninformed search
Vorlesung Nr. 5
Aufgezeichnet am 22.4.2008 | 449 Aufrufe
01:30 Std
Inhalt:
Uninformed search, Best-First search, A* search
Searching
Vorlesung Nr. 6
Aufgezeichnet am 28.4.2008 | 363 Aufrufe
01:33 Std
Inhalt:
A* search, Heuristics, Limited memory, Iterative improvements
Online Search
Vorlesung Nr. 7
Aufgezeichnet am 6.5.2008 | 280 Aufrufe
01:31 Std
Inhalt:
Online Search, LRTA*, Supervised Learning, Basics, Inductive learning, Decision trees
Supervised Learning
Vorlesung Nr. 8
Aufgezeichnet am 19.5.2008 | 299 Aufrufe
01:32 Std
Inhalt:
Decision trees, How should decision trees be learned?, Empiric approach, Ensemble Learning, Effect of boosting
PL1 Formalisations
Vorlesung Nr. 9
Aufgezeichnet am 20.5.2008 | 229 Aufrufe
01:29 Std
Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning
Knowledge Engineering
Vorlesung Nr. 10
Aufgezeichnet am 26.5.2008 | 226 Aufrufe
01:26 Std
Inhalt:
Sentential Logic
Sudoku
Vorlesung Nr. 11
Aufgezeichnet am 27.5.2008 | 267 Aufrufe
01:26 Std
Inhalt:
Sudoku, Calculi for SL, Wumpus in SL
A Puzzle
Vorlesung Nr. 12
Aufgezeichnet am 9.6.2008 | 180 Aufrufe
01:27 Std
Inhalt:
Calculi for SL, Wumpus in SL, A Puzzle
Learning in networks
Vorlesung Nr. 13
Aufgezeichnet am 10.6.2008 | 236 Aufrufe
01:30 Std
Inhalt:
The human brain, Neutral networks, The perceptron, Multi-layer feed-forward
Hoare Calculus
Vorlesung Nr. 14
Aufgezeichnet am 19.5.2009 | 191 Aufrufe
01:28 Std
Inhalt:
Verification, Core Programming Language, Hoare Logic
Hoare Calculus
Vorlesung Nr. 15
Aufgezeichnet am 20.5.2009 | 192 Aufrufe
01:21 Std
Inhalt:
Proof Calculi: Partial Correctness, Proof Calculi: Total Correctness, Sound and Completeness
Planning
Vorlesung Nr. 16
Aufgezeichnet am 16.6.2008 | 172 Aufrufe
01:31 Std
Inhalt:
Planning vs. Problem-Solving, Planning in the situation calculus, Stanford research institute problem solver (STRIPS), Partial-Order Planning
STRIPS
Vorlesung Nr. 17
Aufgezeichnet am 17.6.2008 | 181 Aufrufe
01:29 Std
Inhalt:
STRIPS, Action Description Language, Partial-Order Planning, POP for ADL, Knowledge Engineering, First Order Logic
Semantics of first order logic
Vorlesung Nr. 18
Aufgezeichnet am 24.6.2008 | 176 Aufrufe
01:31 Std
Inhalt:
Semantics of first order logic, Predicate- or funktion- symbols?, SIT-Calculus, Axioms about percepts, The Blocksworld, Choosing the predicates
Knowlegde Engineering: Provers
Vorlesung Nr. 19
Aufgezeichnet am 30.6.2008 | 139 Aufrufe
01:30 Std
Inhalt:
Theorem Proving, Automated Theorem Proving, Popular ATP techniques, Prover9 Syntax, Software creation, Verification of critical section
Resolution
Vorlesung Nr. 20
Aufgezeichnet am 1.7.2008 | 185 Aufrufe
01:26 Std
Inhalt:
Higher order logic, Theorem Proving, Resolution Calculus for FOL, Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution
SLD Resolution
Vorlesung Nr. 21
Aufgezeichnet am 7.7.2008 | 143 Aufrufe
01:23 Std
Inhalt:
Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution, Correctness of SLD resolution, Planning, Conditional Planning, Extensions
SHOP
Vorlesung Nr. 22
Aufgezeichnet am 8.7.2008 | 133 Aufrufe
01:16 Std
Inhalt:
SHOP, Action-based planning, HTN-Planning, Search Tree, Nonmonotonic Reasoning, Nichtmonotone Phänomene, Two simple approaches, Closed World Assumption, Default Logic
Hinweise zum Player
Bitte aktivieren Sie zur Wiedergabe JavaScript und stellen Sie sicher, dass ein aktueller Flash-Player installiert ist.