KI News: Kurz und klar.

Die Vereinigung von symbolischem Logiksystemen und neuronalen Netzwerken bleibt eines der zentralen Probleme der künstlichen Intelligenz. Symbolische Ansätze bieten Zuverlässigkeit und Interpretierbarkeit, stoßen jedoch bei großen Datenmengen an ihre Grenzen. Neuronale Netze dagegen lernen flexibel, verlieren aber an Transparenz. Die von Pedro Domingos entwickelte Tensor Logic schlägt einen mathematisch fundierten Weg vor, indem sie logische Regeln mit der Einstein‑Summation verknüpft und damit die beiden Paradigmen auf einer gemeinsamen Basis zusammenführt.

Google hat die Programmiersprache Mangle vorgestellt, die das klassische, logikbasierte Datalog erweitert und damit deduktive Datenbankprogrammierung auf den neuesten Stand bringt. Mangle ist als Open‑Source‑Bibliothek in Go implementiert und ermöglicht Entwicklern, komplexe Abfragen und Schlussfolgerungen über Daten zu führen, die sich auf mehrere, heterogene Quellen verteilen.

Das neue Forschungsdokument von arXiv präsentiert einen innovativen Ansatz zur effizienten Grundlegung von Regel-basierten Argumentationssystemen, die auf dem weit verbreiteten ASPIC+ Framework aufbauen. Während ASPIC+ üblicherweise mit ersten‑Ordnung-Regeln arbeitet, beschränken sich die meisten bestehenden Verfahren auf propositionsale Regeln, was die direkte Anwendung auf komplexere Szenarien verhindert.