بخشی از پاورپوینت
اسلاید 1 :
هوش مصنوعي
Artificial Intelligence
اسلاید 2 :
AI: به طور رسمي در سال 1956 مطرح شده است.
علل مطالعه Al:
AI سعي دارد تا موجوديتهاي هوشمند را درک کند. از اين رو يکي از علل مطالعه آن يادگيري بيشتر در مورد خودمان است.
جالب و مفيد بودن موجوديتهاي هوشمند .
اسلاید 3 :
AI چيست؟
تعاريفي از AI که به چهار قسمت تقسيم شدهاند:
پردازش فکري و استدلالي
پردازش رفتاري
ايدهآل هوشمندي (منطقي بودن)
ارائه انساني
اسلاید 4 :
تمرکز بر روي پردازشهاي رفتاري
پردازشهاي فکري و استدلالي
ايدهآل هوشمندي
ارائه انساني
اسلاید 5 :
انسان گونه عمل کردن: رهيافت آزمون تورينگ
آزموني از کامپيوتر به عمل آيد، و آزمون گيرنده نتواند دريابد که در آن طرف انسان قرار دارد يا کامپيوتر.
براي اين کار کامپيوتر بايد قابليتهاي زير را داشته باشد:
پردازش زبان طبيعي = محاوره
بازنمايي دانش= ذخيره اطلاعات
استدلال خودکار= استدلال و استخراج
يادگيري ماشيني= کشف الگو و برون ريزي
اسلاید 6 :
تست تورينگ: اين آزمون از ارتباط فيزيکي مستقيم بين کامپيوتر و محقق اجتناب ميکند.
به منظور قبول شدن در تست تورينگ کلي، کامپيوتر به موارد زير احتياج دارد:
بينايي ماشين براي درک اشياء
روباتيک به منظور حرکت آنها
اسلاید 7 :
2. انساني فکر کردن-: رهيافت مدلسازي شناختي:
چگونگي شناسايي عملکرد افکار انسان:
1- درون گرايي
2- تجارب روانشناسي
علوم شناختي : مدلهاي کامپيوتر از AI و همچنين تکنيکهاي روانشناختي را گرد هم ميآورد تا بتواند تئوريهاي دقيقي از کارکرد ذهن انسان به دست آورند.
اسلاید 8 :
3. منطقي فکر کردن: قوانين رهيافت تفکر
رمز «تفکر درست»: ارسطو سعي در کشف آن داشت.
قياس: از موضوعات مطرح شده توسط ارسطو ميباشد، که الگوهايي براي ساختار توافقي ايجاد کرد که همواره نتايج صحيحي به اندازه مقدمات صحيح به دست ميآورد.
مثال: «سقراط انسان است، تمام انسانها ميميرند، پس سقراط خواهد مرد.»
اسلاید 9 :
دو مشکل عمده در اين رسم منطقگرايي وجود دارد:
تبديل دانش غير رسمي به شکل رسمي توسط اعلام، منطقي ساده نيست.
تفاوت عمدهاي بين قادر به حل مسئله بودن در اصول و انجام آن در عمل وجود دارد.
اسلاید 10 :
4. منطقي عمل کردن: رهيافت عامل منطقي
عامل: در اصل چيزي است که ابتدا درک ميکند و سپس عمل ميکند.
در نگرش «قوانين تفکر» تأکيد عمده بر روي استنتاجهاي صحيح بوده است.
«مهارتهاي شناخت» که براي آزمون تورينگ موردنياز است، براي انجام فعاليتهاي منطقي وجود دارند.
اسلاید 11 :
مزاياي مطالعه AI بهعنوان طراحي عامل منطقي:
عموميتر از رهيافت «قوانين تفکر»
پيشرفت علمي، بسيار قانونپذيرتر از رهيافتهايي است که بر تفکر يا رفتار انساني متکي هستند.
اسلاید 12 :
زيربناي هوش مصنوعي:
AI، از علوم مختلفي بهره ميبرد که از ميان آنها علوم زير مهمتر شناخته شدهاند:
علم فلسفه
علم رياضي
علم روانشناسي
علم زبانشناسي
علم کامپيوتر
اسلاید 13 :
فلسفه: (428 قبل از ميلاد مسيح – تاکنون)
پايههاي تفکر و فرهنگ غرب تشکيل شده است از: افلاطون، استادش سقراط، و شاگردش ارسطو.
قياس: ارسطو، سيستمي غيررسمي از قياس براي استدلال مناسب توسعه داد، امکان توليد نتايج، بر پايه فرضيات اوليه به طور مکانيکي وجود داشت.
در نظر گرفتن ذهن بهعنوان سيستمي فيزيکي
اسلاید 14 :
رنه دکارت مدافع سرسخت قدرت استدلال بود؛ و همچنين طرفدار مکتب دواليسم.
ماترياليسم: در مقابل دواليسم قرار دارد و معتقد است تمامي جهان مطابق قوانين فيزيکي عمل ميکنند.
ويلهم لايبنيز:
تبديل موقعيت ماترياليستي به نتايج منطقي
ساخت ابزاري مکانيکي براي انجام عمليات منطقي
اسلاید 15 :
ايجاد منبع دانش:
فرانسيس بيکن، جنبش آزمونگرايان را آغاز کرد. و با شعار جان لاک مفهوم يافت:
«هيچ چيز قابل فهم نيست اگر ابتدا در حس نباشد.»
اصل استقراي امروزي، در حقيقت از کتاب ديويد هيوم نشأت ميگيرد: "رسانهاي از طبيعت انسان"
برتراندراسل، پايهگذار پوزيوتيزم منطقي، ارائهدهندة اين تئوري بود که:
«قوانين عمومي توسط تکرار ارتباطات بين عناصر آنها به وجود ميآيند.»
اسلاید 16 :
ارتباط بين دانش و عمل
اشياء را با تحليل، دستهبندي ميکنيم و در اطراف آنها، کارکرد مورد نيازشان نوسان مينمايد.
در اين ميان پايه سيستممکاشفهاي GPS بنيان گذارده ميشود.
اسلاید 17 :
رياضيات (800. C-تاکنون)
براي ارتباط فلسفه با دانش نظري، نياز به فرمولسازي رياضي در سه زمينه اصلي است:
محاسبات
منطق
احتمالات
اسلاید 18 :
محاسبات:
نظريه اظهار محاسبات به عنوان الگوريتمي رسمي به خوارزمي برميگردد، رياضيدان عربي قرن نهم که نوشتههاي وي، جبر و تئوري اعداد عربي را به اروپا معرفي کرد.
اسلاید 19 :
منطق:
در اين زمينه، دانشمندان زيادي بر چگونگي شکلگيري و هدايت آن، نقش داشتهاند که به چند نفر از آنها اشاره ميکنيم:
ارسطو: دانشمندي که بيشترين شکلگيري نگرش فلسفي منطق را به او نسبت ميدهند.
جورج بول: يک زبان رسمي براي ساخت استنتاج منطقي ارائه داد.
FREGE: منطق مرتبه اول را به شکلي مطرح نمود که در بيشتر سيستمهاي نمايش دانش پايه استفاده ميشود.
آلفرد تارسکي: تئوري چگونگي ارتباط بين اشياء موجود در محيط منطقي، و اشياء موجود در دنياي واقعي را ارائه نمود.
اسلاید 20 :
ديويد هيلبرت: رياضيدان بزرگي بود که شهرت وي به دليل مسائلي است که نتوانست حل کند.
راسل: قضيه کامل نبودن (incompleteness) را مطرح نمود.
تورينگ: ماشين تورينگ قادر به محاسبه هر تابع محاسبهپذيري است.
تئوري پيچيدگي:
انجامناپذيري
استحاله
استيون کوک و ريچارد کارپ: تئوري NP-completeness را مطرح کردند.
