هذه المادة من قبل رقم العام " المنزل العلوم "عرض

إعطاء الأطفال أفضل تعليم العلوم

الكاتب أودي أهاروني، الخ

يونيو جمعت سبعة

سوف شيشي أقول لك أن ألفا الكلب كما كان ممثل الذكاء الاصطناعي في نواح كثيرة أقوى بكثير من البشر. ومع ذلك، بعض مشاكل الكمبيوتر أبدا العثور على الجواب.

على سبيل المثال، وهو برنامج لا يوجد أي خلل، وليس آلة بطاقة الرصاص يعمل؟ مهما كانت ذكية كمبيوتر، انهم يريدون فقط لكسر رأسه، لا يمكن الإجابة على هذا السؤال.

هذه هي المشكلة الشهيرة في علوم الكمبيوتر - مشكلة وقف (مشكلة وقف). في عام 1936، وثبت والد الذكاء الاصطناعي، آلان تورينج بشأن مسألة التوقف.

فمن هذا الرجل

أنتج مختبر أبحاث IBM خبير تعلم الآلة أودي أهاروني واضحة ومفهومة الرسوم المتحركة وفقا لدليل تورينج، فإننا ننظر معا.

الرجاء تجاهل تلقائيا مباراة الشعب داخل مونج حجم حبة الشتلات وتسريحة الشعر فاسق المعادن.

كيفية إثبات الكمبيوتر ولا يمكن الإجابة على جميع الأسئلة.

القانون الأول: بعض المشاكل تجهيز الكمبيوتر في متناول يدي.

هذا هو جهاز كمبيوتر صغير A، A ستفعل مشكلة حسابية قليلا. طالما أن مسألة المطبوعة على الورق، ثم اتركها مسح صغير يمكن طباعة من الإجابات.

وعلاوة على ذلك، فإن صغير دائما الحصول على الجواب الصحيح، وأكثر موثوقية من التلاميذ.

هذا هو جهاز كمبيوتر صغير C. سوف الصغيرة C لعب الشطرنج. إذا كان لنا أن تجعل من لمسح متن الطائرة، يمكنك طباعة صغيرة التحركات C الفوز.

الصغيرة C وألفا الكلب، حتى أسوأ من الكلاب، ولعب الشطرنج تلعب اللص تراجع، لم يفقد أبدا.

في الواقع، نحن الآن قادرون على خلق مثل هذا قوية كمبيوتر صغير وصغير C. وعلاوة على ذلك، مع تنمية الذكاء الاصطناعي، وأجهزة الكمبيوتر تصبح أصغر من صغير وC ولكن أيضا ذكية وقادرة.

لذلك، في نهاية المطاف صغير وC، ممثلة جهاز كمبيوتر صغير أن تفعل كل شيء في ذلك؟ ويمكن أن يحل محل الإنسان؟

emmm، في الواقع، ونعرف الآن أن هناك فئة من المشاكل، الكمبيوتر أبدا يعتبر لا يجيب.

القانون الثاني: مشكلة وقف.

نضع ورقة رسم لوحة الشطرنج بحيث صغيرة A-المسح الضوئي. A صغيرة تحركات قطع الشطرنج لأن المهارات لن يتم حساب، لذلك سوف يكون الجهاز بطاقة.

وبالمثل، إذا قمت بإجراء C صغير لحساب عدد من الأسئلة، وسوف يكون الجهاز بطاقة.

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

الآن، ونحن نفعل كمبيوتر ذكي جديد - H. الصغيرة

يعتبر H مهارة قليلا التوقف.

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

على سبيل المثال، دعونا أن تنظر إليه على أنه C مخطط صغير والمشاكل الحسابية، فإنه يأتي إلى استنتاج "بطاقة".

فليكن معلوما تعتبر مشاكل C مخطط والشطرنج صغيرة، فإنها تأتي "عدم وجود بطاقة" الاستنتاج.

اسمحوا أن تنظر إليه على أنه مخطط والشطرنج وهناك مشكلة صغيرة، فإنه سوف ينتج "بطاقة" الاستنتاج.

A صغيرة لجعلها تعول الخطة والمشاكل الحسابية، فإنه تأتي "عدم وجود بطاقة" الاستنتاج.

هناك فعلا مثل هذا جهاز كمبيوتر صغير H الوجود؟

اسمحوا لنا من منطق بسعادة إثبات ذلك، جعلت ببساطة ليس H صغيرة قادمة.

الفصل الثالث: H الصغيرة غير موجود.

نحن نستخدم absurdum reductio الإعلانية لمحاولة.

دعونا نفترض H موجود، ولكنه لا حرب منتصرة. ثم نأتي للنظر فيه وأجهزة الكمبيوتر الأخرى التجمع.

هذه هي سلسلة في أسفل ازدراء AI آلة نسخ صغيرة P، P فقط لأن نسخة صغيرة. أدخل المشكلة، فمن الناتج عن اثنين.

صغيرة صغيرة P H والجمع، بحيث محتوى P صغيرة مباشرة في مدخلات H إخراج محتوى صغير. مثل هذا -

ثم نصل إلى جهاز كمبيوتر، ودعا N. صغير

N هو مرض جياو الصغيرة، بغض النظر عن ما يقوله الناس ذلك، فإنه سيكون من السخرية.

على سبيل المثال، إذا كان إدخال "عدم وجود بطاقة"، وسوف الجهاز بطاقة.

إذا كان إدخال "بطاقة"، وإخراج "ليست بطاقة".

عليك أن تسأل كيف يمكن وجود مثل هذا الكمبيوتر المعادي للمجتمع؟ لأننا لسنا على افتراض أن هناك جهاز كمبيوتر قادر على كل شيء حسنا، هناك حتى المرضى الكمبيوتر جياو قليلا، وبعد ذلك سوف نستخدم لالرمح KO حمايته قليلا.

جيدة، وضعنا معا على نسبة N صغير صغير وقليل N H P والصغيرة، بحيث يصبح الناتج محتوى P صغير محتوى H أقل من المدخلات، بحيث صغير المحتوى الناتج H يصبح من المدخلات.

حسنا، أعاقت يوما مرض مكرر جياو اصطناعية مهمة لاول مرة.

نعطي هذا اليوم مجموعة صغيرة تدعى مهمة X-يوم، ومنحهم تعبئتها، وطرح جو الراقية على درجة من الحد الأقصى للاقامة.

على الرغم من أن مجموعة صغيرة من أيام كبيرة الحمولة X، اسم اثنين، ولكن أيضا جهاز كمبيوتر خطيرة، والذي يحتوي على مدخل الميناء (P صغيرة)، ومنفذ إخراج (N صغير).

وضعنا خطة القليل X في رسم.

الآن، إذا كان مخطط صغير مهمة X يوما إلى X صغير نفسه، والسماح لها حساب، ماذا سيحدث النتيجة؟ ذلك الجهاز بطاقة تفعل؟

ونحن نتطلع خطوة خطوة.

أصبح قليلا P مخطط نسخ مكررة، إلى H. يبصقون صغيرة

وتقول H أكل إلى أجزاء صغيرة 2 مخطط بعد ذلك، دعونا H "لا بطاقة".

حسنا، ثم الحصول على مدخلات N صغير "عدم وجود بطاقة".

N هو صغير بسبب المرض جياو حسنا، سيكون الجهاز بطاقة. ولذلك، فإن مهمة صغيرة X-يوم على آلة البطاقة.

ولكن صغيرة H قال: سوف صغيرة مهمة X-يوم لا بطاقة. استنتاجات H صغيرة جدا وليس على حقيقة هذا الشيء متناقضة؟

وتقول حسنا، الآن ننتقل، دعونا H الانتاج "بطاقة".

N هو الناتج صغيرة جدا "عدم وجود بطاقة" الذي هو أيضا مجموعة صغيرة X أيام "لا بطاقة".

في نهاية المطاف، فإن حقيقة أن الصغيرة والتي لا تزال H استنتاجات العكس من ذلك، فشل H مرة أخرى صغيرة.

بهذه الطريقة، يمكننا إثبات أن مثل هذه H كمبيوتر صغير لا يمكن أن توجد. وبعد سنوات، وأظهرت قضية تقرير وفاة H صغيرة: هناك شعور أيضا.

وقف مشكلة، جهاز كمبيوتر ليست حلا سحريا.

كمبيوتر مماثل لا يحل المشكلة، وهناك العديد، لأنها جميعا معضلة غير قابلة للقرار.

تورينج منذ 80 عاما أعطت للبشرية تعويذة ضد آلة تورينج - إذا كان الجهاز NB تورينج دفعت إلى الحائط، والسماح لها أن تعتبر معضلة غير قابلة للقرار على الفور، وسوف تبدأ للشك في الحياة آلة.

هذا المشهد هو أيضا "GHOST IN THE SHELL STAND ALONE COMPLEX" هناك انخفاض، منغ منغ دا توتشى دراخما سرقة عصابة بنجاح باستخدام الإصدار التحقق منه من مشاكل AI حتى مستوى منخفض.

قد يطلب بعض الأطفال، حتى لو كانت مشكلة وقف وتورينج بطاقة، لذلك ما آه، هناك تطبيقات في شيء واقع الحياة؟

بالطبع، هناك آه.

على سبيل المثال، والتوقف يمكن استخدامها لإثبات ... لا يمكن التحقق منها عن طريق التخمين غولدباخ الكمبيوتر، للسماح غولدباخ التخمين تضطر إلى الاعتماد على الدماغ البشري.

يعني التخمين غولدباخ،

يمكن التعبير عن أي واحدة من أكبر عدد حتى من 2 كمجموع اثنين من الأعداد الأولية.

2 + 2 = 4

3 + 3 = 6

3 + 5 = 8

10 = 7 + 3 = 5 + 5

5 + 7 = 12

14 = 11 = 3 + 7 + 7

...

إذا كان هذا الكمبيوتر الصغير H الوجود، ومن ثم يمكن الحكم عليها، وتبحث عن سبيل المثال مكافحة برنامج الكمبيوتر سيتم تشغيل التخمين غولدباخ دائما إلى أسفل، أو وقف في مكان ما.

إذا كان H القاضي صغير، سيقوم البرنامج تتوقف في مكان ما، فإنه يدل على أن هذا البرنامج يمكن أن تجد لمكافحة الأمثلة، سيتم تزويرها التخمين غولدباخ.

على العكس من ذلك، إذا كان القاضي H صغير، سيتم تشغيل البرنامج إلى الأبد دون توقف، وهذا يعني أبدا أن تجد لمكافحة أمثلة غولدباخ التخمين، ثم تم أثبت التخمين غولدباخ.

وسيتم حلها وبالمثل، H صغيرة يمكن أن تستخدم أيضا للتحقق من اقتراح الرياضي هو الصحيح، هو ببساطة جيدة جدا على عدم الاستخدام، وهو عالم رياضيات من البطالة الجماعية، وكلها لم يثبت حدس رياضي في تاريخ البشرية.

بالطبع، ولكن أيضا لإثبات أن مشكلة الإيقاف، مبرمجة الكمبيوتر تلقائيا آه، آه ... علة على جهاز الكمبيوتر الخاص بك هو كل حلم! أنا أحلم!

بارد Xiaxiang حظة وحده، تورينج البرد الدموع سطرين.

لا متعة، يرجى كزة

الناس العاديين لا يعرفون سوى أن الإشعاع، ولكن تعلمون المقبل لمفاعل نووي بدون ملابس واقية

هل سبق لك أن رأيت البيض المطبوخ البطريق ذلك؟ المشتركة البيولوجية المجهول المخزون الحقيقة

المنزل العلوم

ID: steamforkids

إعطاء الأطفال أفضل تعليم العلوم

مستنسخة الرجاء الاتصال ب kids@huanqiukexue.com

اضغط على رمز ثنائي الأبعاد تابعنا

الصور هي من ما لم شبكة محددة.

لحماية البيانات المرجعية الأصلية المخزنة في الجرافيت:

https://shimo.im/docs/GHOrdqgBHxMQS9PD/