Transformez les phrases anglaises en logique du premier ordre [fermé]
-
20-12-2019 - |
Question
Existe-t-il des outils ou des bibliothèques capables de traduire une phrase anglaise en logique du premier ordre ?
Par exemple:"Tout ce qui aime tous les humains est un chien." devient:
∀_(x,y) humman(y) ∩ love(x,y) → isdog(x)
Je pense que cela s'appelle un interprète sémantique, mais je ne semble pas trouver quoi que ce soit au-delà des articles de recherche.
Je viens de commencer à apprendre Java et le traitement du langage naturel, et je m'excuse d'avance si ma question a déjà reçu une réponse (ou si elle est tout simplement stupide).
Merci pour votre aide.
La solution
Jetez un oeil ici: https://bitbucket.org/yoavartzi/spf
Il s'agit d'un package très complet pour analyser du texte, sous une forme logique, principalement basé sur la grammaire CCG.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow