Product Configuration in Answer Set Programming
- URL: http://arxiv.org/abs/2109.08304v1
- Date: Fri, 17 Sep 2021 01:51:11 GMT
- Title: Product Configuration in Answer Set Programming
- Authors: Seemran Mishra (University of Potsdam, Germany)
- Abstract summary: 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.
A domain-independent ASP encoding is provided that represents the concepts in the configuration problem.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- 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.
Related papers
- Dominating Set Reconfiguration with Answer Set Programming [0.5242869847419832]
We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP)
Our approach relies on a high-level ASP encoding, and both the grounding and solving tasks are delegated to an ASP-based solver.
arXiv Detail & Related papers (2024-08-14T12:38:12Z) - Solving Multi-Configuration Problems: A Performance Analysis with Choco
Solver [49.712444772173775]
In this paper, we exemplify the application of multi-configuration for generating individualized exams.
We also provide a constraint solver performance analysis which helps to gain some insights into corresponding performance issues.
arXiv Detail & Related papers (2023-10-04T08:34:32Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
We show how to apply conjunctive queries to solve constraint satisfaction problems.
This approach allows the application of a wide-spread database technology to solve configuration tasks.
arXiv Detail & Related papers (2023-04-26T10:08:07Z) - Towards Knowledge-Intensive Text-to-SQL Semantic Parsing with Formulaic
Knowledge [54.85168428642474]
We build a new Chinese benchmark Know consisting of domain-specific questions covering various domains.
We then address this problem by presenting formulaic knowledge, rather than by annotating additional data examples.
More concretely, we construct a formulaic knowledge bank as a domain knowledge base and propose a framework (ReGrouP) to leverage this formulaic knowledge during parsing.
arXiv Detail & Related papers (2023-01-03T12:37:47Z) - Applying Incremental Answer Set Solving to Product Configuration [0.0]
We show how to use incremental answer set solving to solve product problems incrementally.
Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism.
We show applications of this technique for reasoning about product configuration, like simulating the behavior of a deterministic configuration algorithm.
arXiv Detail & Related papers (2022-07-18T13:38:12Z) - Configuring Multiple Instances with Multi-Configuration [48.98522706358725]
We introduce a new configuration approach - multi-configuration - that focuses on scenarios where the outcome of a configuration process is a set of configurations.
Example applications thereof are the configuration of personalized exams for individual students, the configuration of project teams, reviewer-to-paper assignment, and hotel room assignments.
For multi-configuration scenarios, we exemplify a constraint satisfaction problem representation in the context of configuring exams.
arXiv Detail & Related papers (2021-09-20T17:04:56Z) - Recommender Systems for Configuration Knowledge Engineering [55.41644538483948]
We show how recommender systems can support knowledge base development and maintenance processes.
We report the results of empirical studies which show the importance of user-centered configuration knowledge organization.
arXiv Detail & Related papers (2021-02-16T12:29:54Z) - An Overview of Recommender Systems and Machine Learning in Feature
Modeling and Configuration [55.67505546330206]
We give an overview of a potential new line of research which is related to the application of recommender systems and machine learning techniques.
In this paper, we give examples of the application of recommender systems and machine learning and discuss future research issues.
arXiv Detail & Related papers (2021-02-12T17:21:36Z) - An application of Answer Set Programming in Distributed Architectures:
ASP Microservices [0.0]
We propose an approach to the definition of IoT with an Answer Set Programming (ASP) core'
Such ASP-based components might be employed in distributed architectures related to Cloud Computing or to the Internet of Things (IoT)
arXiv Detail & Related papers (2020-09-22T00:50:46Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.