Lecture - Automated Reasoning & Planning - 5DV244 Human-Centered Artificial Intelligence 2026

Date: 2026-09-10

Location: Hörsal UB.A.230 (Lindellhallen 3)

Teachers: EG

Week: 37

This lecture introduces automated decision-making in intelligent systems through reasoning mechanisms and planning approaches. We discuss how AI systems use knowledge to derive conclusions, generate plans, and achieve goals autonomously.

The lecture introduces Answer Set Programming (ASP), automated planning, action schemas, and the relationship between planning and intelligent agents.

• Automated reasoning
• Answer Set Programming (ASP)
• Answer-set solving with Clingo
• Automated planning
• Actions, preconditions, and effects
• Planning in intelligent agents
• BDI and plans as mental states
• LLM-based reasoning and planning (brief)

• Understand the role of automated reasoning in AI systems.
• Explain how intelligent systems derive conclusions from available knowledge.
• Understand the basic principles of Answer Set Programming.
• Understand planning as a mechanism for goal-directed behaviour.
• Identify preconditions and effects of actions in planning problems.
• Understand the relationship between reasoning, planning, and intelligent agents.