Introduction to Artificial Intelligence: Vorlesung (Do, 01.12.2016)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:29
Inference rule of Resolution
00:03:23
Quantifiers
00:19:41
Answer Extraction
00:24:17
Skolemization
00:35:58
A problem
00:42:35
Undecidability
00:45:08
To specific Unifiers
00:54:51
Computing the MGU
01:18:41
Herbrand Theorem