Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions
Download PDFOpen PDF in browser

Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions

12 pagesPublished: August 9, 2023

Abstract

As digital workflows evolve around the curriculum life cycle in higher education institutions, advanced digital tools are needed to automate the processing of study regulations. In particular, the use of formal logic is beneficial for any type of validation in the accreditation process. Three key challenges are addressed in this paper: how to model study regulations, how to validate rules contained in modelled programmes, and how to package the contained logic of study rules in flexible communication between different AI services. This report on a case study demonstrates a solution that enables a continuous workflow from editing the rules to automated validation scenarios that support the administrative staff. The use of symbolic logic in conjunction with formal specification languages offers various forms of use cases within the curriculum life cycle.

Keyphrases: answer set programming, artificial intelligence, curriculum life cycle, higher education, specification language, student information system, validation

In: Jean-François Desnos and Martín López Nores (editors). Proceedings of European University Information Systems Congress 2023, vol 95, pages 320-331.

BibTeX entry
@inproceedings{EUNIS2023:Automatic_Interactive_Validation_Study,
  author    = {Markus von der Heyde and Chukwunwike Otunuya and Matthias Goebel and Dietmar Zoerner and Ulrike Lucke},
  title     = {Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions},
  booktitle = {Proceedings of European University Information Systems Congress 2023},
  editor    = {Jean-François Desnos and Martín López Nores},
  series    = {EPiC Series in Computing},
  volume    = {95},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Rqgk},
  doi       = {10.29007/wc93},
  pages     = {320-331},
  year      = {2023}}
Download PDFOpen PDF in browser