Suche

Finde Modelle, Firmen und Themen

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

Ergebnisse für “logische Schlussfolgerungen”
Forschung

<h1>LLMs können OWL-Logik beweisen – neue Studie zeigt Stärken und Grenzen</h1> <p>Die Fähigkeit großer Sprachmodelle, logische Schlussfolgerungen zu ziehen, wurde in den letzten Jahren intensiv erforscht. Was jedoch noch wenig beleuchtet wurde, ist die Fähigkeit, Beweise zu generieren, die sowohl treu zur Logik als auch für Menschen verständlich sind. In einer aktuellen Arbeit wird genau dieses Thema im Kontext von OWL‑Ontologien untersucht, die häufig zur Darstellung und zum Schlussfolgern komplexer Wisse

arXiv – cs.AI