ذكاء اصطناعي مثالي

بمجال الذكاء الاصطناعي، إن أصعب المشاكل معروفة ب AI-complete و AI-hard , متضمنا بأن صعوبة هذه المشاكل الحسابية، بافتراض بأن الذكاء حسابي، تعادل حل مشكلة الذكاء الاصطناعي المركزي أي جعل اجهزة الحواسيب ذكية مثل الإنسان أو قوة الذكاء الاصطناعي.^[1] لأن تكون تسمية المشكلة AI-complete يجب ان تعكس مشكلة لا يمكن حلها باستخدام خوارزمية محددة بسيطة. يفترض من مشاكل AI-complete ان تتضمن رؤية حاسوبية، فهم اللغات الطبيعية والتعامل مع حوادث غير من المتوقع حدوثها عند التعامل مع مشاكل الحياة الواقعية.^[2]

في الوقت الحالي، مشاكل ال AI-complete لا يمكن حلها باستخدام تكنولوجيا الحاسوب الحديثة فقط، بل سوف تتطلب مساعدة من الحساب البشري. قد تكون هذه الخاصية مفيدة، على سبيل المثال، لاختبار وجود البشر كما تهدف كابتشا (CAPTCHA) إلى القيام به، ولأمن الكمبيوتر للتحايل على هجمات القوة الغاشمة.^[3]^[4]

التاريخ

صاغ المصطلح فانيا مونتالفو (Fanya Montalvo) بالقياس مع نظرية التعقيد الحسابي NP-complete و NP-hard في التعقيد، والتي تصف رسميًا أشهر فئة من المشاكل الصعبة.^[5] إن الاستخدامات الاولية للمصطلح موجودة في اطروحة الدكتوراه لايريك مويلير (Erik Mueller) عام 1987م dissertation^[6] وملف الجورجن (Jargon File) لايريك رايموند (Eric Raymond) عام 1991م.^[7]

مشاكل الذكاء الاصطناعي المثالي

من المفترض لمشاكل AI-complete ان تتضمن:

استعراض النظراء الاصطناعي (مركب من فهم اللغة الطبيعية، التفكير الالي، اثبات النظرية الالية، ونظام خبير منطقي رسمي)
مشاكل بوجارد
الرؤية الحاسوبية (أيضا المشاكل الثانوية مثل تحليل النصوص، الترجمة الالية، وتوضيح معنى الكلمة^[8]).
التعامل مع الظروف الغير متوقعة في حين حل أي مشكلة متعلقة بالحياة الواقعية، سواء كان التنقل أو التخطيط أو حتى نوع التفكير الذي تقوم به انظمة الخبراء.

الترجمة الآلية

يجب أن تكون الآلة قادرة على فهم النص وأن يكون قادرًا على متابعة حجة المؤلف، لذلك يجب أن يكون لديه بعض القدرة على التفكير، وأن يكون لديه معرفة عالمية واسعة حتى يعرف ما يتم مناقشته - يجب على الأقل أن يكون على دراية بجميع الحقائق المنطقية نفسها التي يعرفها المترجم البشري العادي. بعض هذه المعرفة هي على شكل حقائق يمكن تمثيلها بشكل صريح، لكن بعض من هذه المعرفة غير واعية ومرتبطة ارتباطًا وثيقًا بجسم الإنسان: على سبيل المثال، قد تحتاج الآلة إلى فهم كيف يشعر المرء عندما يكون بالمحيط لترجمة استعارة معينة بدقة في النص، يجب أيضًا أن تكون نموذجًا لأهداف المؤلفين ونواياهم وحالاتهم العاطفية لإعادة إنتاجها بدقة بلغة جديدة. باختصار، يجب أن تمتلك الآلة مجموعة واسعة من المهارات الفكرية البشرية، بما في ذلك الاستنتاج والمعرفة المنطقية والحدس التي تكمن وراء الحركة والتلاعب والإدراك والذكاء الاجتماعي. بناءا على ذلك، يُعتقد أنه AI-complete قد يتطلب ذكاءً اصطناعيًا عاليا لكي تتم الترجمة الآلية بشكل جيد قياسا بترجمة البشر.

هشاشة البرامج

يمكن لأنظمة الذكاء الاصطناعي الحالية أن تحل الإصدارات البسيطة جدًا أو المقيدة من مشاكل الذكاء الاصطناعي الكاملة، ولكن ليس بعموميتها الكاملة. عندما يحاول باحثو الذكاء الاصطناعي «توسيع» أنظمتهم للتعامل مع مواقف أكثر تعقيدًا في العالم الحقيقي، تميل البرامج إلى أن تصبح هشة للغاية دون معرفة منطقية أو فهم أولي للموقف؛ يفشلون عندما تبدأ ظروف غير متوقعة خارج سياق المشكلة الأصلي في الظهور. عندما يتعامل البشر مع مواقف جديدة في العالم، يتم مساعدتهم بشكل كبير من خلال حقيقة أنهم يعرفون ما يمكن توقعه، فهم يعرفون ما هي كل الأشياء من حولهم، ولماذا هم هناك، وما الذي من المحتمل أن يفعلوه وما إلى ذلك. يمكنهم التعرف على المواقف غير العادية والتكيف معها وفقًا لذلك. لا تمتلك آلة بدون ذكاء اصطناعي قوي أي مهارات أخرى يمكن الاعتماد عليها.^[9]

التشكيل

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

لمعالجة هذه المشكلة، تم اقتراح نظرية التعقيد للذكاء الاصطناعي.^[10] يعتمد على نموذج حسابي يقسم العبء الحسابي بين الكمبيوتر والإنسان: يتم حل جزء واحد بواسطة الكمبيوتر والجزء الآخر يحل بواسطة الإنسان. تم إضفاء الطابع الرسمي على هذا من خلال آلة تورينغ بمساعدة الإنسان.

يحدد التشكيل تعقيد الخوارزمية وتعقيد المشكلة وقابلية الاختزال والتي بدورها تسمح بتحديد فئات التكافؤ. تعقيد تنفيذ خوارزمية باستخدام آلة تورينج بمساعدة الإنسان يتم الحصول عليها من خلال زوج من ( $\langle \Phi _{H},\Phi _{M}\rangle$ )، حيث يمثل العنصر الأول تعقيد الجزء البشري والعنصر الثاني هو مدى تعقيد جزء الجهاز.

النتائج

تعقيدات حل المشاكل التالية باستخدام آلة Turing بمساعدة الإنسان هو:^[10]
التعرف البصري على الأحرف للنص المطبوع: $\langle O(1),poly(n)\rangle$
اختبار تورينغ:
لمحادثة $n$ حيث يتذكر أوراكل سجل المحادثة (أوراكل مستمر): $\langle O(n),O(n)\rangle$
لمحادثة $n$ حيث يجب إعادة إرسال سجل المحادثة: $\langle O(n),O(n^{2})\rangle$
لمحادثة $n$ حيث يجب إعادة إرسال سجل المحادثة ويأخذ الشخص وقتًا خطيًا لقراءة الاستعلام: $\langle O(n^{2}),O(n^{2})\rangle$
لعبة ESP: $\langle O(n),O(n)\rangle$
تصنيف الصور (بناءً على بروتوكول آرثر-ميرلين (Arthur–Merlin)): $\langle O(n),O(n)\rangle$
تصنيف الصورة: للإنسان فقط $\langle O(n),O(n)\rangle$ ، وباعتماد أقل على الإنسان: $\langle O(\log n),O(n\log n)\rangle$ .

انظر ايضاً

المصادر

^ Shapiro, Stuart C. (1992). Artificial Intelligence In Stuart C. Shapiro (Ed.), Encyclopedia of Artificial Intelligence (Second Edition, pp. 54–57). New York: John Wiley. (Section 4 is on "AI-Complete Tasks".) نسخة محفوظة 2021-04-26 على موقع واي باك مشين.
^ Roman V. Yampolskiy. Turing Test as a Defining Feature of AI-Completeness. In Artificial Intelligence, Evolutionary Computation and Metaheuristics (AIECM) --In the footsteps of Alan Turing. Xin-She Yang (Ed.). pp. 3-17. (Chapter 1). Springer, London. 2013. http://cecs.louisville.edu/ry/TuringTestasaDefiningFeature04270003.pdf نسخة محفوظة 2021-07-01 على موقع واي باك مشين.
^ Luis von Ahn, Manuel Blum, Nicholas Hopper, and John Langford. CAPTCHA: Using Hard AI Problems for Security نسخة محفوظة 2016-03-04 على موقع واي باك مشين.. In Proceedings of Eurocrypt, Vol. 2656 (2003), pp. 294-311.
^ Bergmair، Richard (7 يناير 2006). "Natural Language Steganography and an "AI-complete" Security Primitive". CiteSeerX:10.1.1.105.129. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة) (unpublished?)
^ Mallery، John C. (1988)، "Thinking About Foreign Policy: Finding an Appropriate Role for Artificially Intelligent Computers"، The 1988 Annual Meeting of the International Studies Association.، St. Louis, MO، مؤرشف من الأصل في 2008-02-29{{استشهاد}}: صيانة الاستشهاد: مكان بدون ناشر (link).
^ Mueller, Erik T. (1987, March). Daydreaming and Computation (Technical Report CSD-870017) PhD dissertation, University of California, Los Angeles. ("Daydreaming is but one more AI-complete problem: if we could solve anyone artificial intelligence problem, we could solve all the others", p. 302) نسخة محفوظة 2020-10-30 على موقع واي باك مشين.
^ Raymond, Eric S. (1991, March 22). Jargon File Version 2.8.1 (Definition of "AI-complete" first added to jargon file.) نسخة محفوظة 2021-04-18 على موقع واي باك مشين.
^ Ide، N.؛ Veronis، J. (1998). "Introduction to the special issue on word sense disambiguation: the state of the art" (PDF). Computational Linguistics. ج. 24 ع. 1: 2–40. مؤرشف من الأصل (PDF) في 2017-08-14.
^ Lenat، Douglas؛ Guha، R. V. (1989)، Building Large Knowledge-Based Systems، Addison-Wesley، ص. 1–5
^ ^ا ^ب Dafna Shahaf and Eyal Amir (2007) Towards a theory of AI completeness نسخة محفوظة 7 نوفمبر 2020 على موقع واي باك مشين.. Commonsense 2007, 8th International Symposium on Logical Formalizations of Commonsense Reasoning. نسخة محفوظة 2021-01-19 على موقع واي باك مشين.

[Shapiro92-1] Shapiro, Stuart C. (1992). Artificial Intelligence In Stuart C. Shapiro (Ed.), Encyclopedia of Artificial Intelligence (Second Edition, pp. 54–57). New York: John Wiley. (Section 4 is on "AI-Complete Tasks".) نسخة محفوظة 2021-04-26 على موقع واي باك مشين.

[2] Roman V. Yampolskiy. Turing Test as a Defining Feature of AI-Completeness. In Artificial Intelligence, Evolutionary Computation and Metaheuristics (AIECM) --In the footsteps of Alan Turing. Xin-She Yang (Ed.). pp. 3-17. (Chapter 1). Springer, London. 2013. http://cecs.louisville.edu/ry/TuringTestasaDefiningFeature04270003.pdf نسخة محفوظة 2021-07-01 على موقع واي باك مشين.

[3] Luis von Ahn, Manuel Blum, Nicholas Hopper, and John Langford. CAPTCHA: Using Hard AI Problems for Security نسخة محفوظة 2016-03-04 على موقع واي باك مشين.. In Proceedings of Eurocrypt, Vol. 2656 (2003), pp. 294-311.

[4] Bergmair، Richard (7 يناير 2006). "Natural Language Steganography and an "AI-complete" Security Primitive". CiteSeerX:10.1.1.105.129. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة) (unpublished?)

[5] Mallery، John C. (1988)، "Thinking About Foreign Policy: Finding an Appropriate Role for Artificially Intelligent Computers"، The 1988 Annual Meeting of the International Studies Association.، St. Louis, MO، مؤرشف من الأصل في 2008-02-29{{استشهاد}}: صيانة الاستشهاد: مكان بدون ناشر (link).

[6] Mueller, Erik T. (1987, March). Daydreaming and Computation (Technical Report CSD-870017) PhD dissertation, University of California, Los Angeles. ("Daydreaming is but one more AI-complete problem: if we could solve anyone artificial intelligence problem, we could solve all the others", p. 302) نسخة محفوظة 2020-10-30 على موقع واي باك مشين.

[7] Raymond, Eric S. (1991, March 22). Jargon File Version 2.8.1 (Definition of "AI-complete" first added to jargon file.) نسخة محفوظة 2021-04-18 على موقع واي باك مشين.

[8] Ide، N.؛ Veronis، J. (1998). "Introduction to the special issue on word sense disambiguation: the state of the art" (PDF). Computational Linguistics. ج. 24 ع. 1: 2–40. مؤرشف من الأصل (PDF) في 2017-08-14.

[9] Lenat، Douglas؛ Guha، R. V. (1989)، Building Large Knowledge-Based Systems، Addison-Wesley، ص. 1–5

[ucl.ac.uk-10] ا ^ب Dafna Shahaf and Eyal Amir (2007) Towards a theory of AI completeness نسخة محفوظة 7 نوفمبر 2020 على موقع واي باك مشين.. Commonsense 2007, 8th International Symposium on Logical Formalizations of Commonsense Reasoning. نسخة محفوظة 2021-01-19 على موقع واي باك مشين.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]