Module Import 04IN2029 - Artificial Intelligence 1

Status: Published
Workload6 ECTS = 180 hrs
Credits, Weight6 ECTS, (n.s.)
Language of Instruction English
Semester (n.s.)
Duration1 Sem.
M/E Mandatory
Courses
Course No. Type Name MA/EL Workload Credits Contact Hours Selfstudy Group Size
04IN2029-1 Lecture Artificial Intelligence 1 MA 3 ECTS = 90 hrs 3 ECTS 2 hrs/week = 30 hrs 60 hrs 70
04IN2029-2 Exercise Artificial Intelligence 1 MA 3 ECTS = 90 hrs 3 ECTS 2 hrs/week = 30 hrs 60 hrs 35
Learning Outcomes

The students obtain a basic understanding of the symbolic approach to artificial intelligence, including symbolic search, logic, and knowledge representation. Moreover, the students gain experience in practical programming with Prolog.

Content

(not specified)

04IN2029-1 - Artificial Intelligence 1

The lecture gives an overview on the symbolic approach to artificial intelligence with a focus on logic, symbolic search, and knowledge representation methods.

  1. Introduction
  2. Classical logics and Prolog
    1. Classical logics
    2. Prolog
  3. Search and automatic planning
    1. Uniformed search
    2. Informed search
    3. Situation calculus and STRIPS
  4. Knowledge representation and reasoning
    1. Default logic
    2. Answer set programming
    3. Formal argumentation
    4. Belief revision (optional)
  5. Agents and multi agent systems
    1. Agent models
    2. Multi agent logics (optional)
  6. Summary and Conclusion
04IN2029-2 - Artificial Intelligence 1

The exercises accompanying the lecture Artificial Intelligence 1 provide practical experience for the theoretical concepts introduced in the lecture. A focus of the exercises are implementation practice with the logic programming language Prolog.

Teaching Methods

The module consists of a lecture and interactive exercises.

Prerequisites

Foundational knowledge on logic, formal methods, and algorithms is expected.

Examination Methods

Written or oral exam

Credit Requirements

(not specified)

References

(not specified)

04IN2029-1 - Artificial Intelligence 1

Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach. Third Edition, Prentice Hall, 2010

Christoph Beierle, Gabriele Kern-Isberner. Methoden wissensbasierter Systeme. Vierte Auflage, Vieweg+Teubner, 2008

Ronald Brachman, Hector Levesque. Knowledge Representation and Reasoning. First Edition, Morgan Kaufmann Series, 2004

Gerhard Weiss (Editor). Multiagent Systems. Second Edition, MIT Press, 2013

04IN2029-2 - Artificial Intelligence 1

Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach. Third Edition, Prentice Hall, 2010

Christoph Beierle, Gabriele Kern-Isberner. Methoden wissensbasierter Systeme. Vierte Auflage, Vieweg+Teubner, 2008

Ronald Brachman, Hector Levesque. Knowledge Representation and Reasoning. First Edition, Morgan Kaufmann Series, 2004

Gerhard Weiss (Editor). Multiagent Systems. Second Edition, MIT Press, 2013

Use of this Module
  1. unmodified as Mandatory  -    BSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Artificial Intelligence 1
  2. unmodified as Mandatory  -    BSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Artificial Intelligence 1
  3. unmodified as Mandatory  -    MSc Computer Science 2017  -    Compulsory subject computer science  -    Artificial Intelligence 1
  4. unmodified as Mandatory  -    MSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Artificial Intelligence 1
  5. unmodified as Mandatory  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Artificial Intelligence 1
  6. unmodified as Mandatory  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics  -    Artificial Intelligence 1
  7. unmodified as Mandatory  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics or natural and social sciences  -    Artificial Intelligence 1
  8. unmodified as Mandatory  -    MSc Information Management 2017  -    Mandatory elective courses Computer Science and Information Systems  -    Artificial Intelligence 1
  9. unmodified as Mandatory  -    MSc Information Systems 2017  -    Mandatory elective courses Application Systems in Business and Administration  -    Artificial Intelligence 1
Responsible / Organizational Unit
Thimm, Matthias / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
Jul 12, 2018 by Frey, Johannes