Answer Set Programming for Flexible Payroll Management

Benjamin Callewaert,Joost Vennekens

2024-03-19

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.

Logic in Computer Science,Artificial Intelligence

What problem does this paper attempt to address?

### Problems the Paper Aims to Solve

The paper aims to address three key challenges in the compensation management system:

1. **Communication Issues Between HR Experts and Software Engineers**:
- When deploying a new company's system or updating an existing client's system, it usually requires HR experts to determine the applicable rules. If these rules need to be input into the system through software engineers, it leads to significant overhead, delays, and communication errors. Therefore, it is desirable for HR experts to configure as much of the system as possible without the help of software engineers.

2. **Scalability of Rule Expression**:
- HR experts may encounter a variety of rules, and existing languages may not cover all possible needs. Therefore, the language used needs to be not only easy to use but also capable of easily extending new language features without invalidating existing models.

3. **Computational Efficiency**:
- Although the system is required to be flexible, the processing time for a single employee shift must be less than 1 second. This is particularly challenging when dealing with shifts spanning multiple time periods, as the points of wage rate changes are unknown and determined by complex rules.

To address the above issues, the paper proposes a method based on Multi-shot Answer Set Programming (ASP) and decision tables. Specifically, the paper adopts the following methods:

- Using a flexible ASP model and a readable tabular representation based on the Decision Model and Notation (DMN) standard, allowing HR consultants to express complex rules without the help of software engineers.
- Utilizing the multi-shot solving capabilities of the clingo ASP system to achieve the performance levels required for handling real-world cases.