Long name	Intelligent Information Systems
Approving CModule	IIS_MaTIN
Responsible	Prof. Dr. Andreas Behrend Professor Fakultät IME
Level	Master
Semester in the year	summer semester
Duration	Semester
Hours in self-study	60
ECTS	5
Professors	Prof. Dr. Andreas Behrend Professor Fakultät IME
Requirements	programming skills, knowledge about data structures and algorithms
Language	German, English if necessary
Separate final exam	Yes

Foundations of Knowledge Representation
- First-order logic
- relational, functional, tree-based, graph-oriented fact representation
(semantic networks, ontologies)
- rule-based systems

Automatic reasoning and inference methods
- resolution principle (incl. unification)
- forward and backward chaining
- fixpoint semantics

Declarative Programming languages
- Functional programming
- relational (logical) programming , e.g., Prolog, Datalog, SQL and SPARQL

Outlock on current research issues, e.g., query languages, parallel algorithms, distributed systems, combinatorial optimization and language processing.

Students have acquired basic knowledge about methods for representing knowledge, automatic reasoning as well as declarative programming languages. They understand the various ways of operationalizing declarative expressions and are able to realize suitable programming solutions for given problems.

Type	Attendance (h/Wk.)
Lecture	2
Exercises (whole course)	2
Exercises (shared course)	0
Tutorial (voluntary)	0

none

Representing knowledge by sets of tuples, relations, semantic networks as well as logic-based
systems
Implementing calculation problems with a functional programming language (e.g. Haskell) using expressions, algebraic data types, infinite data structures and higher-order functions
Solving search problems with a logical programming language and recursive expressions
Formulating relational queries over knowledge bases (e.g. using SPQAQL or Datalog)

Type	Attendance (h/Wk.)
Practical training	1
Tutorial (voluntary)	0

none