Fall 2019 - CMPT 827 G100

Intelligent Systems (3)

Class Number: 9028

Delivery Method: In Person

Overview

  • 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

Description

CALENDAR DESCRIPTION:

Intelligent systems are knowledge-based computer programs which emulate the reasoning abilities of human experts. This introductory course will analyze the underlying artificial intelligence methodology and survey advances in rule-based systems, constraint solving, incremental reasoning, intelligent backtracking and heuristic local search methods. We will look specifically at research applications in intelligent scheduling, configuration and planning. The course is intended for graduate students with a reasonable background in symbolic programming.

COURSE DETAILS:

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. Ideally students should have taken a course similar to CMPT-705 or CMPT-307. Cross listed with CMPT 417.

Topics

  • 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.

Grading

NOTES:

(Preliminary) Assignments (40%), Midterm Tests (40%), Project (20%).

Graduate Studies Notes:

Important dates and deadlines for graduate students are found here: http://www.sfu.ca/dean-gradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.

Registrar Notes:

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