يختلف المنطق في التفكير الآلي في علم النفس من حيث التراكيب والعمليات المعرفية والعمليات الاستدلالية القياسية، حيث أن برنامج التفكير الآلي يعتمد العديد من الأساليب المتنوعة في المنطق.
أنواع المنطق في التفكير الآلي في علم النفس
تتمثل أنواع المنطق في التفكير الآلي في علم النفس من خلال ما يلي:
1- منطق الرتبة الأعلى
يختلف منطق الرتبة الأعلى عن أي منطق في التفكير الآلي في علم النفس، من حيث أن القياس الكمي للوظائف والمسندات مسموح به، ومنها يمكن التعبير عن العبارة الدالة بأن أي شخصين مرتبطين ببعضهما البعض بطريقة أو بأخرى بشكل قانوني في منطق أعلى مرتبة ولكن ليس في منطق الدرجة الأولى.
المنطق الأعلى هو بطبيعته أكثر تعبيرًا من منطق الدرجة الأولى في التفكير الآلي في علم النفس وهو أقرب إلى التفكير القياسي الفعلي، على سبيل المثال لا يمكن التعبير عن مفهوم محدودية المجموعة كمفهوم من الدرجة الأولى؛ نظرًا لتعبيرها الأكثر ثراءً ولا ينبغي أن يكون مفاجئًا أن تنفيذ مبرهن آلي لمنطق الترتيب الأعلى يعد أكثر صعوبة من منطق الدرجة الأولى.
يرجع هذا إلى حد كبير إلى حقيقة أن التوحيد في منطق الترتيب الأعلى أكثر تعقيدًا مما هو عليه في حالة الدرجة الأولى، حيث لا تفرض المصطلحات غير القابلة للتوحيد دائمًا موحِّدًا عامًا، والتوحيد الأعلى في حد ذاته غير قابل للتقرير؛ نظرًا لأن منطق الترتيب الأعلى غير مكتمل فهناك دائمًا أدلة ستكون بعيدة المنال تمامًا لأي برنامج تفكير آلي.
يمكن تكييف الطرق المستخدمة لمعالجة المعلومات في منطق الدرجة الأولى مع منطق الترتيب الأعلى وهو نظام إثبات نظرية لمنطق عالي الترتيب يستخدم حساب التفاضل والتكامل الخاص به كلغة تمثيل منطقي ويستند إلى آلية خصم من نوع الاتصال تتضمن خوارزمية التوحيد الخاصة بالتفكير الآلي في علم النفس كعينة من القدرات المعرفية.
أثبت البرنامج تلقائيًا أن مجموعة فرعية من مجموعة محدودة، والتكافؤ بين العديد من الصيغ ونظرية المنطق أن المجموعة تحتوي على مجموعات فرعية أكثر من الأعضاء، حيث تم إثبات هذا من خلال البرنامج من خلال التأكيد على عدم وجود وظيفة من الأفراد إلى مجموعات الأفراد الفرديين، مع استمرار الإثبات بحِجَة منطق التفكير الآلي في علم النفس.
منطق الرتبة الأعلى هو نظام تطوير برهان عالي المستوى آخر يستخدم بشكل أساسي كمساعد في تطوير الأنظمة الحيوية لسلامة الأجهزة والبرامج في التفكير الآلي، الذي يعتمد على نهج المعالجة لإثبات النظرية التفاعلية وهو مبني على لغة البرمجة الوظيفية المكتوبة بقوة، ويمكن أن يعمل منطق الرتبة الأعلى في الوضع التلقائي والتفاعلي.
2- المنطق غير الكلاسيكي
إن المنطق غير الكلاسيكي مثل المنطق النموذجي والمنطق الحدسي والمنطق متعدد القيم والمنطق الذاتي والتفكير غير الرتيب، وأيضًا متشابه مع المنطق المنطقي والتفكير الافتراضي والمنطق غير المتسق من حيث أن هذا جميعًا يكتسب الاهتمام بشكل متزايد مجتمع في التفكير الآلي؛ حيث كان أحد الأسباب هو الرغبة الطبيعية في توسيع تقنيات الخصم الآلي لتشمل مجالات جديدة من المنطق.
يعتبر المنطق غير الكلاسيكي هو الحاجة إلى معالجة وتعديل المنطق كمحاولة لتوفير أساس مناسب للذكاء الاصطناعي في التفكير الآلي؛ والسبب في ذلك هو الرغبة في مهاجمة بعض المشاكل التي تكون اندماجية أكبر من أن يتم التعامل معها بالورق والقلم، ففي الواقع يقدم بعض العمل في المنطق الآلي غير الكلاسيكي مثالًا رئيسيًا على برامج التفكير الآلي في العمل.
كانت هناك مناهج أساسية لمعالجة وحل المشكلات في المنطق غير الكلاسيكي، حيث كان أحد الأساليب هو محاولة ميكنة الحسابات الاستنتاجية غير الكلاسيكية، وكان آخر هو ببساطة تقديم صياغة مكافئة للمشكلة في منطق الدرجة الأولى والسماح لمثقف النظرية الكلاسيكية بمعالجتها.
كان النهج المضاف للمنطق غير الكلاسيكي في التفكير الآلي هو صياغة دلالات المنطق غير الدلالي في إطار عمل من الدرجة الأولى حيث يتم تطبيق الدقة أو طرق مصفوفة التوصيل، وهو يصف نظامًا آليًا للاستدلال لمنطق متناقض يتخذ مقاربات غير مباشرة ومنهج قيمة الحقيقة؛ لإثبات نظرياته.
3- المنطق المشروط
يجد المنطق الشرطي في التفكير الآلي استخدامًا مكثفًا في علوم الحوسبة كمنطق المعرفة والاعتقاد ومنطق البرامج، وفي مواصفات الأنظمة الموزعة والمتزامنة، وبالتالي فإن البرنامج الذي يقوم بتقويم وتعديل التفكير المنطقي في منطق مشروط سيكون له تطبيقات مهمة، حيث تشترك هذه المنطق في بعض النتائج النظرية المهمة للمنطق الكلاسيكي مثل إزالة القطع.
وبالتالي يمكن توفير حسابات متسلسلة خالية من القطع المشروطة في التفكير الآلي، جنبًا إلى جنب مع تقنيات المعالجة وطرق الاتصال التي دورًا مهمًا في المساعدة على فهم مصدر التكرار في مساحة البحث التي تسببها هذه الحسابات المتسلسلة الشكلية وقدمت إطارًا موحدًا ليس فقط للمنطق النموذجي ولكن أيضًا للمنطق الحدسي والكلاسيكي أيضًا.
تدور الجهود الحالية لمعالجة التفكير المنطقي الشرطي حول النهج ذو الترجمة في تضمين المنطق الشرطي في المنطق الكلاسيكي ثم استخدام نظام التفكير الآلي الحالي للأخير لإثبات نظريات المنطق في التفكير الآلي.
ويوضح كيفية تضمين المنطق المعياري الكمي في نظرية النوع البسيط، ويثبت سلامة واكتمال التضمين، ويوضح بتجارب بسيطة كيف يمكن استخدام نظرية الترتيب الأعلى الحالية لمعالجة البراهين في المنطق النمطي.
4- المنطق الحدسي
هناك طرق مختلفة يمكن من خلالها معالجة المنطق في التفكير الآلي من خلال المنطق الحدسي، وهو التنفيذ المباشر للإصدارات الحدسية من حسابات المتسلسل والخصم الطبيعي، حيث يرث هذا النهج نتائج التطبيع الأقوى التي تتمتع بها هذه الحسابات مما يسمح بميكنة أكثر إحكاما من نظيراتها الكلاسيكية.
نهج آخر في ميكنة المنطق الحدسي هو استغلال أوجه التشابه الدلالي مع المنطق الشرطي في التفكير الآلي واستعادة على التنفيذ الآلي، حيث يحتوي المنطق الحدسي الأوتوماتيكي على تطبيقات في تطوير البرمجيات منذ كتابة برنامج يفي بمواصفات يتوافق مع مشكلة إثبات المواصفات ضمن منطق حدسي.
حيث سيكون للنظام الذي عالج عملية إنشاء الإثبات تطبيقات مهمة في تصميم الحسابات المنطقية ولكن أيضًا في القياسات البناءة، وهو نظام كمبيوتر يدعم نظرية قياسية معينة وهي نظرية النوع البناء، والتي تهدف إلى تقديم المساعدة في عملية تطوير البراهين؛ من أجل التبرير المعرفي.
في النهاية يمكن التلخيص أن:
1- المنطق في التفكير الآلي في علم النفس يختلف ويتنوع من حيث التراكيب والعمليات المعرفية والعمليات الاستدلالية القياسية وله العديد من الأنواع لمعالجة المنطق.
2- تتمثل أنواع المنطق في التفكير الآلي في علم النفس من منطق الرتبة الأعلى والمنطق غير الكلاسيكي والمنطق الشرطي والمنطق الحدسي.
