Fall 2019 - CMPT 417 D100
Intelligent Systems (3)
Class Number: 9003
Delivery Method: In Person
Course Times + Location:
Mo, We, Fr 1:30 PM – 2:20 PM
AQ 3003, Burnaby
Exam Times + Location:
Dec 8, 2019
3:30 PM – 6:30 PM
AQ 3181, Burnaby
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.
Many real computing applications involve computational problems for which no generally efficient algorithms are known. These problems often involve relatively small inputs, but astronomically-sized search spaces in which solutions may be well hidden. Developing practical software for solving these problems is challenging and costly. This course examines methods for automatically solving these problems based on high-level specifications, much as we use a query language rather than low-level algorithms to answer complex questions about a large data set. The course will pursue two tracks in parallel. In one, we will examine the design and use of real systems that are products of major companies or widely used research tools, including hands-on experience. In the other, we will develop formal foundations to support principled design and analysis of such systems and their use in critical applications, and to understand their strengths and limitations. We will begin with lectures on fundamentals, and toward the end shift to considering current issues and research directions. The course is suitable for students with an interest in research or in tackling problems that are not well-solved. A strong discrete math background is recommended. Preferred preparation for this course is CMPT-307 and CMPT-354, but at least have MACM-201 is strongly recommended.
- Intractable search and optimization problems; Search algorithms.
- Constraint modelling languages; Model-and-solve systems.
- Basic model theory and first order logic.
- SAT, SAT algorithms, reductions, SAT solvers;
- Logic, databases, query languages, and problem specifications.
- Treewidth, proof complexity, fixed-parameter tractability.
- Applications in science (e.g. bio-informatics), hardware and software, business, etc.
(Preliminary) Assignments (40%), Midterm Tests (40%), Project (20%).
SFU’s Academic Integrity web site http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the University community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS