Course catalog / IT & Tech / Declarative Problem Solving for Artificial Intelligence
IT & Tech

Declarative Problem Solving for ArtificialIntelligence.

By
Örebro universitet logotyp
Örebro universitet
Verified provider of education

Declarative Problem Solving for Artificial Intelligence is an advanced Smarter course from Örebro University on declarative AI methods such as Answer Set Programming (ASP). You learn to model complex search and configuration problems through logic-based representations rather than step-by-step algorithms. The course shows how to formalise and solve real problems in planning, scheduling and system configuration with ASP. It is given in English at distance, at 25% pace, with mandatory meetings at Örebro University.

Duration: 10 weeks
Format: Hybrid
Location: Örebro
Language: Swedish, English
Level: Advanced

Time commitment: deltid 25% över ca 10 veckor; distans med obligatoriska träffar i Örebro

Request info

Want to know more before you sign up?

Send a short question and we will forward it directly to the provider.

About the course.

This certifies that the participant has acquired knowledge of declarative AI methods such as Answer Set Programming. The participant can model complex search and configuration problems through logic-based representations.

This certifies that the participant has acquired knowledge of declarative AI methods such as Answer Set Programming. The participant can model complex search and configuration problems through logic-based representations.

What you will learn

What you learn.

  • Du kan förklara principerna för deklarativ problemlösning och Answer Set Programming.
  • Du kan modellera sök- och konfigurationsproblem med logikbaserade representationer.
  • Du kan formalisera och lösa planeringsproblem med ASP.
  • Du kan tillämpa ASP på schemaläggning och systemkonfiguration.
  • Du kan bedöma när deklarativa metoder är lämpliga jämfört med andra angreppssätt.
Curriculum

How the course is built.

  1. Deklarativ problemlösning

    Grunderna i logikbaserade, deklarativa metoder inom AI.

  2. Answer Set Programming

    Modellera problem med ASP och dess regelbaserade representation.

  3. Planering och schemaläggning

    Formalisera och lösa planerings- och schemaläggningsproblem.

  4. Systemkonfiguration

    Tillämpa ASP på komplexa konfigurationsproblem.

Target audience

Who is this for?

För yrkesverksamma utvecklare och ingenjörer som vill lösa komplexa sök-, planerings- och konfigurationsproblem med deklarativa, logikbaserade AI-metoder. Förkunskaper: 180 hp inklusive 15 hp programmering samt Engelska 5/Engelska A.

What "verified" means here

Verified credential.

When you complete the course, Örebro universitet issues your certificate. Your name, the course content and the issue date are encrypted and secured on blockchain, so it cannot be changed, and anyone can check that it is genuine.

100% Verifiable certificates Secured on blockchain

Sample Credential with placeholder data. Each credential is issued with the recipient’s details and is verifiable with the provider.