Entry requirements

90 credits in information systems or equivalent

Learning outcomes

Regarding knowledge and understanding, the student on completion at the course is expected to

- be able to account for the basic principles of artificial

- understand problem-solving through search, knowledge representation and reasoning

- be able to account for the historical background to the subject artificial intelligence,and its development and connection to other subject areas.

Regarding skills and ability the student on completion of the course is expected to

- carry out formalisation and programming of a number basic problem solving methods, knowledge presentation forms and types of automated reasoning.

Regarding assessment skills and view, the student on completion of the course is expected to.

- be able to evaluate the applicability of basic AI techniques in different knowledge domains

- be able to take position to the balance between to find solutions efficient or exhaustive.

Content

Introduction to the concepts consciousness, intelligence, knowledge and learning

Lectures about artificial intelligence

Problem-solving through search

Search methods "Constraint Satisfaction Problems"

Knowledge and arguments; intelligent agents, logical agents

First order logic, logical inference, knowledge representation

Planning

Inductive logic programming

Instruction

Lectures, Lessons, Seminars, Laboratory sessions

Assessment

Written exam and assignment.