Logical Inference (English) 1.0

ويستنتج (الاستدلال المنطقي (ق) في اللغة الإنجليزية) هو برنامج قادر على صنع استدلالات منطقية تستند إلى جمل بسيطة. على سبيل المثال إذا كان لنا أن اكتب في "جون النار على الحجل"، سيقوم البرنامج بطباعة "جون هو الصياد". إذا كان لنا أن اكتب في "جون تزوج آن"، سيقوم البرنامج بطباعة "جون هو زوج آن"، "آن هي زوجة جون". يعمل فقط...