영어 문장을 1 차 논리로 바꾸기[닫힘]

문제

영어 문장을 1 차 논리로 번역 할 수있는 도구 또는 라이브러리가 존재합니까?

예::"모든 인간을 사랑하는 모든 것은 개다.'는:

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

나는 그것이 의미 론적 해석기라고 생각하지만,나는 연구 논문 이외의 것을 발견하지 못하는 것 같다.

난 그냥 자바와 자연 언어 처리를 모두 배우기 시작하고,내 질문에 전에 대답 한 경우(또는 일반 바보 경우)미리 사과드립니다.

당신의 도움을 주셔서 감사합니다.

해결책

이 패키지에는 디버깅 심볼이 들어 있습니다.

라이센스 : CC-BY-SA ~와 함께 속성

제휴하지 않습니다 StackOverflow