معرفي هوش مصنوعي

1. معرفي هوش مصنوعي تهيه کننده: عبدالرضا ميرزايي دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

2. سرفصل مطالب هوش مصنوعي چست؟ يك تاريخچه مختصر وضعيت فعلي هوش مصنوعي دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

3. سيستم‌هايي که مانند انسان فکر مي‌کنند سيستم‌هايي که به طور منطقي فکر مي‌کنند سيستم‌هايي که مانند انسان عمل مي‌کنند سيستم‌هايي که به طور منطقي عمل مي‌کنند هوش مصنوعي چيست تعريف ما تعاريف هوش مصنوعي در چهار دسته قرار مي گيرند دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

4. عملکرد انسان گونه: تست تورينگ • يك آزمون عملي براي رفتار هوشمندانه • وي پيش بيني نمود كه تا سال 2000 ماشين ها تا 30 درصد شانس فريب دادن يك انسان عامي را براي 5 دقيقه خواهند داشت. • براي اين کار کامپيوتر بايد قابليت‌هاي زير را داشته باشد: • پردازش زبان طبيعي = محاوره • بازنمايي دانش= ذخيره اطلاعات • استدلال خودکار= استدلال و استخراج • يادگيري ماشيني= کشف الگو و برون يابي الگوها دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

5. عملکرد انسان گونه: رهيافت تست تورينگ • تست تورينگ شامل مفاهيم اصلي هوش مصنوعي مانند دانش، استدلال، پردازش زبان طبيعي و يادگيري مي باشد. • تست تورينگ از ارتباط فيزيکي مستقيم بين کامپيوتر و محقق اجتناب مي‌کند. • تست جامع تورينگ • شامل يک سيگنال ويدئويي براي ازمودن تواناييهاي ادراکي • منظور قبول شدن در تست جامع تورينگ، کامپيوتر به موارد زير احتياج دارد: • بينايي ماشين براي درک اشياء • روباتيک به منظور حرکت آنها دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

6. تفکر انسان گونه: رهيافت مدلسازي شناختي • جمله زير امروزه پذيرفته نمي شود: • الگوريتمي براي يک کار خاص خوب عمل ميکند در نتيجه مدل خوبي از عملکرد انسان است“ • درك چگونگي تفكر انساني و عملكرد مغز • به دنبال ايجاد تئوري دقيقي درباره عملكرد ذهن انسان و تبديل آن به برنامه كامپيوتري • GPS (A. Newel, H. Simon,1963)تنها به اين راضي نمي شدند که برنامه آنها مساله را به درستي حل کند بلکه بايد گامهاي استدلال نيز مشابه انسان مي بود. • علوم شناختي مدلهاي هوش مصنوعي و فنون روانشناسي را با هم ترکيب مي کند تا نظريه هاي ازمون پذير و دقيق از طرز کار ذهن انسان به دست آورد. اين رشته اکنون از AIجدا است دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

7. منطقي فكر كردن: رهيافت قوانين تفكر • ارسطو: فرآيند استدلال/تفكر درست چيست • قياس صوري توسط وي مطرح شد به عنوان پايه اي براي مباحثه • در صورت دريافت فرضهاي درست هميشه نتايج درست بر مي گرداند • مثال: ”سقراط انسان است، تمام انسانها فاني هستند، پس سقراط فاني است.“ • پايه ريزي منطق • کاربرد مستقيم رياضيات و فلسفه در AIجديد • در سال 1965 برنامه هايي وجود داشت که مي توانستند به صورت نظري هر مساله اي را که با علامت گذاري منطقي توصيف شده بود را حل کنند. دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

8. منطقي فكر كردن: رهيافت قوانين تفكر • برنامه هايي براساس قوانين تفكر براي ايجاد سيستمهاي هوشمند • موانع اصلي: • دريافت دانش غيررسمي و تبديل آن به دانش رسمي: ”اکثر انسانها پر تلاش هستند“ • تفاوت ميان قادر به حل مسأله بودن در تئوري و در عمل (بن بست محاسباتي) دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

9. منطقي عمل كردن: رهيافت عامل منطقي • رفتار منطقي: انجام عمل درست • عمل درست: عملي كه با توجه به اطلاعات موجود، انتظار مي رود شانس رسيدن به هدف را به حداكثر برساند. • استنتاج صحيح تنها قسمتي از وظايف يک عامل منطقي • رفتار منطقي لزوماً شامل تفكر نمي باشد - مانند پلك زدن – اما تفكر بايد در خدمت عمل منطقي باشد. • موقعيت هايي وجود دارد که هيچ کار خوب قابل اثباتي براي انجام وجود ندارد. با اينحال بايد اقدامي انجام پذيرد. دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

10. منطقي عمل كردن: رهيافت عامل منطقي • عامل: هر چيزي كه قادر به درك نمودن و عمل كردن باشد. • اين درس در مورد طراحي عامل هاي منطقي مي باشد. • به طور انتزاعي، عامل يك نگاشت از دنباله ادراكات دريافت شده به اعمال مي باشد: [f: P*A] • ما براي هر دسته از محيط ها و وظايف مختلف، به دنبال عاملي (يا دسته اي از عامل ها) با بهترين كارايي مي باشيم. • در محيط هاي پيچيده به دليل محدوديت هاي محاسباتي منطقي بودن به طور کامل امکان پذير نيست • عقلانيت محدود : طراحي بهترين برنامه براي منابع ماشين داده شده دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

11. علوم زيربنايي هوش مصنوعي فلسفه: منطق، روش هاي استدلال، ذهن به عنوان سيستم فيزيكي زيربنايي در يادگيري، زبان، منطقي بودن رياضيات: روش هاي بازنمايي رسمي و الگوريتم هاي اثبات، محاسبات، تصميم(نا) پذيري، (in)tractability، احتمالات •اقتصاد: بهره وري، نظريه تصميم عصب شناسي: زيرلايه هاي فيزيكي براي فعاليت هاي ذهني روان شناسي: پديده ادراك و كنترل، تكنيك هاي آزمايشگاهي مهندسي كامپيوتر: ايجاد كامپيوترهاي سريع نظريه كنترل: طراحي سيستم هايي به منظور بيشينه سازي يك تابع هدف در طول زمان زبان شناس: بازنمايي دانش، گرامر دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

12. تاريخچه هوش مصنوعي 1943: McCulloch & Pitts مدل مداري بولي از ذهن 1950: Turing « ماشين هاي محاسباتي و هوشمندي » 1956: نشت در Dartmouth: پيدايش هوش مصنوعي دهه 50: اولين برنامه هاي هوش مصنوعي شامل: برنامه Samuel براي بازي checker، برنامهNewell و Simon با نام Logic Theorist، و Geometry Engineنوشته شده توسط Gelernte و ... 1965: الگوريتم كامل Robinsonبراي استدلال منطقي 73-1966: پيدايش مشکلات محاسباتي، توقف تحقيقات بر روي شبكه هاي عصبي 79-1969: پيدايش سيستم هاي اوليه مبتني بر دانش دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

13. تاريخچه هوش مصنوعي 1980: ورود هوش مصنوعي در عرصه هاي صنعتي 1986: محبوبيت مجدد شبكه هاي عصبي 1987: تبديل شدن هوش مصنوعي به يك علم 1995: ظهور عامل هاي هوشمند دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

14. تاريخچه هوش مصنوعي • پيدايش هوش مصنوعي (1943- 1956) • اشتياق زودهنگام، آرزوهاي بزرگ (1952-1969) • مقداري واقعيت (1974-1966) • سيستم‌هاي مبتني بر دانش: کليد قدرت؟ (1969-1979) • بازگشت شبکه‌هاي عصبي (1986- تاکنون) • حوادث اخير (1987- تاکنون) دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر

15. فناوري روز در هوش مصنوعي شكست قهرمان شطرنج (گري كاسپاروف) توسط Deep Blue در سال 1997 كنترل خودكار ( هدايت اتوماتيك يك اتومبيل در مسافتي به طول 4586 کيلومتر در 98% زمان: سيستم بينايي رايانه اي ALVINN Remote Agentبرنامه زماني عمليات يک فضاپيما را کنترل مي کند. حل بهتر جداول كلمات متقاطع توسط PROVERB نسبت به انسان سيستم هاي خبره پزشكي کمک گرفتن از روباتها در جراحي برنامه ريزي ترابري در بحران خليج فارس دانشگاه صنعتي اصفهان دانشکده برق و کامپيوتر