Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz

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

30:54 Std12.150 Aufrufe12.07.2009
Kamera Stefan Zimmer

Hinweise zum Player

Hinweise zum Videoserver und zum Player finden Sie in den FAQ zum Videoserver



Vorlesungen


Artificial Intelligence

01:31 Std08.04.20083.066 Aufrufe

Vorlesung starten

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

From Plato to Zuse

01:30 Std14.04.20081.065 Aufrufe

Vorlesung starten

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

Intelligent Agents

42:30 Min15.04.2008883 Aufrufe

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

40:32 Min15.04.2008562 Aufrufe

Vorlesung starten

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

Uninformed search

01:30 Std22.04.2008730 Aufrufe

Vorlesung starten

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

Searching

01:33 Std28.04.2008574 Aufrufe

Vorlesung starten

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

Online Search

01:31 Std06.05.2008471 Aufrufe

Vorlesung starten

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

Supervised Learning

01:32 Std19.05.2008527 Aufrufe

Vorlesung starten

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

PL1 Formalisations

01:29 Std20.05.2008435 Aufrufe

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

01:26 Std26.05.2008403 Aufrufe

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

01:26 Std27.05.2008416 Aufrufe

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

01:27 Std09.06.2008277 Aufrufe

Vorlesung starten

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

Learning in networks

01:30 Std10.06.2008468 Aufrufe

Vorlesung starten

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

Hoare Calculus

01:28 Std19.05.2009303 Aufrufe

Vorlesung starten

Inhalt:
Verification, Core Programming Language, Hoare Logic

Hoare Calculus

01:21 Std20.05.2009302 Aufrufe

Vorlesung starten

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

Planning

01:31 Std16.06.2008258 Aufrufe

Vorlesung starten

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

STRIPS

01:29 Std17.06.2008273 Aufrufe

Vorlesung starten

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

Semantics of first order logic

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

01:30 Std30.06.2008193 Aufrufe

Vorlesung starten

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

Resolution

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

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

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 2018