CA.SFU.FAS.UCC/Papers:2005-61

Computing Science CMPT 417 Revisions

B. Bart

February 25, 2005

Current Proposed
Development of intelligent (aka expert) systems, the MYCIN system, abduction and uncertain reasoning, intelligent systems in the Prolog language, modern model-based systems, constraint reasoning methods, exhaustive vs. incremental search techniques, constraint logic programming methods, applications in diagnosis, scheduling, planning, process control and animation. Prerequisite: CMPT 201 or 225 Intelligent Systems using modern constraint programming and heuristic search methods. A survey of this rapidly advancing technology as being applied to the applications of scheduling, planning, design and configuaration. An introduction to the methodology of constraint programming, heuristic search, constructive (backtrack) search, iterative improvement (local) search, mixed-initiative systems and combinatorial optimization.

Rationale:

The current description is outdated, no longer reflecting what is taught in the course.