Artificial Intelligence and Integrated Computer Systems (AIICS)

Within our research laboratory, we develop machines that can reason and act in complex environments. Our primary research area is Automated Planning, which we complement with techniques from Machine Learning, Combinatorial Optimisation and Operations Research.

Research topics

Our main topics of interest include:

• Theory of Planning: We contribute to the theoretical foundations of Automated Planning, studying the complexity of planning problems and algorithms.
• Learning Planning Models: We develop algorithms that extract the dynamics of an observed environment to learn compact descriptions of planning tasks.
• Efficient Planning Algorithms: We design and implement scalable planning algorithms, mainly based on heuristic state-space search.
• Generalised Planning: We create methods for learning how to solve a whole class of tasks efficiently.
• Planning and Reinforcement Learning: We combine the interpretability of planning with the flexibility of reinforcement learning.

In summary, we strive to create AI systems that efficiently solve intricate sequential decision-making problems, based on solid theoretical foundations and practical algorithms.

The unit is led by Jendrik Seipp, Associate professor.

The Reasoning and Learning (ReaL) AI Lab does fundamental AI research on algorithms, techniques and methods for machine reasoning, machine learning, and the integration of reasoning and learning. Our emphasis is on AI that is trustworthy, robust and transparent. Beyond theoretical contributions, the ReaL AI Lab addresses high-impact technical and societal challenges, producing practical AI advancements for real-world applications.

Research topics

Our research topics include:

• Combinatorial Assignment
• Generative AI for time-series
• Large Language Models
• Reasoning and Learning
• Reinforcement Learning
• Stream Reasoning and Learning
• Synthetic Data Generation
• Effective Autonomous Systems

ReaL leads many of the AI activities at Linköping University, including one of the four EU-funded networks of AI research excellence centers (TAILOR), the TrustLLM EU project developing trustworthy and factual large language models, and the Wallenberg AI and Transformative Technologies Education Development Program (WASP-ED).

Funding

The research is funded by Knut and Alice Wallenberg Foundation (KAW), Wallenberg AI, Autonomous Systems and Software Program (WASP), Marcus and Amalia Wallenberg Foundation (MAW), WASP Humanities and Society (WASP-HS), Vinnova, Horizon 2020, ELLIIT, Trafikverket, Graduate School in Computer Science (CUGS, LiU), and Zenith (LiU).

Collaboration

The ReaL AI Lab collaborates with and actively supports Swedish industry, the government and both the public and private sector. ReaL provides broad and deep AI expertise necessary to take full advantage of modern, trustworthy AI. Our focus is on AI solutions for decision support that are not only useful and reliable but also proven effective in real-world applications.

We make AI practical, reliable, and real. We make it ReaL.

The unit is led by Fredrik Heintz, Professor.