تحويل الجمل الإنجليزية إلى منطق من الدرجة الأولى [مغلق]

سؤال

هل توجد أدوات أو مكتبات قادرة على ترجمة الجملة الإنجليزية إلى منطق الدرجة الأولى؟

على سبيل المثال:"كل شيء يحب كل البشر هو كلب." يصبح:

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

أعتقد أنه يسمى المترجم الدلالي، لكن يبدو أنني لا أجد أي شيء يتجاوز الأوراق البحثية.

لقد بدأت للتو في تعلم كل من Java ومعالجة اللغات الطبيعية، وأعتذر مقدمًا إذا تمت الإجابة على سؤالي من قبل (أو إذا كان غبيًا).

شكرا لمساعدتك.

المحلول

هذه حزمة شاملة جدًا لتحليل النص إلى شكل منطقي، وتعتمد في الغالب على قواعد CCG.

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow