Convierta oraciones en inglés en lógica de primer orden [cerrado]

https://stackoverflow.com//questions/25006232

java
nlp
first-order-logic

20-12-2019
|

Pregunta

¿Existen herramientas o bibliotecas capaces de traducir una oración en inglés a la lógica de primer orden?

P.ej:"Todo lo que ama a todos los humanos es un perro". se convierte en:

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

Creo que se llama intérprete semántico, pero parece que no encuentro nada más allá de los artículos de investigación.

Acabo de comenzar a aprender tanto Java como Procesamiento de lenguaje natural, y me disculpo de antemano si mi pregunta ha sido respondida antes (o si es simplemente estúpida).

Gracias por tu ayuda.

Solución

Échale un vistazo aquí: https://bitbucket.org/yoavartzi/spf

Este es un paquete muy completo para analizar texto en forma lógica, basado principalmente en la gramática CCG.

Licenciado bajo: CC-BY-SA con atribución

No afiliado a StackOverflow