Ausblick 2
Technische Untersuchung: kein Schwerpunkt. Zuerst: Begriffe einführen, Intuitionen erläutern, Anwendungsbeispiele (warum nicht vorhandene?)
Vollständigkeit nur mit formaler Semantik
Komplexität: abhängig von Algorithmen zur Berechnung des Wissens. Verhältnis offen.