Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

17 Downloads (Pure)


Multi-component machines deployed, e.g., in paper and steel industries, have complex physical and functional dependencies between their components. This profoundly affects how they are maintained and motivates the use of logic-based optimization methods for scheduling preventive maintenance actions. Recently, an abstraction of maintenance costs, called miscoverage, has been proposed as an objective function for the preventive maintenance scheduling (PMS) of such machines. Since the minimization of miscoverage has turned out to be a computationally demanding task, the current paper studies ways to improve its efficiency. Given different answer set optimization encodings of the PMS problem, we motivate constraints that prune away some sub-optimal and otherwise redundant or invalid schedules from the search space. Our experimental results show that these constraints may enable up to ten-fold speed-ups in scheduling times, thus pushing the frontier of practically solvable PMS problem instances to longer timelines and larger machines.
Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings
EditorsMichael Hanus, Daniela Inclezan
Number of pages16
ISBN (Electronic)978-3-031-24841-2
ISBN (Print)978-3-031-24840-5
Publication statusPublished - 2023
Publication typeA4 Article in conference proceedings
EventInternational Symposium on Practical Aspects of Declarative Languages - Boston Park Plaza, Boston, United States
Duration: 16 Jan 202317 Jan 2023
Conference number: 25th

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Nature
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Symposium on Practical Aspects of Declarative Languages
Abbreviated titlePADL 2023
Country/TerritoryUnited States
Internet address


  • answer set programming
  • optimization problems
  • preventive maintenance scheduling
  • search space pruning
  • symmetry breaking
  • inter-component dependencies
  • scalability

Publication forum classification

  • Publication forum level 1


Dive into the research topics of 'Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling'. Together they form a unique fingerprint.

Cite this