Specification languages and ASP-based solutions for scheduling problems in Healthcare

In the Digital Health domain, there are many scheduling problems that are important to solve to improve the quality of the medical cares offered and patients’ satisfaction. Following this need, we want to contribute to the resolution of these problems. Especially, in recent years, the AI language Answer Set Programming (ASP) has been successfully applied in scheduling problems such as the ones we want to solve, proving to be an efficient solution. However, despite the success of ASP, solutions of this type are not easy to implement and to be accepted by people without a background in logic programming, making it difficult to use and deploy in real-world contexts. Hence, the aim is also to define a specification language, i.e. a controlled natural language (CNL), and to develop a tool called CNL2ASP that allows to convert such language into AI languages and, in particular, into ASP as first target language.