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

Computing Science CMPT 417 Revisions

B. Havens

March 9, 2005

Revision A

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 applied to scheduling, planning, design and configuration. An introduction to constraint programming, heuristic search, constructive (backtrack) search, iterative improvement (local) search, mixed-initiative systems and combinatorial optimization. Prerequisite: CMPT 201 or 225

Rationale:

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