Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz

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

30:54 Std11.965 Aufrufe12.07.2009
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.



Vorlesungen


Artificial Intelligence

Vorlesung Nr. 1

01:31 Std08.04.20082.971 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.20081.044 Aufrufe

Vorlesung starten

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

Intelligent Agents

Vorlesung Nr. 3

42:30 Min15.04.2008862 Aufrufe

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

Vorlesung Nr. 4

40:32 Min15.04.2008553 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.2008724 Aufrufe

Vorlesung starten

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

Searching

Vorlesung Nr. 6

01:33 Std28.04.2008571 Aufrufe

Vorlesung starten

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

Online Search

Vorlesung Nr. 7

01:31 Std06.05.2008468 Aufrufe

Vorlesung starten

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

Supervised Learning

Vorlesung Nr. 8

01:32 Std19.05.2008526 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.2008434 Aufrufe

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

Vorlesung Nr. 10

01:26 Std26.05.2008400 Aufrufe

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

Vorlesung Nr. 11

01:26 Std27.05.2008411 Aufrufe

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

Vorlesung Nr. 12

01:27 Std09.06.2008274 Aufrufe

Vorlesung starten

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

Learning in networks

Vorlesung Nr. 13

01:30 Std10.06.2008464 Aufrufe

Vorlesung starten

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

Hoare Calculus

Vorlesung Nr. 14

01:28 Std19.05.2009300 Aufrufe

Vorlesung starten

Inhalt:
Verification, Core Programming Language, Hoare Logic

Hoare Calculus

Vorlesung Nr. 15

01:21 Std20.05.2009302 Aufrufe

Vorlesung starten

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

Planning

Vorlesung Nr. 16

01:31 Std16.06.2008257 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.2008269 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.2008263 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.2008191 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.2008297 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.2008209 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.2008175 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