KI News: Kurz und klar.

In der Welt der Logikrätsel, von klassischen Sudokus bis zu komplexen Logik-Grid-Spielen, gewinnen schrittweise Erklärungen zunehmend an Bedeutung. Dabei wird jeder Schritt als ein Satz von Einschränkungen dargestellt, der die Zuordnung einer oder mehrerer Entscheidungsvariablen herleitet. Diese Methode macht die Lösungswege transparent und nachvollziehbar.

Ein neues Verfahren aus dem arXiv-Preprint 2511.08715v1 zeigt, wie man unstrukturierte englische Texte in voll funktionsfähige ASP‑Programme (Answer Set Programming) überführt. Dabei kombiniert die Methode große Sprachmodelle (LLMs) mit der Analyse von Abstract Meaning Representation (AMR) Graphen, um Logikrätsel automatisch zu lösen.

Ein neues Forschungsprojekt namens HardcoreLogic stellt große Sprachmodelle (LRMs) vor eine anspruchsvolle Herausforderung: 5.000 Logikrätsel aus zehn verschiedenen Spielen, die systematisch komplexer, ungewöhnlicher und teilweise unlösbar gemacht wurden. Ziel ist es, die Fähigkeit der Modelle zu testen, Regeln flexibel anzuwenden, anstatt sich auf bekannte Muster zu verlassen.