תיאור קצר של הקורס ( כולל חזון ומטרות)

 

פרויקט חיים דיגיטליים Digital Living 2030 מאגד מחקרים רבים הנעשים כיום בפיתוח של ואינטליגנציה מלאכותית. השימוש בה מתפשט לתחומים רבים כמו תעשייה, תחבורה, רפואה, חינוך ורובוטיקה ועוד ענפים רבים בתחומי החיים שלנו. במסגרת הקורס נלמד לעומק את התשתית המדעית והתחום המגוון של  אינטליגנציה מלאכותית,  והשפעתה החברתית וההנדסית. 

במסגרת הקורס נלמד שפה מתמטית יסודית שמגשרת בין העולם הדיגיטלי והממשי, והיא מתאימה למציאות הנוצרת של חיים דיגיטליים. נראה שהשפה הזאת מתאימה ומתבטאת ביישומים טכנולוגיים שמתפתחים כתוצאה מההבנה המתמטית של הקשר בין העולמות הווירטואליים והממשיים. זו הסביבה של מערכות מורכבות בהם יטפלו מהנדסי העתיד, שאנו מכשירים עכשיו. 

 

נושאי שילמדו  בקורס:

​

1. 100 שנות מחקר בתחום של אינטליגנציה מלאכותית

2. מבחן טיורינג והאפשרות להגיע אל נקודת הסינגולריות

3. חשיבות ההבחנה בין העולם הדיגיטלי והממשי, והעקרונות השונים

4. לוגיקה רכה כשפה מתמטית שמגשרת בין העולם הדיגיטלי והממשי

5. מערכת צירים והאלגברה של הלוגיקה הרכה

6. כריית ידע משולבת

7. תפקיד האדם במערכות מורכבות

8. מערכות תעשיה מתקדמות 

9. יישום בתחבורה חכמה 

10. יישום במערכות בריאות

11. יישום ברובוטיקה

12. יישום בלוגיסטיקה,  תעסוקה ויצירת מרחבי עבודה

13. הצגת פרויקטים של הסטודנטים

 

 

מטלות

במסגרת הקורס הסטודנטים יגישו 3 מטלות טכניות מתמטיות הקשורות בהבנת הנושאים הנלמדים והידע המתמטי שילמד בקורס. כל מטלה מהווה 15% מהציון. בנוסף הסטודנטים יכתבו עבודה אחת מסכמת מרשימת נושאים שנציג (55% מהציון).

 

דרישות קדם

​

• 0572.5110 אופטימיזציה שימושית למהנדסים

• 0572.5225 שיטות סטוכסטיות למהנדסי תעשייה

 

ביבליוגרפיה

 

“One Hundred Year Study on Artificial Intelligence (AI100),” Stanford University, August, 2016, https://ai100.stanford.edu

 

Nils J. Nilsson, "The Quest for Artificial Intelligence: A History of Ideas and Achievements" ,Cambridge, UK: Cambridge University Press, 2010

 

Dascal M. (Ed.) "Leibniz: What Kind of Rationalist?" Logic, Epistemology, and the Unity of Science, Vol. 13, Springer Netherlands, 2008

​

Robinson. A, "Non –standard analysis". Mathematical Logic in the 20th Century: pp. 385-393, 1960

 

Rokach. L and Maimon. O,  "Data mining with decision trees": Theory and applications, 2nd  Edition, World Scientific, 2015

 

Maimon. O and Rokach. L, "Data mining and knowledge discovery handbook", 2nd  Edition, Springer, 2010

 

Klein, M. and Maimon, O.  "The mathematics of soft logic", IOP second international conference on mechanical

engineering and automation science, Japan 2016

​

Klein, M. and Maimon, "Soft Logic and Soft Numbers", Pragmatics & cognition, John Benjamins Publishing Company, 2016