VIDEO-SERVER

Künstliche Intelligenz

von Prof. Dr. rer. nat. Jürgen Dix

\

Beschreibung

Die Aufzeichnungen wurden aus dem Sommersemester 2008 übernommen. Nur das Kapitel 5 wurde neu aufgezeichnet.

4.2009

Vorlesungsaufzeichnungen

08.04.200801:31:113.260
Artificial Intelligence
Artificial Intelligence, Time and Space, History, Lecture Overview, What is AI?, From Plato to Zuse
14.04.200801:30:571.131
From Plato to Zuse
From Plato to Zuse, History of AI, Intelligent Agents
15.04.200842:31926
Intelligent Agents
Intelligent Agents
15.04.200840:33587
Problem formulation
Problem formulation, 1-state-problem, Multiple-state-problem, State space, Real-world-problems
22.04.200801:30:17759
Uninformed search
Uninformed search, Best-First search, A* search
28.04.200801:33:49597
Searching
A* search, Heuristics, Limited memory, Iterative improvements
06.05.200801:31:51499
Online Search
Online Search, LRTA*, Supervised Learning, Basics, Inductive learning, Decision trees
19.05.200801:32:24550
Supervised Learning
Decision trees, How should decision trees be learned?, Empiric approach, Ensemble Learning, Effect of boosting
20.05.200801:29:40464
PL1 Formalisations
Ensemble Learning, PL1 Formalisations, PAC Learning
26.05.200801:26:59421
Knowledge Engineering
Sentential Logic
27.05.200801:26:5112
Sudoku
Sudoku, Calculi for SL, Wumpus in SL
09.06.200801:27:4412
A Puzzle
Calculi for SL, Wumpus in SL, A Puzzle
10.06.200801:30:57496
Learning in networks
The human brain, Neutral networks, The perceptron, Multi-layer feed-forward
19.05.200901:28:36309
Hoare Calculus
Verification, Core Programming Language, Hoare Logic
20.05.200901:21:27305
Hoare Calculus
Proof Calculi: Partial Correctness, Proof Calculi: Total Correctness, Sound and Completeness
16.06.200801:31:59280
Planning
Planning vs. Problem-Solving, Planning in the situation calculus, Stanford research institute problem solver (STRIPS), Partial-Order Planning
17.06.200801:29:19292
STRIPS
STRIPS, Action Description Language, Partial-Order Planning, POP for ADL, Knowledge Engineering, First Order Logic
24.06.200801:31:06277
Semantics of first order logic
Semantics of first order logic, Predicate- or funktion- symbols?, SIT-Calculus, Axioms about percepts, The Blocksworld, Choosing the predicates
30.06.200801:30:34204
Knowlegde Engineering: Provers
Theorem Proving, Automated Theorem Proving, Popular ATP techniques, Prover9 Syntax, Software creation, Verification of critical section
01.07.200801:26:36300
Resolution
Higher order logic, Theorem Proving, Resolution Calculus for FOL, Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution
07.07.200801:23:19211
SLD Resolution
Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution, Correctness of SLD resolution, Planning, Conditional Planning, Extensions
08.07.200801:16:22180
SHOP
SHOP, Action-based planning, HTN-Planning, Search Tree, Nonmonotonic Reasoning, Nichtmonotone Phänomene, Two simple approaches, Closed World Assumption, Default Logic