Introduction to Artificial Intelligence: Vorlesung (Do, 24.11.2016)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

00:00:01
recommended Materials
00:02:17
Satisfaction
00:03:24
logical Consequence
00:08:27
Knowledge-Based Systems
00:10:44
Resolution
00:16:06
Clausal Form
00:22:44
Transform to CNF
00:31:36
Inference rule of Resolution
00:37:09
Why is Resolution OK ?
00:44:46
Computing implications
00:49:40
Example 1
00:53:28
Quantifiers
00:59:19
Generalizing CNF !
01:13:06
Clauses with Variables