Systems Modelling and Data Analysis + Engineering of Intelligent Systems

Lectures: Tuesdays, C-2, Room 429, 15:30-17:00

1. 02-26: CSP (MSL)
2. 03-05: CSP (MSL)
3. 03-12: CSP (MSL)
4. 03-19: CSP (MSL)
5. 03-26: KRR introduction (GJN)
6. 04-02: LPP (GJN)
7. 04-09: Planning (MSL)
8. 04-16: Problog (MSL)
9. 05-07: KR methods overview (GJN)
10. 05-14: RBS (GJN)
11. 05-21: LOD (GJN)
12. 05-28: DL (GJN)
13. 06-04: Wrap up and summary exam - zeroeth term

• Hakank Links
• MiniZinc
• Hakank on MiniZinc
• SWI-Prolog
• Bayes Networks
• Problog
• ASP: Answer Set Programming
• Fuzzy Logic
• Introduction to Fuzzy Logic
• Description Logics

• AI Book
• Prolog - page with external links
• CS221: Artificial Intelligence
• CS227: Knowledge Representation and Reasoning
• KRR: PL

The following classes will focus on modelling of discrete optimization and constraint satisfaction problems. Student will learn how to represent correctly different problems using constraint programming techniques.

• Lab 1. Constraint Programming: 101
• Lab 2.Constraint Programming: Basic Problems
• Lab 3. Constraint Programming: Basic Techniques
• Lab 4. Constraint Programming: Search Modeling
• Labs 5-6. Constraint Programming: Real Life Problem

The following classes will cover automated planning problems. Student will learn how to represent planning problems using constraint programming and dedicated tools.

1. Automated Planning: 101
2. Automated Planning: PDDL
3. Automated Planning: Fluents

This part of the course will present probabilistic programming — a new programming paradigm meant to model domains uncertainty and imperfect knowledge.

1. Probabilistic Programming: 101
2. Probabilistic Programming: Diagnosis and Prediction
3. Probabilistic Programming: Probabilistic Graphs and Decision Theory

There are three projects to choose from:

1. fox-geese-corn — simple planning problem.
2. gangs-wars — problem about optimal ordering of tasks. Quite simple, but it's very difficult to find the optimal solution.
3. production-planning — simplified problem of scheduling production at the factory.

All the project are available via gitlab. Instructions, how to do the projects are included in the README.md files.

The deadline is simply last class in the semester. While grading I will check:

1. if the model is correct;
2. if the model allows to quickly find a good solution;
3. if the model is comprehensible;
4. what was your work hygiene (how often did you commit, did you contact in case of a problem, etc.)