Eine Kategorisierung von Komplexitätsklassen für die Informationssuche und -synthese unter Verwendung natürlicher Logik

Es wird ein Rahmenwerk auf Basis der natürlichen Deduktionslogik vorgestellt, um die Komplexität verschiedener Arten von Antworten auf Benutzeranfragen zu verstehen. Drei entscheidbare Fragmente werden identifiziert und analysiert: der Vorwärts-, der Abfrage- und der Planungsfragment.