Product Configuration in Answer Set Programming

TL;DR

This paper introduces a foundational approach to representing product configuration knowledge in Answer Set Programming, including a fact format and a domain-independent encoding, demonstrated through a bike configuration example.

Contribution

It develops a fact format for product knowledge and provides a domain-independent ASP encoding for configuration problems, advancing ASP-based configuration systems.

Findings

Identified key concepts of product configuration in ASP

Developed a fact format for domain-specific knowledge

Provided a domain-independent ASP encoding

Abstract

This is a preliminary work on configuration knowledge representation which serves as a foundation for building interactive configuration systems in Answer Set programming (ASP). The major concepts of the product configuration problem are identified and discussed with a bike configuration example. A fact format is developed for expressing product knowledge that is domain-specific and can be mapped from other systems. Finally, a domain-independent ASP encoding is provided that represents the concepts in the configuration problem.