استدلال آلي
من ويكيبيديا، الموسوعة encyclopedia
الاستدلال الآلي أو المؤتمت[1] أو المنطق الآلي[بحاجة لمصدر] هو مجال من مجالات علم الحاسوب والمنطق الرياضي لفهم الجوانب المختلفة للاستدلال. تساعد دراسة الاستدلال الآلي على إنتاج برامج تسمح لأجهزة الحاسوب بالتفكير تمامًا أو بشكل كامل تقريبًا. على الرغم من أن التفكير الآلي يعتبر مجالًا فرعيًا من الذكاء الاصطناعي، إلا أنه يرتبط أيضًا بعلوم الكمبيوتر النظرية، وحتى بالفلسفة.
هذه مقالة غير مراجعة. (يوليو 2018) |
ومن أكثر المواضيع تطوراً في الاستدلال الآلي هي إثبات النظرية الآلية (حقل فرعي من الاستدلال الآلي والمنطق الرياضي الذي يتعامل مع إثبات النظريات الرياضية من خلال برامج الكمبيوتر) وإثبات التحقق الآلي، وقد ساهم أيضًا في في مجال الاحتمالات وتفسيرالمنطق.
ومن المواضيع المهمة التي تتضمن التفسير المنطقي في التنبؤ بالنتائج المستقبلية هو نظام الجدل الآلي، إذ كان هناك الكثير من القيود في موضوع الأستدلال الآلي، حيث أن نظام OSCAR لجون بولوك [2] هو مثال على نظام الجدل الآلي الذي من كونه أكثر من مجرد إثبات نظرية آلية.
تقنيات برامج الاستدلال الآلي تشمل المنطق الكلاسيكي ومنها المنطق العائم، وأيضًا الاستدلال البايزي وهو فرع من فروع الإحصاء.