Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz

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

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

Hinweise zum Videoserver und zum Player

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



Vorlesungen


Artificial Intelligence

01:31 Std08.04.20083.091 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.073 Aufrufe

Vorlesung starten

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

Intelligent Agents

42:30 Min15.04.2008893 Aufrufe

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

40:32 Min15.04.2008568 Aufrufe

Vorlesung starten

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

Uninformed search

01:30 Std22.04.2008732 Aufrufe

Vorlesung starten

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

Searching

01:33 Std28.04.2008575 Aufrufe

Vorlesung starten

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

Online Search

01:31 Std06.05.2008473 Aufrufe

Vorlesung starten

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

Supervised Learning

01:32 Std19.05.2008530 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.2008436 Aufrufe

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

01:26 Std26.05.2008405 Aufrufe

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

01:26 Std27.05.2008419 Aufrufe

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

01:27 Std09.06.2008278 Aufrufe

Vorlesung starten

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

Learning in networks

01:30 Std10.06.2008475 Aufrufe

Vorlesung starten

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

Hoare Calculus

01:28 Std19.05.2009304 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.2008260 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.2008275 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.2008265 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.2008194 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.2008298 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.2008177 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 · Datenschutz© TU Clausthal 2018