학술논문

Answer Set Programming for Flexible Payroll Management
Document Type
Working Paper
Source
Subject
Computer Science - Logic in Computer Science
Computer Science - Artificial Intelligence
Language
Abstract
Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. Therefore, payroll management systems must be flexible in design. In this paper, we suggest an approach based on a flexible Answer Set Programming (ASP) model and an easy-to-read tabular representation based on the Decision Model and Notation (DMN) standard. It allows HR consultants to represent complex rules without the need for a software engineer, and to ultimately design payroll systems for a variety of different scenarios. We show how the multi-shot solving capabilities of the clingo ASP system can be used to reach the performance that is necessary to handle real-world instances.
Comment: Under consideration in Theory and Practice of Logic Programming (TPLP)