Formal and Cognitive Reasoning

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.