Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz


Kamera Stefan Zimmer

Hinweise zum Player

Um die Aufzeichnungen auf dieser Webseite wiedergeben zu können, muss Javascript aktiviert sein. Zudem wird für alle Browser die aktuelle Version des Adobe Flash Players benötigt.

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

11.518 Aufrufe

Vorlesungen


Artificial Intelligence

Vorlesung Nr. 1

01:31 Std08.04.20082.851 Aufrufe

Vorlesung starten

Inhalt:
Artificial Intelligence, Time and Space, History, Lecture Overview, What is AI?, From Plato to Zuse

From Plato to Zuse

Vorlesung Nr. 2

01:30 Std14.04.2008998 Aufrufe

Vorlesung starten

Inhalt:
From Plato to Zuse, History of AI, Intelligent Agents

Intelligent Agents

Vorlesung Nr. 3

42:30 Min15.04.2008829 Aufrufe

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

Vorlesung Nr. 4

40:32 Min15.04.2008535 Aufrufe

Vorlesung starten

Inhalt:
Problem formulation, 1-state-problem, Multiple-state-problem, State space, Real-world-problems

Uninformed search

Vorlesung Nr. 5

01:30 Std22.04.2008697 Aufrufe

Vorlesung starten

Inhalt:
Uninformed search, Best-First search, A* search

Searching

Vorlesung Nr. 6

01:33 Std28.04.2008549 Aufrufe

Vorlesung starten

Inhalt:
A* search, Heuristics, Limited memory, Iterative improvements

Online Search

Vorlesung Nr. 7

01:31 Std06.05.2008446 Aufrufe

Vorlesung starten

Inhalt:
Online Search, LRTA*, Supervised Learning, Basics, Inductive learning, Decision trees

Supervised Learning

Vorlesung Nr. 8

01:32 Std19.05.2008488 Aufrufe

Vorlesung starten

Inhalt:
Decision trees, How should decision trees be learned?, Empiric approach, Ensemble Learning, Effect of boosting

PL1 Formalisations

Vorlesung Nr. 9

01:29 Std20.05.2008387 Aufrufe

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

Vorlesung Nr. 10

01:26 Std26.05.2008387 Aufrufe

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

Vorlesung Nr. 11

01:26 Std27.05.2008404 Aufrufe

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

Vorlesung Nr. 12

01:27 Std09.06.2008267 Aufrufe

Vorlesung starten

Inhalt:
Calculi for SL, Wumpus in SL, A Puzzle

Learning in networks

Vorlesung Nr. 13

01:30 Std10.06.2008440 Aufrufe

Vorlesung starten

Inhalt:
The human brain, Neutral networks, The perceptron, Multi-layer feed-forward

Hoare Calculus

Vorlesung Nr. 14

01:28 Std19.05.2009298 Aufrufe

Vorlesung starten

Inhalt:
Verification, Core Programming Language, Hoare Logic

Hoare Calculus

Vorlesung Nr. 15

01:21 Std20.05.2009301 Aufrufe

Vorlesung starten

Inhalt:
Proof Calculi: Partial Correctness, Proof Calculi: Total Correctness, Sound and Completeness

Planning

Vorlesung Nr. 16

01:31 Std16.06.2008253 Aufrufe

Vorlesung starten

Inhalt:
Planning vs. Problem-Solving, Planning in the situation calculus, Stanford research institute problem solver (STRIPS), Partial-Order Planning

STRIPS

Vorlesung Nr. 17

01:29 Std17.06.2008264 Aufrufe

Vorlesung starten

Inhalt:
STRIPS, Action Description Language, Partial-Order Planning, POP for ADL, Knowledge Engineering, First Order Logic

Semantics of first order logic

Vorlesung Nr. 18

01:31 Std24.06.2008261 Aufrufe

Vorlesung starten

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

01:30 Std30.06.2008189 Aufrufe

Vorlesung starten

Inhalt:
Theorem Proving, Automated Theorem Proving, Popular ATP techniques, Prover9 Syntax, Software creation, Verification of critical section

Resolution

Vorlesung Nr. 20

01:26 Std01.07.2008295 Aufrufe

Vorlesung starten

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

01:23 Std07.07.2008206 Aufrufe

Vorlesung starten

Inhalt:
Herbrand, Reduction to Herbrand models, Variants of Resolution, SLD Resolution, Correctness of SLD resolution, Planning, Conditional Planning, Extensions

SHOP

Vorlesung Nr. 22

01:16 Std08.07.2008173 Aufrufe

Vorlesung starten

Inhalt:
SHOP, Action-based planning, HTN-Planning, Search Tree, Nonmonotonic Reasoning, Nichtmonotone Phänomene, Two simple approaches, Closed World Assumption, Default Logic


Impressum · Kontakt© TU Clausthal 2017