Kurskatalog / IT & Tech / Declarative Problem Solving for Artificial Intelligence
IT & Tech

Declarative Problem Solving for ArtificialIntelligence.

Av
Örebro universitet logotyp
Örebro universitet
Verifierad utbildare

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.

Längd: 10 veckor
Format: Hybrid
Ort: Örebro
Språk: Svenska, Engelska
Nivå: Avancerad

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

Begär info

Vill du veta mer innan du anmäler dig?

Skicka en kort fråga så vidarebefordrar vi den direkt till utbildaren.

Om kursen.

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.

Kursinnehåll

Vad du lär dig.

  • 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.
Upplägg

Så är kursen upplagd.

  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.

Målgrupp

Vem passar kursen?

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.

Vad "verifierad" betyder här

Verifierat intyg.

När du klarat kursen utfärdar Örebro universitet ditt intyg. Ditt namn, kursens innehåll och utfärdandedatum krypteras och säkras på blockchain, så att det inte kan ändras, och vem som helst kan kontrollera att det är äkta.

100% Verifieringsbara intyg Säkrat på blockchain

Exempel-intyg med platshållardata. Varje intyg utfärdas med mottagarens uppgifter och är verifierbart hos utbildaren.