Artificial Intelligence (AI-1) WS 2020 2020/2021 /CourseID:1690

Detailed information

Most recent entry on 2020-11-28 

Organisational Unit

Friedrich-Alexander-Universität Erlangen-Nürnberg

Recording type

Vorlesungsreihe

Via

Free

Language

English

Video materials for the course Artificial Intelligence (AI-1) held at FAU in WS 2020, organized in a semantic way. The materials consist of video learning nuggets that cover a topic in a self-contained way (modulo all nuggets it depends on).

The new organization form is still experimental, so please bear with us and contact the instructor with feedback and suggestion (and praise if appliccable).

Course chapters

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Recap Clip 3.2: What is Artificial Intelligence?
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:02:23
2
Recap Clip 3.3: Artificial Intelligence is here today
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:02:48
3
Recap Clip 3.4: Ways to attack the AI Problem
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:01:45
4
Recap Clip 3.5: Strong vs. Narrow AI
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:00:55
5
Recap Clip 3.6: AI Topics Covered
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:06:09
6
Recap Clip 3.7: AI in the KWARC Group
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:03:37
7
Recap Clip 4.1: Introduction to Logic Programming and PROLOG (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:07:05
8
Recap Clip 5.1: Complexity Analysis in AI (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:04:44
9
Recap Clip 5.2: Complexity Analysis in AI (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:13:23
10
Recap Clip 6.1: Introduction: Rationality in Artificial Intelligence
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:15:53
11
Recap Clip 6.2: Agents and Environments as a Framework for AI
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:05:19
12
Recap Clip 6.3: Good Behavior ~> Rationality
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:08:26
13
Recap Clip 6.4: Classifying Environments
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:13
14
Recap Clip 6.5: Types of Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:15:26
15
Recap Clip 6.6: Representing the Environment in Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:17
16
Recap Clip 7.1: Problem Solving
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:03:24
17
Recap Clip 7.2: Problem Types
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:07:48
18
Recap Clip 7.3: Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:12:54
19
Recap Clip 7.4: Uninformed Search Strategies (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:02
20
Recap Clip 7.5: Uninformed Search Strategies (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:08:27
21
Recap Clip 7.6: Greedy Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:24
22
Recap Clip 7.7: Heuristics and their Properties
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:03:06
23
Recap Clip 7.8: A*-Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:06:06
24
Recap Clip 7.9: Finding Good Heuristics
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:22
25
Recap Clip 7.11: Local Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:08:06
26
Recap Clip 7.12: Local Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:37
27
Recap Clip 8.1: Introduction (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:06:32
28
Recap Clip 8.3: Minimax Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:13
29
Recap Clip 8.4: Evaluation Functions
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:32
30
Recap Clip 8.5: Alpha-Beta Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:48
31
Recap Clip 8.6: Monte-Carlo Tree Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:11:26
32
Recap Clip 9.1: Constraint Satisfaction Problems: Motivation
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:10:18
33
Recap Clip 9.2: The Waltz Algorithm
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:06:33
34
Recap Clip 9.3: CSP: Towards a Formal Definition (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:06:27
35
Recap Clip 9.4: CSP: Towards a Formal Definition (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:04:49
36
Recap Clip 9.5: CSP as Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:16:33
37
Recap Clip 10.1: Introduction
Dennis Müller
2020-10-31
Free
00:04:35
38
Recap Clip 10.2: Inference
Dennis Müller
2020-10-31
Free
00:09:36
39
Recap Clip 10.3: Forward Checking
Dennis Müller
2020-10-31
Free
00:04:23
40
Recap Clip 10.4: Arc Consistency (Part 1)
Dennis Müller
2020-10-31
Free
00:06:14
41
Recap Clip 10.5: Arc Consistency (Part 2)
Dennis Müller
2020-11-02
Free
00:06:46
42
Recap Clip 10.6: Decomposition: Constraint Graphs, and Two Simple Cases
Dennis Müller
2020-11-02
Free
00:02:41
43
Recap Clip 10.7: Cutset Conditioning
Dennis Müller
2020-11-02
Free
00:01:42
44
Recap Clip 10.8: Constraint Propagation with Local Search
Dennis Müller
2020-11-02
Free
00:02:52
45
Recap Clip 10.9: Conclusion & Summary
Dennis Müller
2020-11-02
Free
00:01:02
46
Recap Clip 11.2: Introduction
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:29:36
47
Recap Clip 11.3: Propositional Logic (Syntax,Semantics) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:52
48
Recap Clip 11.4: Propositional Logic (Syntax,Semantics) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:01
49
Recap Clip 11.5: Formal Systems (Syntax and Semantics in General) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:11
50
Recap Clip 11.6: Formal Systems (Syntax and Semantics in General) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:02:37
51
Recap Clip 11.8: Propositional Natural Deduction Calculus
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:03:42
52
Recap Clip 11.9: Machine-Oriented Calculi for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:03:49
53
Recap Clip 11.10: Calculi for Automated Theorem Proving: Analytical Tableaux (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:07:05
54
Recap Clip 11.11: Calculi for Automated Theorem Proving: Analytical Tableaux (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:05:56
55
Recap Clip 11.12: Resolution for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-16
Free
00:07:39
56
Recap Clip 11.13: Killing a Wumpus with Propositional Inference
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:01:01
57
Recap Clip 12.1: Introduction
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:04:12
58
Recap Clip 12.2: The Davis-Putnam (Logemann-Loveland) Procedure
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:05:07
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Prerequisites, Grades, Homework and Tutorials
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:28:27
2
Textbook, Forum, Videos, Special Admin and Software
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:21:37
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Flipped Classroom and Questions
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:26:52
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Plot of this Course
Prof. Dr. Michael Kohlhase
2020-10-22
Free
00:05:26
2
What is Artificial Intelligence?
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:26:01
3
Artificial Intelligence is here today
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:25:26
4
Ways to attack the AI Problem
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:14:10
5
Strong vs. Narrow AI
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:15:12
6
AI Topics Covered
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:14:51
7
AI in the KWARC Group
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:10:46
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction to Logic Programming and PROLOG (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:20:02
2
Introduction to Logic Programming and PROLOG (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:19:33
3
Programming as Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:27:53
4
Programming as Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:16:41
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Complexity Analysis in AI (Part 1)
Jonas Betzendahl
2020-10-26
Free
00:26:32
2
Complexity Analysis in AI (Part 2)
Jonas Betzendahl
2020-10-26
Free
00:11:55
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction: Rationality in Artificial Intelligence
Jonas Betzendahl
2020-10-26
Free
00:15:21
2
Agents and Environments as a Framework for AI
Jonas Betzendahl
2020-10-26
Free
00:13:05
3
Good Behavior ~> Rationality
Jonas Betzendahl
2020-10-26
Free
00:09:59
4
Classifying Environments
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:11:55
5
Types of Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:29:48
6
Representing the Environment in Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:29
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Problem Solving
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:19:12
2
Problem Types
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:17:59
3
Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:14:59
4
Uninformed Search Strategies (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:25:03
5
Uninformed Search Strategies (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:25:20
6
Greedy Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:26:20
7
Heuristics and their Properties
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:26
8
A*-Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:17:10
9
Finding Good Heuristics
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:06
10
Announcement: Kalah Championship
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:43
11
Local Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:20:11
12
Local Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:22:11
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:16:59
2
Introduction (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:17:59
3
Minimax Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:21:23
4
Evaluation Functions
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:22:19
5
Alpha-Beta Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:34:18
6
Monte-Carlo Tree Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:32:13
7
Monte-Carlo Tree Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:09:48
8
State of the Art
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:24
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Constraint Satisfaction Problems: Motivation
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:20:17
2
The Waltz Algorithm
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:17:09
3
CSP: Towards a Formal Definition (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:11:31
4
CSP: Towards a Formal Definition (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:25:05
5
CSP as Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:25:09
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:05:04
2
Inference
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:33:59
3
Forward Checking
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:48
4
Arc Consistency (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-31
Free
00:08:36
5
Arc Consistency (Part 2)
Dennis Müller
2020-10-31
Free
00:22:01
6
Decomposition: Constraint Graphs, and Two Simple Cases
Dennis Müller
2020-10-31
Free
00:16:42
7
Cutset Conditioning
Dennis Müller
2020-10-31
Free
00:08:13
8
Constraint Propagation with Local Search
Dennis Müller
2020-10-31
Free
00:05:39
9
Conclusion & Summary
Dennis Müller
2020-10-31
Free
00:01:35
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
General introduction to this chapter
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:08:52
2
Introduction
Dennis Müller
2020-11-02
Free
00:30:23
3
Propositional Logic (Syntax, Semantics) (Part 1)
Dennis Müller
2020-11-02
Free
00:09:23
4
Propositional Logic (Syntax, Semantics) (Part 2)
Dennis Müller
2020-11-02
Free
00:23:09
5
Formal Systems (Syntax and Semantics in General) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:23:35
6
Formal Systems (Syntax and Semantics in General) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:12:03
7
Remarks about Calculi
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:18:04
8
Propositional Natural Deduction Calculus
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:25:03
9
Machine-Oriented Calculi for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:09:37
10
Calculi for Automated Theorem Proving: Analytical Tableaux (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:27:42
11
Calculi for Automated Theorem Proving: Analytical Tableaux (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:23:53
12
Resolution for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:13:14
13
Killing a Wumpus with Propositional Inference
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:13:13
14
Conclusion
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:00:49
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:15:45
2
The Davis-Putnam (Logemann-Loveland) Procedure
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:30:14
3
DPLL (A Restricted Form of) Resolution
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:02:20
4
Clause Learning (Redundance1)
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:01:14
5
Phase Transitions: Where the Really Hard Problems Are
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:06:25
6
Conclusion
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:02:49
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Motivation: A more Expressive Language
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:27:00
2
First-Order Logic
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:03:50
3
First-Order Logic: Syntax and Semantics
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:17:09
4
First-Order Substitutions
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:27:55
5
First-Order Natural Deduction
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:14:40
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
First-Order Tableaux
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:05:28

More courses from Prof. Dr. Michael Kohlhase

Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2019-02-07
Free
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2018-02-08
Free