Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz

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

30:54 Std11.603 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.890 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.005 Aufrufe

Vorlesung starten

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

Intelligent Agents

Vorlesung Nr. 3

42:30 Min15.04.2008834 Aufrufe

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

Vorlesung Nr. 4

40:32 Min15.04.2008537 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.2008699 Aufrufe

Vorlesung starten

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

Searching

Vorlesung Nr. 6

01:33 Std28.04.2008550 Aufrufe

Vorlesung starten

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

Online Search

Vorlesung Nr. 7

01:31 Std06.05.2008447 Aufrufe

Vorlesung starten

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

Supervised Learning

Vorlesung Nr. 8

01:32 Std19.05.2008491 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.2008390 Aufrufe

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

Vorlesung Nr. 10

01:26 Std26.05.2008388 Aufrufe

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

Vorlesung Nr. 11

01:26 Std27.05.2008405 Aufrufe

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

Vorlesung Nr. 12

01:27 Std09.06.2008268 Aufrufe

Vorlesung starten

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

Learning in networks

Vorlesung Nr. 13

01:30 Std10.06.2008446 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.2008255 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.2008265 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.2008262 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.2008190 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.2008208 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.2008174 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