Back to Search
Start Over
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
- Publication Year :
- 2016
- Publisher :
- arXiv, 2016.
-
Abstract
- Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver WASP was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens. This paper is under consideration for acceptance in TPLP.<br />Comment: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures
- Subjects :
- FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Computer Science - Artificial Intelligence
Computer science
Interface (Java)
0102 computer and information sciences
02 engineering and technology
Software_PROGRAMMINGTECHNIQUES
computer.software_genre
01 natural sciences
Theoretical Computer Science
Domain (software engineering)
Industrial Applications
Answer set programming
Artificial Intelligence
0202 electrical engineering, electronic engineering, information engineering
Implementation
Logic programming
Computer Science - Programming Languages
Answer Set Programming
Programming language
Domain Heuristics
Solver
Logic in Computer Science (cs.LO)
Artificial Intelligence (cs.AI)
Computational Theory and Mathematics
010201 computation theory & mathematics
Hardware and Architecture
Embedding
020201 artificial intelligence & image processing
Software
Heuristics
computer
Programming Languages (cs.PL)
Subjects
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi.dedup.....90cd5421fc03b82cde8d290612400ee7
- Full Text :
- https://doi.org/10.48550/arxiv.1608.00730