Frage

Gibt es Tools oder Bibliotheken, mit denen ein englischer Satz in die Logik erster Ordnung übersetzt werden kann?

Z.B:"Alles, was alle Menschen liebt, ist ein Hund." wird:

 ∀_(x,y)  humman(y)  ∩  love(x,y) → isdog(x)

Ich glaube, man nennt es einen semantischen Interpreter, aber ich scheine außer Forschungsarbeiten nichts zu finden.

Ich habe gerade angefangen, sowohl Java als auch die Verarbeitung natürlicher Sprache zu lernen, und ich entschuldige mich im Voraus, falls meine Frage schon einmal beantwortet wurde (oder wenn sie einfach nur dumm ist).

Vielen Dank für Ihre Hilfe.

War es hilfreich?

Lösung

Schauen Sie hier vorbei: https://bitbucket.org/yoavartzi/spf

Dies ist ein sehr umfassendes Paket zum Parsen von Text in logische Form, das hauptsächlich auf der CCG-Grammatik basiert.

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top