Превратите английские предложения в логику первого порядка

Question

Существуют ли инструменты или библиотеки, способные перевести английское предложение в логику первого порядка?

Например: "Все, что любит всех людей, это собака". будет выглядеть так:

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

Я думаю, что это называется семантическим интерпретатором, но я не вижу ничего, кроме научных работ.

Я только начал изучать Java и обработку естественного языка, и заранее прошу прощения, если на мой вопрос уже был дан ответ (или если это глупо).

Спасибо за вашу помощь.

java nlp first-order-logic

Источник

user3885993 29 июл '14 в 00:02

1 ответ

Решение

Другие вопросы по тегам java nlp first-order-logic

user1164246 29 июл '14 в 02:42 2014-07-29 02:42 · Accepted Answer · 2014-07-29 02:42

Это очень полный пакет для анализа текста до логической формы, в основном основанный на грамматике CCG.

Источник

user1164246 29 июл '14 в 02:42