NaturalLI: Natürliche Logikschlüsse für vernünftiges Denken

Vernünftiges Denken ist wichtig für KI-Anwendungen, sowohl im NLP als auch in vielen visionären und robotischen Aufgaben. Wir schlagen NaturalLI vor: ein System für natürliche Logikschlüsse zur Ableitung von alltäglichen Fakten – beispielsweise, dass Katzen Schwänze haben oder Tomaten rund sind – aus einer sehr großen Datenbank bekannter Fakten. Zusätzlich zur Bereitstellung streng gültiger Ableitungen ist das System auch in der Lage, Ableitungen zu produzieren, die nur wahrscheinlich gültig sind, begleitet von einem entsprechenden Vertrauen. Wir zeigen sowohl, dass unser System in der Lage ist, strenge natürliche Logikschlüsse im Fra-CaS-Testset zu erfassen, als auch, dass es in der Lage ist, alltägliche Fakten mit einer Rückruffrate von 49 % und einer Präzision von 91 % vorherzusagen.