استنتاج كتابي
من ويكيبيديا، الموسوعة encyclopedia
الاستنتاج الكتابي في معالجة اللغات الطبعية هو تمرين بسيط في المنطق لبحث إمكان استنتاج جملة واحدة من جملة أخرى. يحاول برنامج يتولى الاستنتاج الكتابي تصنيف زوجين من الجمل المطلوبة ضمن إحدى الفئات الثلاث. تحدث الفئة الأولى، المسماة النتيجة الموجبة، عندما يمكنك استخدام الجملة الأولى لإثبات صحة الجملة الثانية. الفئة الثانية، النتيجة السالبة، هي معكوس الموجبة وتحدث عندما يمكن استخدام الجملة الأولى لنفي الجملة الثانية. وإذا لم يكن بين الجملتين أي علاقة فالنتيجة تسمى مجهولة[1] ومعدومة.[2]