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

Declarative Problem Solving for Artificial Intelligence.

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: English
Level: Advanced

Time commitment: part-time 25% over about 10 weeks; distance with mandatory meetings in Ö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.

  • You can explain the principles of declarative problem solving and Answer Set Programming.
  • You can model search and configuration problems with logic-based representations.
  • You can formalise and solve planning problems with ASP.
  • You can apply ASP to scheduling and system configuration.
  • You can judge when declarative methods are suitable compared with other approaches.
Curriculum

How the course is built.

  1. Declarative problem solving

    The basics of logic-based, declarative methods in AI.

  2. Answer Set Programming

    Modelling problems with ASP and its rule-based representation.

  3. Planning and scheduling

    Formalising and solving planning and scheduling problems.

  4. System configuration

    Applying ASP to complex configuration problems.

Target audience

Who is this for?

For professional developers and engineers who want to solve complex search, planning and configuration problems with declarative, logic-based AI methods. Entry requirements: 180 credits including 15 credits in programming, and English 5/English 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
Example certificate for Declarative Problem Solving for Artificial Intelligence from Örebro universitet

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