Video-Server > Vorlesungen > Künstliche Intelligenz

Künstliche Intelligenz


Kamera Stefan Zimmer
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.407 Aufrufe

Vorlesungen


Artificial Intelligence

Vorlesung Nr.1
Aufgezeichnet am 08.04.2008 | 2.808 Aufrufe

01:31 h

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
Aufgezeichnet am 14.04.2008 | 983 Aufrufe

01:30 h

Vorlesung starten

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

Intelligent Agents

Vorlesung Nr.3
Aufgezeichnet am 15.04.2008 | 818 Aufrufe

42:30 min

Vorlesung starten

Inhalt:
Intelligent Agents

Problem formulation

Vorlesung Nr.4
Aufgezeichnet am 15.04.2008 | 531 Aufrufe

40:32 min

Vorlesung starten

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

Uninformed search

Vorlesung Nr.5
Aufgezeichnet am 22.04.2008 | 693 Aufrufe

01:30 h

Vorlesung starten

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

Searching

Vorlesung Nr.6
Aufgezeichnet am 28.04.2008 | 546 Aufrufe

01:33 h

Vorlesung starten

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

Online Search

Vorlesung Nr.7
Aufgezeichnet am 06.05.2008 | 443 Aufrufe

01:31 h

Vorlesung starten

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

Supervised Learning

Vorlesung Nr.8
Aufgezeichnet am 19.05.2008 | 486 Aufrufe

01:32 h

Vorlesung starten

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

PL1 Formalisations

Vorlesung Nr.9
Aufgezeichnet am 20.05.2008 | 387 Aufrufe

01:29 h

Vorlesung starten

Inhalt:
Ensemble Learning, PL1 Formalisations, PAC Learning

Knowledge Engineering

Vorlesung Nr.10
Aufgezeichnet am 26.05.2008 | 387 Aufrufe

01:26 h

Vorlesung starten

Inhalt:
Sentential Logic

Sudoku

Vorlesung Nr.11
Aufgezeichnet am 27.05.2008 | 403 Aufrufe

01:26 h

Vorlesung starten

Inhalt:
Sudoku, Calculi for SL, Wumpus in SL

A Puzzle

Vorlesung Nr.12
Aufgezeichnet am 09.06.2008 | 267 Aufrufe

01:27 h

Vorlesung starten

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

Learning in networks

Vorlesung Nr.13
Aufgezeichnet am 10.06.2008 | 421 Aufrufe

01:30 h

Vorlesung starten

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

Hoare Calculus

Vorlesung Nr.14
Aufgezeichnet am 19.05.2009 | 297 Aufrufe

01:28 h

Vorlesung starten

Inhalt:
Verification, Core Programming Language, Hoare Logic

Hoare Calculus

Vorlesung Nr.15
Aufgezeichnet am 20.05.2009 | 301 Aufrufe

01:21 h

Vorlesung starten

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

Planning

Vorlesung Nr.16
Aufgezeichnet am 16.06.2008 | 253 Aufrufe

01:31 h

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
Aufgezeichnet am 17.06.2008 | 261 Aufrufe

01:29 h

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
Aufgezeichnet am 24.06.2008 | 260 Aufrufe

01:31 h

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
Aufgezeichnet am 30.06.2008 | 189 Aufrufe

01:30 h

Vorlesung starten

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

Resolution

Vorlesung Nr.20
Aufgezeichnet am 01.07.2008 | 295 Aufrufe

01:26 h

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
Aufgezeichnet am 07.07.2008 | 206 Aufrufe

01:23 h

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
Aufgezeichnet am 08.07.2008 | 172 Aufrufe

01:16 h

Vorlesung starten

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

Hinweise zum Player

Bitte aktivieren Sie zur Wiedergabe JavaScript.


Impressum · Kontakt© TU Clausthal 2017