ولكنه يعد تحديا صعبا للغاية في الوقت الحالي وجميع العوامل ااتى حضعت له باءت بالفشل.
آلان روبنسون طريقة خوارزمية بسيطة وكاملة تماما للاستنتاج المنطقي الذي يمكن بسهولة أن يقوم به الحواسيب الرقمية.
ابتداء من أواخر الثمانينيات وأوائل التسعينيات، دافع يهودا بيرل وغيره عن استخدام أساليب مستمدة من نظرية الاحتمال والاقتصاد لوضع عدد من أدوات قوية لحل هذه المشاكل.
يمكن ضبطها وفقا لنماذج وجعلها جذابة جدا للاستخدام في الذكاء الاصطناعي.
الاستنتاج عبارة عن عمليةٍ استعرافيّةٍ هدفها هو البحث عن السبب أو التفسير المنطقي لحدوث الظواهر أو الوقائع وذلك لدعمها كالمعتقدات وفهمها، لاستنباط العبر والمفاهيم المختلفة منها وعادةً يتم التركيز على دراسة هذا الموضوع من زاوية كونها كافية أم ناقصة وهي هي مناسبة أم غير مناسبة حتّى نحصل على نتائج مرضية صحيحة أو خاطئة غير مقبولة، وتكثر طرق الاستنتاج المستعملة في هذه الأغراض تبعًا لنوع الاستنتاج المراد للتوصل إليه.
كثير من المشاكل التي يتوقع أن تحلها آلالات سوف تتطلب معرفة واسعة بالعالم.