Course content

The subject starts with a description of problem solving methods by means of heuristic search. Therafter, various knowledge representation languages and inference methods for automatic problem solving. Representation in form of predicate logic, frames and semantic nets are treated, and connected to the main forms of reasoning - especially rule based reasoning. Furthermore, architectures that integrates various resoning methods, agent based architectures and architectures for interactive problem solving. Numerous applicaton examples are given to demonstrate the methods.

Learning outcome

In combination with TDT4136 Logic and Reasoning Systems, the subject will give a general introduction to Artificial Intelligence (AI). Its basis is taken from mathematics, logic and cognitive sciences. The subject aims at realising aspects of intelligent behaviour in computer systems.

Learning methods and activities

Lectures, self study and exercises. A number of mandatory exercises must be approved in order to take the exam. The final grade is decided by the final written exam (80%) and exercises (20%). If there is a re-sit examination, the examination form may be changed from written to oral.

Recommended previous knowledge

TDT4136 Logic and Reasoning Systems, or equivalent.

Course materials

Stuart Russel, Peter Norvig: Artificial Intelligence. A Modern Approach, Second Edition, Prentice Hall, 2003.

Credit reductions