Inhaltsverzeichnis
Resource-Bounded Reasoning about Knowledge
Überblick
Intelligente Agenten
Agententheorien
Probleme des Modalansatzes
Alternativen zu modalen Systemen
Was läuft schief?
Meine Ziele
Explizites Wissen
Dynamische epistemische Logik
Dynamisch-epistemische Axiome
Eigenschaften der D-E Systeme
Explizites Wissen nicht genug
Quantifizierung von Ressourcen
Algorithmisches Wissen: Motivation
Beispiel
Sprache für Algorithmisches Wissen
Axiome für Algorithmisches Wissen
Logik des Algorithmischen Wissens
Anwendungsbeispiel
Semantik
Ausblick
Weitere Beispiele
Ausblick 2
Ressource-Boundedness
Prädikatenlogik
|