授课主题：Artificial Intelligence
主讲人：Mirjana Ivanovic
授课时间：2021年6月2日至27日（详见下文）
授课地点：线上（腾讯会议，详见下文）
主讲人简介：
Mirjana Ivanovic，塞尔维亚共和国诺维萨德大学理学院首席教授,塞尔维亚共和国诺维萨德大学校务委员会成员。SCI源期刊＜计算机科学与信息系统＞期刊主编。研究领域包括代理技术、智能技术、数据挖掘、机器学习和软件工程等。她以第一作者或共同作者出版专著13本，主编多本会议论文集，发表了300多篇专业论文,是150多个国际会议的程序委员会成员。她目前是多个国家大学的客座教授或研究员，如奥地利、德国、波兰、葡萄牙、西班牙、澳大利亚、日本。
课程简介：
This course introduces representations, techniques, and architectures used to build applied systems and to account for intelligence from a computational point of view. This course also explores applications of rule chaining, heuristic search, logic, constraint propagation, constrained search, and other problem-solving paradigms. In addition, it covers applications of decision trees, neural nets, SVMs and other learning paradigms.
授课计划：
Date | Time | Lecture | Revision | 腾讯会议号 |
June 2 | 13:30-15:00 | Introduction to Artificial Intelligence | Problem Solving using State Space Representations | 953136060 |
15:00-16:30 | Search Algorithms, Search AlgorithmsInformed/Heuristic Search (cont.) | Local Search and Optimization | ||
June 5 | 13:00-14:30 | Constraint Satisfaction | 546824364 | |
14:30-16:00 | Games | Constraint Satisfaction Problems (CSP) and Games | ||
June 6 | 13:00-14:30 | Learning as Search | 373233849 | |
14:30-16:00 | Formulating Search | Design Project 1 | ||
June 13 | 13:00-14:30 | Decision Trees,Naïve Bayes | Design Project 1 Presentation and Question-Answer | 616946121 |
14:30-16:00 | Continuous Features | Naïve Bayes and Nearest Neighbor | ||
June 16 | 13:30-15:00 | Linear Separators,Neural Nets | Support Vector Machines (SVM) | 178347012 |
15:00-16:30 | Support Vector Machines (SVM), Feature and Model Selection | Problem Set Review | ||
June 19 | 13:00-14:30 | Formulating Learning | Introduction to Logic | 468934102 |
14:30-16:00 | Introduction to Logic and Representation,Propositional Logic | Design Project 2 Presentation and Question-Answer | ||
June 23 | 13:30-15:00 | Introduction to Natural Language Processing | Logic and Proof | 953162004 |
15:00-16:30 | First Order Logic,First Order Logic (cont.) | Syntax and Semantics | ||
June 27 | 13:30-15:00 | Rules,Language, Natural Language processing | Problem Set Review | 795468470 |
15:00-16:30 | Language, Natural Language processing,Conclusion |