README.md

Study regulations

An ASP-based system for reasoning about study regulations

Description

This repository contains ASP encodings to:

• generate study plans using clingo, and
• generate a User Interface (UI) to explore study plans using clinguin.

As an example, we focus on the study regulations for the Cognitive Systems (CogSys) Master.

For a formal description of the system, please read our paper.

Installation

• clingo

  To run the encodings, clingo must be installed, for example, using conda:

  conda install potassco::clingo

• clinguin v2.0

  To run the UI, clinguin version 2.0 must be installed, following these installation instructions.

Organization

Encodings

• encoding.lp: encoding - encoding to generate study plans (described in the paper).
• encoding-examinations.lp: extended encoding - encoding including examination tasks.
• show.lp: #show statements to simplify the visualization.

Instances

Specific study regulations can be found in the instances directory:

• cogsys.lp: basic study regulations for CogSys Master.
• cogsys-examinations.lp: extension of CogSys Master with examination tasks.
• cogsys-examinations-constraints.lp: CogSys Master examination tasks constraints (described in the paper).

Usage

Solving with clingo

• Obtain a single study plan

clingo instances/cogsys/cogsys.lp encodings/{encoding.lp,show.lp} -c n=4 1

UI with clinguin

• Open an interactive UI to configure your study plan

clinguin client-server --domain-files instances/cogsys/cogsys.lp encodings/encoding.lp --ui-files encodings/ui.lp -c n=4