CORGI: Quadratische Garantien für effizientes Muster‑Matching
In Echtzeit‑Anwendungen wie KI‑Planung, reaktiver Steuerung und schnelle Datenbankabfragen müssen regelbasierte Systeme komplexe Muster‑Matching‑Probleme in kurzer Zeit lösen. Traditionelle Ansätze stoßen häufig an Grenzen, wenn Regeln viele unbeschränkte Variablen enthalten oder viele kombinatorische Zwischenergebnisse erzeugen. Das kann zu exponentiellem Zeit‑ und Speicherbedarf führen und die Ausführung von Programmen verlangsamen oder sogar zum Stillstand bringen.