Artificial Intelligence - Einzelansicht

This course gives a gentle introduction to basic techniques used in intelligent systems.

• D. Poole, A. Mackworth and R. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York, 1998.

• M. Gelfond and Y. Kahl. Knowledge Representation, Reasoning, and the Design of Intelligent Agents. Cambridge University Press, 2014.
• C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
• V. Lifschitz. Answer Set Programming. Springer, 2019.

• W. Bibel, S. Hölldobler, and T. Schaub. Wissensrepräsentation und Inferenz. Vieweg Verlag, Braunschweig, 1993. 
• T. Dean, J. Allen and Y. Aloimonos. Artificial Intelligence. Theory and Practice. Addison-Wesley, 1995.
• N. J. Nilsson. Artificial Intelligence: A new Synthesis. Morgan Kaufmann, 1998.
• St. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs,NJ, 1994. 
• Y. Shoham. Artificial Intelligence Techniques in Prolog. Morgan Kaufmann, 1994.

Offline communication is conducted primarily via the associated moodle page.

Announcements are also made through the email list of registered students in puls.

Questions can be address to ci@lists.cs.uni-potsdam.de​

An introduction to answer set programming, used in the projects, is given separately.

Motivation.

Announced at first lecture.

• Introduction
• Artificial Intelligence and Agents
• Searching for Solutions
• Reasoning with Constraints
• Propositions and Inference
• Boolean Constraint Solving
• Planning

This is a basic lecture for BSc students with varying backgrounds.