Introduction to Artificial Intelligence: Vorlesung (Di, 22.11.2016)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:04:49
A declarative Language
00:21:05
Semantics
00:23:40
Interpretations (informal)
00:34:55
Satisfaction
00:55:24
logical Consequence
01:06:00
Why Implication?
01:12:58
An Example
01:18:15
A Formalization