meineki.news Logo
meineki.news
KI News. Verstehen, was wichtig wird.
Anmelden
Suche

Finde Modelle, Firmen und Themen

Suche im News-Archiv nach Themen, die du dauerhaft verfolgen willst.

Ergebnisse für “Entra”
Forschung

Model Change für Description Logic: Eviction, Reception & Revision <p>In einer neuen Veröffentlichung auf arXiv wird ein innovatives Konzept zur Anpassung von Description‑Logic‑Konzepte vorgestellt, das sich auf die Modellierung von „pointed interpretations“ stützt. Das Verfahren, das als Model‑Change bezeichnet wird, unterscheidet drei zentrale Operationen: Eviction, Reception und Revision.</p> <p>Eviction bedeutet dabei, Modelle vollständig zu entfernen; Reception fügt neue Modelle hinzu, während Revi
arXiv – cs.AI
Forschung

<p>LLMs meistern Mehrstufige Theoremvorhersage dank struktureller Priors</p> <p>In der automatisierten Beweistechnik stellt die Vorhersage von mehrstufigen Theoremen eine zentrale Herausforderung dar. Traditionelle neuronale‑symbolische Ansätze setzen stark auf überwachungsbasierte, parametrisierte Modelle, die jedoch bei sich wandelnden Theorem-Bibliotheken nur begrenzte Generalisierung zeigen. In einer neuen Studie wird ein komplett trainingsfreier Ansatz vorgestellt, der auf In‑Context‑Learning (ICL) bas
arXiv – cs.AI
Forschung

<p>Embodied AI löst Produktionsphasewechsel: Neue Topologie der Fertigung</p> <p>Seit der Erfindung der Fließbandproduktion durch Henry Ford im Jahr 1913 hat sich die grundlegende Struktur der Fertigung kaum verändert. Moderne Entwicklungen wie das Toyota Production System oder Industrie 4.0 haben lediglich die Effizienz innerhalb dieses Fordistischen Rahmens verbessert, ohne die zentrale Logik zu verändern: große, zentralisierte Fabriken in der Nähe von Arbeitskräften, die in großem Maßstab produzieren.</p
arXiv – cs.AI