Formal and Cognitive Reasoning 7.5 credits

About the course

The course is divided into two modules:

Theory and methodology 4.5 hp
Practical application of theory and methods in a project 3.0 hp

The theoretical module covers theories and methods in Artificial Intelligence (AI) and Human-AI Interaction for designing and constructing intelligent interactive systems and environments. Parts of the module are applied in the practical module, which consists mainly of a project that is conducted individually or in group.

Emergent trends in AI aim to combine different fundamental theories and methods within the AI field and across disciplines such as cognitive science and social science to solve societal challenges, and to build new more advanced AI. This course focuses on such trends in interactive intelligent environments that include people and AI-based systems, and where intelligent systems and people pursuing different goals are expected to collaborate. This advanced level course takes a research perspective on theories and methods for interactive intelligent systems, which is done from the perspective of solving societal challenges.

The student will deepen her/his knowledge about state-of-the-art in AI topics such as knowledge representation and reasoning, machine learning, multiagent systems and agent societies, and gain knowledge in how these methods and theories can be combined to achieve AI useful for human-AI collaboration.

The student is encouraged to engage with a research group during the course, and target particular challenging and unsolved issues relating to interactive intelligent systems.

Show syllabus

Apply

Spring 2026
- Formal and Cognitive Reasoning
  
  Spring 2026 / Umeå / English / On site
  
  Application opens 15 September 2025
  
  Save education at universityadmissions.se
  
  Show more Show less
  
  Starts
  24 March 2026
  
  Ends
  7 June 2026
  
  Number of credits
  7.5 credits
  
  Type of studies
  On site
  
  Study pace
  50%
  
  Teaching hours
  Daytime
  
  Study location
  Umeå
  
  Language
  English
  
  Application code
  UMU-57315
  
  Eligibility At least 90 ECTS, including 60 ECTS Computing Science, or 120 ECTS within a study programme. At least 15 ECTS programming; 7.5 ECTS logic; the course "5DV243 Artificial intelligence" (or equivalent); and the course "5DV181 Artificial intelligence - methods and applications" (or equivalent). Proficiency in English equivalent to the level required for basic eligibility for higher studies.
  
  Selection
  Academic credits
  
  Application
  The online application opens 15 September 2025 at 09:00 CET. Application deadline is 15 October 2025.
  
  Application and tuition fees
  As a citizen of a country outside the European Union (EU), the European Economic Area (EEA) or Switzerland, you are required to pay application and tuition fees for studies at Umeå University.
  
  Application fee: SEK 900
  
  Tuition fee, first instalment: SEK 19,038
  
  Total fee: SEK 19,038
  
  Details about tuition, fees and funding

Apply online via universityadmissions.se
You apply to our programmes and courses via universityadmissions.se – the official website for higher education applications in Sweden. There, you can track your application, check that your documents have been registered, and log in to find our your admission results.
 
Late applications
Admissions to most programmes and courses typically close after the final application deadline. However, some programmes and courses may still accept late applications if seats are available. These are marked “Open for late application” on universityadmissions.se. Please note that late applications are not guaranteed to be reviewed.

More about application and admission

Explore your future at Umeå University

Join a vibrant academic community where high-quality education meets groundbreaking research in science, technology, humanities, and the arts. At Umeå University, you will learn from passionate, expert teachers and benefit from a close connection between research, education, collaboration, and innovation.

World's most satisfied international students

#1 globally in the main categories of Living, Support, and Overall Satisfaction.
A university with health at its core

Umeå University is certified as a Healthy Campus, with many initiatives that promote health and well-being.

Questions about the course?

Subject

Describe your enquiry or ask a question

First name

Last name

Email address

Please be aware that the University is a public authority and that what you write here can be included in an official document. Therefore, be careful if you are writing about sensitive or personal matters in this contact form. If you have such an enquiry, please call us instead. All data will be treated in accordance with the General Data Protection Regulation.