Transformez les phrases anglaises en logique du premier ordre [fermé]

Question

Fermé. Cette question est hors sujet.Il n’accepte actuellement pas de réponses.

---

Vous souhaitez améliorer cette question ? Mettre à jour la question alors c'est sur le sujet pour le débordement de pile.

Fermé il y a 5 ans.

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.

Answer 1

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.