Aims

- To understand and explain the basic knowldge representation, problem solving and reasonning methods in artificial intelligence

- To assess the applicability, strength, and weaknesses of the basic knowledge representation, problem solving and reasonning in solving particular engineering problems

- To develop intelligent systems by assembling solutions to concrete computational problems

- To understand the role of knowledge representation, problem solving and reasonning in intelligent-system engineering

Main themes

- Problem solving by searching : formulating problems, uninformed and informed search search strategies, local search, evaluation of behavior and estimated cost, applications

- Constraint satisfaction : formulating problems as CSP, backtracking and constraint propagation, applications

- Games and adversarial search : minimax algorithm and Alpha-Beta pruning, applications

- Propositional logic : representing knowledge in PL, inference and reasoning, applications

- First-order logic : representing knowledge in FOL, inference and reasining, forward and backward chaining, rule-based systems, applications

- Planning : languages of planning problems, search methods, planing graphs, hierarchical planning, extensions, applications

- AI, philosophy and ethics : can machines act intelligently, can machines really think, ethics and risks of AI, future of AI

Content and teaching methods

see "Main themes"

Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)

- Prerequisites:
This course presupposes the knowledge of material covered in the two following courses
(1) INGI2101 : Mathématiques discrètes : bases logiques de l'informatique
(2) LINF2121 : Algorithmique et structures de données

- References
(1) Stuart Russell and Peter Norvig "Artificial Intelligence: A Modern Approach", Second Edition, Prenticel Hall, 2003
(2) N. Nilsson "Artificial Intelligence: A New Synthesis" Morgan Kaufmann, 1998
(3) E. Rich and K. Knight "Artificial Intelligence", 2nd edition, McGraw Hill Book Company, 1991
(4) P.H. Winston "Artificial Intelligence", 3rd Edition, Adison-Wesley, 1998.
(5) M.R. Genesereth and N. Nilsson "Logical Foundations of Artificial Intelligence" Morgan Kaufmann, 1987

Other credits in programs