Sprache für Algorithmisches Wissen
Zunächst die Ressource Zeit
Syntax: Basissprache, erweitert um Operatoren Kn
Knp besagt: (1) p folgt aus der Gesamtheit dessen was Agent weiß; (2) Agent hat einen Algorithmus, um diese Beziehung herzustellen und kann diesen bei Anfrage p wählen; (3) Stop nach n Schritten
Es gibt Algorithmen mit unbekannter Komplexität und Aufzählungsalgorithmen. Deshalb: K?. Bedeutung: (3‘) Stop irgendwann