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 regulation for CogSys Master
• cogsys-examination.lp: extension of Cogsys Master for examination tasks
  • Note: does not include the specification of Ep, Es, ep(·), es(·) and d (see the tests)

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