5.00 credits
30.0 h + 30.0 h
Q2
Teacher(s)
Deville Yves;
Language
French
Prerequisites
LEPL1402: Programming in a high-level language
Main themes
- Research-based problem solving: problem formulation, informed and uninformed research strategies, local research, behavioral assessment and estimated cost, applications
- Constraint satisfaction: formulation problems, constraint tracing and propagation, applications
- Games and adversarial research: minimax algorithm and Alpha-Beta pruning, applications
- Propositional logic: knowledge representation, inference and reasoning, applications
- First-order logic: knowledge representation, inference and reasoning, forward and backward chaining, rule-based systems, applications
- Planning: planning problem languages, research methods, planning graphs, hierarchical planning, extensions, applications
- AI, philosophy and ethics: "can machines act intelligently?", "can machines really think?", ethics and the risks of artificial intelligence, the future of artificial intelligence
Learning outcomes
At the end of this learning unit, the student is able to : | |
With regard to the AA reference of the "Master's degree in computer science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes: INFO1.1-3 INFO2.2-4 INFO5.2, INFO5.5 INFO6.1, INFO6.4 With regard to the AA reference of the "Master [120] in computer science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes: SINF1.M4 SINF2.2-4 SINF5.2, SINF5.5 SINF6.1, SINF6.4 With regard to the AA reference of the "Master [60] in computer science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes: 1SINF1.M4 1SINF2.2-4 1SINF5.2, 1SINF5.5 1SINF6.1, 1SINF6.4 Students who successfully complete this course will be able to
|
|
Content
- Introduction
- Search
- Informed search
- Local search
- Constraint Satisfaction Problem
- Adversarial search
- Logical agent
- First-order logic and inference
- Planning
- Learn from examples
- Philosophical foundations, the present and the future of IIA
Teaching methods
- Problem-based learning
- Learning by doing
- 5 missions (of two weeks)
- teams of two students
- Lecture (1 hour / week)
- Feedback on closed missions (1 / 2 hour)
- Discussion of the current mission (1 / 2 hour)
Evaluation methods
- The evaluation will be carried out through an assessment of the assignments done during the year as well as an exam
- The assignments must be personal (team of 2). No collaboration between groups. No copying from the Internet. Cheating = 0 / 20 for all assignments.
- The method of integrating the assessments of the assignments and the exam is as follows. If the assignments are graded at least 10/20, the weighting of the assignments is 30%; the weighting of the exam is 70%. If the assignments have been evaluated at n/20, with n<10, the weight of these assignments is more important and is calculated according to the following formula: 30% + (10-n)*2.5%. The weighting of the exam is then adjusted accordingly.
- The assignments can only be completed during the four-month period of the course. It is not possible to redo the assignments during another semester or for the September session.
- The exam will be written, but if the teacher is unsure of the grade to be given to a student, he/she may be questioned in an oral supplement.
Bibliography
- Stuart Russell, Peter Norvig, Artificial Intelligence : a Modern Approach, 3nd Edition, 2010, 1132 pages, Prentice Hall
- transparents en ligne
Faculty or entity
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Title of the programme
Sigle
Credits
Prerequisites
Learning outcomes
Specialization track in Computer Science
Bachelor in Computer Science
Master [120] in Electro-mechanical Engineering
Master [120] in Data Science Engineering
Minor in Computer Sciences
Master [120] in Data Science: Information Technology