Preliminary public information for, subject to change:
Preliminary info last published 18/03-19

Intelligent Systems Programming, MSc SD

Course info
Language:
English
ECTS points:
7.5
Course code:
KSINSYP1KU
Offered to guest students:
yes
Offered as a single subject:
yes
Price (single subject):
10625 DKK (incl. vat)
Programme
Level:
MSc. Master
Programme:
Master of Science in Information Technology (Software Design)
Staff
Course semester
Semester
Forår 2020
Start
27 January 2020
End
31 August 2020
Abbreviation
20201
Exam
Abstract
The overall goal of the course is to introduce students to a selection of the most important problem solving and decision support techniques within AI and optimization.
Description

Computers are increasingly used to support decision making, exploiting that computers can perform computations at scale, on large amounts of data, requiring large amounts of computation steps, or both. This course studies how to solve such decision problems on computers.

The goal is to make students able to identify, design, and implement efficient solutions to the kind of decision problems that arise in modern organizations and IT products. The expectation is that a student mastering the material is able to work in internationally leveled business intelligence and optimization groups as well as in development departments of “intelligent” applications as used in smart phones, computer games, enterprise resource planning systems, and decisions support systems.

The course will cover the followings topics:

Search algorithms

  • Informed search: greedy heuristic search, A*, breadth-first heuristic search

  • Local search: hill-climbing, simulated annealing, genetic algorithms, tabu search, population-based search

  • Adversarial search: Minimax search, alpha-beta pruning


Propositional logic

  • Representations: disjunctive (DNF), conjunctive (CNF), and if-then-else (INF) normal forms, Binary Decision Diagrams (BDDs)

  • Reasoning: resolution, SAT-checking


Constraint programming

  • Local consistency: arc-consistency, path-consistency, i-consistency

  • Look-ahead search strategies: forward-checking, arc-consistency look-ahead, maintaining arc-consistency


Linear Programming

  • Simplex algorithm

  • Duality


Intended learning outcomes

After the course, the student should be able to:

  • Identify decision problems in work processes and IT products that can be solved by AI and optimization algorithms.
  • Apply advanced AI and optimization modeling techniques to describe these problems formally.
  • Implement AI and optimization software components to solve these problems efficiently.
  • Apply standard AI and optimization models and solvers.
  • Participate in concept development of advanced decision support systems.
Ordinary exam
Exam type:

Exam variation: