Formal and Cognitive Reasoning

Utbildningsfakta

Kod: 5DV246

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.

Behörighet

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.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Formal and Cognitive Reasoning

  Umeå University

  Startdatum: 25 mars 2027

  Slutdatum: 6 juni 2027

  Studietakt: 50 %