Techniques in Artificial Intelligence
This module handbook serves to describe contents, learning outcome, methods and examination type as well as linking to current dates for courses and module examination in the respective sections.
Module version of SS 2015
There are historic module descriptions of this module. A module description is valid until replaced by a newer one.
Whether the module’s courses are offered during a specific semester is listed in the section Courses, Learning and Teaching Methods and Literature below.
|available module versions|
|WS 2020/1||SS 2015||WS 2011/2|
IN2062 is a semester module in German or English language at Bachelor’s level and Master’s level which is offered in winter semester.
This Module is included in the following catalogues within the study programs in physics.
- Focus Area Imaging in M.Sc. Biomedical Engineering and Medical Physics
- Catalogue of non-physics elective courses
|Total workload||Contact hours||Credits (ECTS)|
|150 h||60 h||5 CP|
Content, Learning Outcome and Preconditions
- Solving problems by searching: breadth-first search, uniform-cost search, depth-first search, depth-limited search, iterative deepening search, greedy best-first search, A* search.
- Constraint satisfaction problems: defining constraint satisfaction problems, backtracking search for constraint satisfaction problems, heuristics for backtracking search, interleaving search and inference, the structure of constraint satisfaction problems.
- Logical agents: propositional logic, propositional theorem proving, syntax and semantics of first-order logic, using first-order logic, knowledge engineering in first-order logic, reducing first-order inference to propositional inference, unification and lifting, forward chaining, backward chaining, resolution.
- Bayesian networks: acting under uncertainty, basics of probability theory, Bayesian networks, inference in Bayesian networks, approximate inference in Bayesian networks.
- Hidden Markov models: time and uncertainty, inference in hidden Markov models (filtering, prediction, smoothing, most likely explanation), approximate inference in hidden Markov models.
- Rational decisions: introduction to utility theory, utility functions, decision networks, the value of information, Markov decision processes, value iteration, policy iteration, partially observable Markov decision processes.
- Learning: types of learning, supervised learning, learning decision trees.
- Introduction to robotics: robot hardware, robotic perception, path planning, planning uncertain movements, control of movements, robotic software architectures, application domains.
- You can analyze problems of artificial intelligence and judge how difficult it is to solve them.
- You can recall the basic concepts of intelligent agents and know possible task environments.
- You can formalize, apply, and understand search problems.
- You understand the difference between constraint satisfaction and classical search problems as well as apply and evaluate various constraint satisfaction approaches.
- You can critically assess the advantages and disadvantages of logics in artificial intelligence.
- You can formalize problems using propositional and first-order logic.
- You can apply automatic reasoning techniques in propositional and first-order logic.
- You understand the advantages and disadvantages of probabilistic and logic-based reasoning.
- You can apply and critically asses methods for probabilistic reasoning with Bayesian networks and Hidden Markov Models.
- You understand and know how to compute rational decisions.
- You have a basic understanding on how a machine learns.
- You know the basic areas and concepts in robotics.
IN0015 Discrete Struktures
IN0018 Discrete Probability Theory
Courses, Learning and Teaching Methods and Literature
Courses and Schedule
|VI||4||Techniques in Artificial Intelligence (IN2062)||Althoff, M. Klischat, M. Maierhofer, S. Wang, X.||
Thu, 16:00–18:00, MW 0001
Fri, 13:00–14:30, MW 2001
Wed, 10:00–12:00, MI 03.13.010
Learning and Teaching Methods
- P. Norvig and S. Russell: Künstliche Intelligenz: Ein moderner Ansatz, Pearson Studium, 3. Auflage. (German version)
- W. Ertel: Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung, Springer, 3. Auflage. P. Z öller-Greer: Künstliche Intelligenz: Grundlagen und Anwendungen, composia, 2. Auflage.
- D. L. Poole and A. K. Mackworth: Artificial Intelligence: Foundations of Computational Agents, Cambridge University Press.
- P. C. Jackson Jr: Introduction to Artificial Intelligence, Dover Publications.
Description of exams and course work
The exam may be repeated at the end of the semester.