Shiva Vafadar 1 آزمايشکاه سيستم هاي هوشمند (http://ce.aut.ac.ir/islab) Requirements Engineering : A Roadmap مقدمه اي بر هوش مصنوعي.

Slides:



Advertisements
Similar presentations
Queue theory.
Advertisements

Logic Block Architectures. 2 Crosspoint Solution  Requires the use of large amounts of programmable interconnect −  suffer from area-inefficiency 
سازگاري فرايندهاي يادگيري Consistency of Learning Processes ارائه دهنده : الهام باوفای حقیقی استاد درس : آقای دکتر شيري دانشگاه امير كبير دانشكده ‌ مهندسي.
Artificial Intelligent Systems Laboratory 1 تيم‌هاي نرم افزاري فصل 21 درس مهندسي نرم‌افزار 2 دكتر احمد عبداله زاده بارفروش تهيه كننده : پويا جافريان.
1 آزمايشگاه سيستم های هوشمند ( Domain-specific Architecture.
برنامه‌ريزي استراتژيک پيشرفته چارچوب کلي تجزيه و تحليل راهبردي (استراتژيک) سيستم‌ها.
طراحي و مدل کردن مؤلفه ها فصل 7 معماري نرم افزار هاي بزرگ دانيال مؤذن استاد : دکتر عبدالله زاده.
فاکتورهای مهم در ایجاد یک مقاله علمی
مهندسی نرم افزار مبتنی بر عامل
ارائه روشي براي شناسايي کاراکترهاي دستنويس، برپايه شبکه LVQ.
ارائه درس روباتيکز Extended Kalman Filter فريد ملازم استاد مربوطه دکتر شيري دانشگاه امير کبير – دانشکده کامپيوتر و فناوري اطلاعات.
سيستمهاي اطلاعات مديريت ارائه كننده : محسن كاهاني.
نام و نام خانوادگي : فريد ملازم 1 آزمايشکاه سيستم هاي هوشمند ( موضوع ارائه ارتباط بين component ها.
طراحي و ساخت سيستم‌هاي تجارت الکترونيک ساخت سيستم‌هاي تجارت الکترونيک ECSE.
1 فصل 8 - طراحي زيرسيستم ها برگرفته از کتاب Large-Scale Software Architecture – Jeff Garland, Richard Anthony فرنوش گلشن آزمايشگاه سيستم هاي هوشمند بهار.
نام و نام خانوادگي : فريد ملازم 1 آزمايشکاه سيستم هاي هوشمند ( موضوع ارائه Process and Deployment Design.
1 تدوين راهبرد برای يک برنامه جلب حمايت همه جانبه Mohsen Shams, MD. PhD Candidate in Health Education, School of Public Health, Tehran University of Medical.
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي.
طراحي و ساخت سيستم‌هاي تجارت الکترونيک سيستم‌هاي تجارت الکترونيک (ECS)
مهندسی نرم افزار مبتنی بر عامل
1 فصل 9 - طراحي ساختار داده و تراکنش ها برگرفته از کتاب Large-Scale Software Architecture – Jeff Garland, Richard Anthony فرنوش گلشن آزمايشگاه سيستم هاي.
1 آزمايشگاه سيستم های هوشمند ( ارزيابي معماري نرم افزار.
1 آزمايشگاه سيستم های هوشمند ( انواع Architectural Styles.
مقدمه اي بر پردازش زبان طبيعي
ارائه کننده: آلاء شريعتی
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي تخصيص منابع.
اصول و مفاهيم جلب حمايت همه جانبه Mohsen Shams, MD. PhD Candidate in Health Education, School of Public Health, Tehran University of Medical Sciences.
معصومه خيرخواه زاده 1 آزمايشکاه سيستم هاي هوشمند ( موضوع ارائه : Ant Colony Optimization ارائهء يک الگوريتم.
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي.
نقشه‌برداري و مكان‌يابي همزمان به کمک الگوريتم ژنتيک
مديريت پروژه‌هاي فناوري اطلاعات راه‌حل‌هاي مبتني بر فناوري اطلاعات.
In the name of God Sharif University of Technology, International Branch, Kish Island Dr. Mohsen Sadighi Moshkenani Chapter 12.
فارسی سازی يکپارچه در سيستم عاملهای OS/390 & Windows واحد 1 مهندسی سيستم Integrated Farsi support on OS/390 & Windows.
Solving problems by searching Chapter 3 Modified by Vali Derhami.
1 فصل دوم تبديلات. 2 فصل دوم سرفصل مطالب مقدمه ضرب بردارها دستگاه ‌ هاي مختصات دوران ‌ ها مختصات همگن دوران ‌ ها و انتقال ‌ ها تبديلات تركيبي همگن تبديل.
1/19 Informed search algorithms Chapter 4 Modified by Vali Derhami.
سيستم خبره مرکب ( ترکيب پيشرو و پسرو ) زماني که يک فرضيه احتمالي براي جواب داشته باشيم، روش backward مي تواند خيلي کاراتر و مناسبتر باشد. اگر هيچ احتمال.
معماری فناوری اطلاعات چیست؟
عامل هاي منطقي- منطق گزاره‌اي
Frameworks And Patterns
نظریه رفتار برنامه ريزي شده Theory of Planned Behavior
هوش مصنوعی (Artificial Intelligence) فصل اول: هوش مصنوعی چیست؟
دانشجو: رضوان کياني فر استاد راهنما: دکتر فرزاد توحيد خواه 12/8/87
مقدمه اي بر پردازش زبان طبيعي
Artificial Intelligence استوارت راسل، پیتر نورویگ
بنام خدا زبان برنامه نویسی C (21814( Lecture 12 Selected Topics
اصول کامپيوتر 1 – معرفي درس
آشنايي با برنامه نويسي به زبان C++
تکنیک دیماتل DEMATEL: decision making trial and evaluation laboratory.
تلفيق اطلاعات سنسوري به منظور حرکت
روشهاي بازنمايي دانش.
تبدیل فوریه (Fourier Transform)
نمايش اعداد در کامپيوتر چهار عمل اصلي
فصل 1: مفاهيم پايه.
مقدمه اي بر داده کاوي و اکتشاف دانش
انواع Architectural Styles
هیدرولیک جریان در کانالهای باز
آشنایی با پایگاه ساینس دایرکت
سعید ضیائی راد دانشکده مهندسی مکانیک دانشگاه صنعتی اصفهان
فيلتر كالمن معرفي : فيلتر كالمن تخمين بهينه حالت‌ها است كه براي سيستم‌هاي ديناميكي با اختلال تصادفي در سال 1960 بزاي سيستم‌هاي گسسته و در سال 1961 براي.
نظریه رفتار برنامه ريزي شده Theory of Planned Behavior
واسط كاربري هوشمند جلسه اول Intelligent User Interface
Ontology and Ontology Generation
تدريس يار: ميثم نظرياني
مقدمه اي بر مهندسي نيازمنديها
آشنايي با نرم افزار.
نرم افزار عملي دوره كارداني كامپيوتر دانشگاه کردستان دانشكده فني
[1] Artificial Intelligence: A Modern Approach
آزمايشگاه مهندسي نرم افزار
کتابخانه دانشکده پرستاری و مامایی دانشگاه علوم پزشکی شهید بهشتی
Presentation transcript:

Shiva Vafadar 1 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap مقدمه اي بر هوش مصنوعي

Shiva Vafadar 2 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تعريف هوش مصنوعي تلاش برا ساخت ماشينهايي که فکر ميکنند. ماشينهايي با فکر با توانايي درک کامل (Haugeland 1985) هنر ايجاد ماشيتهايي که قادر به انجام اعمالي هستند که وقتي انسان آنها را انجام مي دهد نياز به هوشمندي دارند (Kurzweil, 1990) مطالعه قابليتهاي ذهني از طريق استفاده از مدلهاي محاسباتي (Charniak et al. 1985) زمينه اي از تحقيق که تلاش مي کند رفتار هوشمند را با استفاده از فرآيندهاي محاسباتي بيان و شبيه سازي کند. (Schalkol, 1990) سيستمهايي که مانند انسان فکر مي کنندسيستمهايي که به صورت عاقلانه اي فکر مي کنند سيستمهايي که مانند انسان عمل مي کنند. سيستمهايي که به صورت عاقلانه اي عمل مي کنند

Shiva Vafadar 3 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تعريف هوش مصنوعي  هوش مصنوعي هنر توليد و علم درک سيستمهاي کامپيوتري است که نياز به استنتاج، يادگيري، مشاهده، حل مسايل، ارتباط و ذخيره دانش دارد. ( Tanimoto)

Shiva Vafadar 4 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap داده، اطلاعات، دانش  داده عبارت است از مجموعه اي از حقايق ساختاريافته که لزوما به سوالاتي که ممکن است براي کاربر آن به وجود آيد پاسخ نميدهد. مانند شکلها، نتايج اندازه گيري ها  اطلاعات عبارت است از داده هايي که بر روي آنها پردازش اوليه اي صورت گرفته است به طوري که امکان پاسخ به برخي سوالات يا ارائه آمار از طريق آنها امکان پذير است  دانش عبارت است از مجموعه اي از وقايع، رويه ها، مدلها و قوانين اکتشافي که مي توانند در حل مسال به کار روند. دانش داده بازنمايي شده است به طوري که امکان به کارگيري آنها در حل مسايل، مشاهده يا يادگيري وجود داشته باشد.

Shiva Vafadar 5 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap داده حقايق فرمت سيستم پردازش داده اطلاعات دانش حقايق بازنمايي سيستم پردازش دانش اطلاعات دانش داده

Shiva Vafadar 6 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تاريخچه هوش مصنوعي

Shiva Vafadar 7 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap ذهنيت هوش مصنوعي ( )  اولين کار، پياده سازي محاسبات منطقي با استفاده از نورونها دانش اوليه فلسفه و ويژگيهاي نورونهاي مغز تحليل فرمال بر روي Propositional Logic تئوري محاسباتي تورينگ  در سال 1950 تورينگ يک نظريه کامل در ارتباط با هوش مصنوعي شامل تست تورينگ، يادگيري ماشيني، الگوريتمهاي ژنتيک و يادگيري تقويتي ارائه کرد.  در سال 1951 اولين کامپيوتر شبکه عصبي ساخته شد

Shiva Vafadar 8 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap اشتياق اوليه و انتظارات زياد ( )  سالهاي اوليه شکل گيري هوش مصنوعي پر از موفقيت بود.  در اين سالها اين ذهنيت که کامپيوتر فقط مي تواند محاسبات رياضي انجام دهد، از بين رفت

Shiva Vafadar 9 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap نظريه پرداز منطق ( 1955)  Simon و Newell و Shaw در سال 1955 ،  The Logic Theorist را ساختند که به نظر بسِِِِِِِِِِاري به عنوان اولين برنامه هوش مصنوعي درنظر گرفته مي شود.  اين برنامه هر مساله اي را که به آن اعلام ميشد به عنوان يک درخت درنظر مي گرفت و سعي مي کرد که براي حل مساله، شاخه اي را که با بيشترين احتمال منجر به پاسخ مي شد را پيدا کند.  اين برنامه در پيشرفت زمينه هوش مصنوعي ( و به طور عمومي علم کامپيوتر ) بسيار موثر بود.

Shiva Vafadar 10 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap هم انديشي ( 1956)  McCarthy John در سال 1956 يک کنفرانس دو ماهه براي ارائه نظرات و هم انديشي در زمينه هوش ماشين برگزار نمود. McCarthyJohn  در اين کنفرانس تصميم گرفته شد که اين زمينه جديد، هوش مصنوعي ناميده شود.  اين کنفرانس در پيشبرد هوش مصنوعي در آينده بسيار موثر افتاد

Shiva Vafadar 11 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap هم انديشي ( 1956)  در اين کنفرانس مشخص شد که چرا هوش مصنوعي يک شاخه جدا از ساير علوم است : هدف در اين علم اين است که خلاقيتهاي انسان مانند خلاقيت و بهبود شخصي و استفاده از زبان شبيه سازي شود. متدولوژي کار از مفاهيم علم کامپيوتر برگرفته شده است هدف اين است که بتوان در منحيطهاي پيچيده و متغير کار انجام داد.

Shiva Vafadar 12 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تاريخچه هوش مصنوعي ( 1957)  اولين نسخه از برنامه General Solver Problem (GSP) توسط توليد کنندگان The Logic Theorist توليد شد.  اين برنامه توانايي حل مسايل بزرگتري در زمينه Common Sense را داشت.

Shiva Vafadar 13 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تاريخچه هوش مصنوعي ( 1958)  McCarthy John در سال 1958 زبان Lisp را معرفي نمود که تاکنون به عنوان يکي از زبانهاي مورد استفاده در زمينه هوش مصنوعي مورد استفاده قرار ميگيرد. McCarthyJohn

Shiva Vafadar 14 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap تاريخچه هوش مصنوعي ( 1963)  اولين آزمايشگاه تحقيقاتي هوش مصنوعي در MIT با اختصاص بودجه 2.3 ميليون دلار آغاز به کار کرد.

Shiva Vafadar 15 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap واقعيتها رخ نمودند ( )  در اين دوره مشخص شد که انتظاراتي که از هوش مصنوعي و مسايلي که مي تواند حل کند، بيش از حد واقعي بوده است.  سيستمهاي اوليه براي حل مسايل بزرگتر و مشکلتر با شکست مواجه شدند.  مشخص شدکه براي حل مسايلي مانند ترجمه ماشيني به جز اطلاعات يک لغتنامه به دانش اوليه در ارتباط با موضوع زبان نيز نياز است.  مشخص شد که امکان بازنمايي دانش براي همه مسايل با استفاده از منطق وجود ندارد

Shiva Vafadar 16 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap سيستمهاي مبتني بر دانش ( )  برنامه Dendral در سال 1969 براي پاسخگويي به مسايل شيمي  در سال 1971 سيستمي براي تشخيص پزشکي ساختند که عدم قطعيت نيز در آن لحاظ شده بود  بحث زبانهاي طبيعي و نياز به پردازش آنها مطرح شد و توجه به اينکه علاوه بر ساختار جمله، بررسي مفاهيم هم اهميت دارد  نياز به يک زبان بازنمايي مناسب براي دانش در اين مسايل مطرح شد.

Shiva Vafadar 17 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap هوش مصنوعي در صنعت ( 1980 تا کنون )  سودآوري هوش مصنوعي در سال 1980 در حدود چند ميليون دلار و در سال 1988 در حدود چند ميلياد دلار گزاش شده است.  در سال 1991 اولين سيستم نظامي که در آن از تکنيکها و روشهاي هوش مصنوعي استفاده شده بود، در جنگ DESERT STORM به صورت تاثيرگذاري به کار گرفته شد.

Shiva Vafadar 18 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap بازگشت شبکه هاي عصبي ( 1986 تاکنون )  شبکه هاي عصبي در سال 1970 معرفي شدند ولي ميانه هاي دهه 1980 توجه زيادي به آنها نشد

Shiva Vafadar 19 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap علم هوش مصنوعي ( )  تمرکز هوش مصنوعي بر روي استفاده از تکنيکها و تئوريهاي موجود در کاربردهاي واقعي است  از نظر متدولوژي انجام کار به روشهاي عملي روي آوردند.  نظريه هاي به صورت تجربيات واقعي ارائه شدند و تحليلهاي آماري براي اهميت آنها ارائه شد  شاخه هاي مختلف هوش مصنوعي مانند شبکه عصبي، بينايي، پردازش گفتار و... از هم جدا شدند

Shiva Vafadar 20 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap پيدايش عاملهاي هوشمند ( 1995 تاکنون )  نگاه مجدد به حل مسايل با استفاده از يک عامل  ارائه معماري کامل يک عامل در برنامه SOAR  به کارگيري و درک رفتارهاي عامل در محيطهاي واقعي  به کارگيري عامل در اينترنت

Shiva Vafadar 21 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap مرز دانش  Autonomous Planning & Scheduling  Game Playing  Autonomous control  Diagnosis  Logistic Planning  Robotics  Languages Understanding & Problem Solving

Shiva Vafadar 22 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap رابطه هوش مصنوعي با ساير علوم  فلسفه  رياضي  اقتصاد  علوم مرتبط با سلولهاي مغزي  روانشناسي  مهندسي کامپيوتر  تئوري کنترل  زبان شناسي

Shiva Vafadar 23 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap ساختار مطا لعه هوش مصنوعي AI کاربرد تکنيک ابزار کاربرد تکنيک ابزار تکنيک کاربرد

Shiva Vafadar 24 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap شاخه هاي هوش مصنوعي  Logical AI  Search  Natural language processing  pattern recognition  Knowledge representation  Inference From some facts, others can be inferred.  Automated reasoning  Learning from experience  Planning To generate a strategy for achieving some goal  Epistemology Study of the kinds of knowledge that are required for solving problems in the world.  Ontology Study of the kinds of things that exist. In AI, the programs and sentences deal with various kinds of objects, and we study what these kinds are and what their basic properties are.  Genetic programming  Emotions

Shiva Vafadar 25 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap

Shiva Vafadar 26 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap ساختار سيستمهاي هوشمند Knowledge Base Inference Engine Explanation Facility Knowledge Acquisition Facility User Interface Memory Working

Shiva Vafadar 27 آزمايشکاه سيستم هاي هوشمند ( Requirements Engineering : A Roadmap