خشن که هوش مصنوعی را قابل قبول به نظر میرساند. هوش مصنوعی به زبان ساده برای کودکان پایهها را آثاری مانند قوانین فکر بول و بگریفشریفت فرگه تنظیم کردند. راسل و وایتهد با تکیه بر سیستم فرگه، در شاهکار خود، Principia Mathematica در سال 1913، برخوردی رسمی از مبانی ریاضیات ارائه کردند. دیوید هیلبرت با الهام از موفقیت راسل، ریاضیدانان دهه 1920 و 30 را به چالش کشید تا به این سوال اساسی پاسخ دهند: "آیا همه می توانند. استدلال ریاضی رسمی شود؟»[32] سؤال او با اثبات ناقص بودن گودل، ماشین تورینگ و حساب لامبدا هوش مصنوعی به زبان ساده برای کودکان چرچ پاسخ داده شد.[32][39]
عکس ارتش ایالات متحده از ENIAC در دانشکده مهندسی برق مور[40]
پاسخ آنها از دو جهت تعجب آور بود. اول، آنها ثابت کردند که در واقع محدودیت هایی برای آنچه منطق ریاضی می تواند انجام دهد وجود دارد. اما دوم (و برای هوش مصنوعی مهمتر) کار آنها نشان داد که در این محدوده ها، هر شکلی از استدلال ریاضی می تواند مکانیزه شود. تز چرچ-تورینگ بیانگر این بود که یک وسیله مکانیکی، که نمادها هوش مصنوعی به زبان ساده برای کودکان را به سادگی 0 و 1 به هم میریزد، میتواند هر فرآیند قابل تصوری از استنتاج ریاضی را تقلید کند. بینش کلیدی ماشین تورینگ بود - یک ساختار نظری ساده که جوهر دستکاری نمادهای انتزاعی را در بر می گرفت.[41] این اختراع الهام بخش تعداد انگشت شماری از دانشمندان برای شروع بحث در مورد امکان ماشین های فکر می شود.[32][42]
علوم کامپیوتر
مقالات اصلی: تاریخچه سخت افزار کامپیوتر و تاریخچه علوم کامپیوتر
ماشینهای محاسبه در دوران باستان و در طول تاریخ توسط ا هوش مصنوعی به زبان ساده برای کودکان فراد زیادی از جمله گوتفرید لایبنیتس، [43] جوزف ماری ژاکارد، [44] چارلز بابیج، [45] پرسی لودگیت، [46] لئوناردو تورس کوودو، [47] وانوار بوش، طراحی یا ساخته شدند. ، [48] و دیگران. آدا لاولیس حدس زد که ماشین بابیج "یک ماشین تفکر یا ... است"، اما هشدار داد: "مطلوب است در برابر احتمال ایده های اغراق آمیز که در مورد قدرت های ماشین به وجود می آیند، مراقبت شود."
اولین کامپیوترهای مدرن ماشین های عظیم جنگ جهانی دوم بودند (مانند Z3 کنراد هوش مصنوعی به زبان ساده برای کودکان زوز، هیث رابینسون و کولوسوس آلن تورینگ، آتاناسوف و بری و ABC و انیاک در دانشگاه پنسیلوانیا).[51] انیاک بر پایهی نظری پایهگذاری شده توسط آلن تورینگ و توسعه توسط جان فون نویمان[52] استوار بود و ثابت شد که بیشترین تأثیر را دارد.[51]
تولد هوش مصنوعی (1941-56)
IBM 702: کامپیوتری که توسط نسل اول محققان هوش مصنوعی استفاده می شود.
اولین تحقیقات در مورد ماشین های تفکر از ترکیب ایده هایی که هوش مصنوعی به زبان ساده برای کودکان در اواخر دهه 1930، 1940 و اوایل دهه 1950 رایج شد، الهام گرفته شد. تحقیقات اخیر در عصبشناسی نشان داده است که مغز شبکهای الکتریکی از نورونها است که با پالسهای همه یا هیچ شلیک میکنند. سایبرنتیک نوربرت وینر کنترل و پایداری در شبکه های الکتریکی را توصیف کرد. نظریه اطلاعات کلود شانون سیگنال های دیجیتال (یعنی سیگنال های همه یا هیچ) را توصیف می کند. نظریه محاسبات آلن تورینگ نشان داد که هر شکلی از محاسبات را می توان به صورت دیجیتالی توصیف کرد. رابطه نزدیک بین این ایده ها نشان می دهد که ممکن است بتوان یک "مغز الکترونیکی" ساخت.
در دهههای 1940 و 50، تعداد انگشت شماری از دانشمندان از رشتههای مختلف (ریاضی، روانشناسی، مهندسی، اقتصاد و علوم سیاسی) چندین جهت تحقیقاتی را بررسی کردند که برای تحقیقات بعدی هوش مصنوعی حیاتی خواهد بود.[53] آلن تورینگ، که نظریه محاسبات را توسعه داد، از اولین افرادی بود که امکان نظری "هوش ماشینی" را به طور جدی بررسی کرد.[54] رشته «تحقیقات هوش مصنوعی» به عنوان یک رشته دانشگاهی د هوش مصنوعی به زبان ساده برای کودکان ر سال 1956 تأسیس شد.[55]
آزمون تورینگ
آلن تورینگ حداقل در اوایل سال 1941 در مورد هوش ماشینی فکر می کرد، زمانی که او مقاله ای را در مورد هوش ماشینی منتشر کرد که می تواند اولین مقاله در زمینه هوش مصنوعی باشد - اگرچه اکنون از بین رفته است.[54] در سال 1950 تورینگ مقاله مهمی را با عنوان «ماشینهای محاسباتی و هوش» منتشر کرد که در آن درباره امکان ایجاد ماشینهایی که فکر میکنند حدس و گمان میزد و این مقاله مفهوم خود را از آنچه اکنون به عنوان آزمون تورینگ شناخته میشود به عموم مردم معرفی کرد.[56] او اشاره کرد که تعریف «تفکر» دشوار است و آزمون تورینگ معروف خود را ابداع کرد.[57] اگر ماشینی بتواند مکالمه ای را (از طریق یک چاپگر تلفنی) که از مکالمه با یک انسان غیرقابل تشخیص است، انجام دهد، منطقی است که بگوییم دستگاه در حال «فکر کردن» است. این نسخه سادهشده از مسئله به تورینگ اجازه داد تا هوش مصنوعی به زبان ساده برای کودکان به طور قانعکنندهای استدلال کند که «ماشین تفکر» حداقل قابل قبول است و مقاله به همه رایجترین ایرادات به این گزاره پاسخ داد.[58] آزمون تورینگ اولین پیشنهاد جدی در فلسفه هوش مصنوعی بود. سپس سه برنامه رادیویی بر روی هوش مصنوعی توسط تورینگ، سخنرانیها: «ماشینهای هوشمند، یک نظریه بدعتگرا»، «آیا رایانههای دیجیتال میتوانند ف Artificial intelligence in plain language for children کر کنند؟» دنبال شد. و بحث میزگرد "آیا ماشین های محاسبه خودکار می توانند فکر کنند".
- ۰ ۰
- ۰ نظر