Solver Requirements for Interactive Configuration

Falkner, Andreas A.; Haselböck, Alois; Krames, Gerfried; Schenner, Gottfried; Schreiner, Herwig; Taupe, Richard

doi:10.3897/jucs.2020.019

Cited by 5 publications

(5 citation statements)

References 6 publications

(7 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…System further assists User by informing them of the logical consequences of what is known in the current state. Such knowledge is of great value to User, and is used in most interactive assistant tools (Van Hertum et al 2017;Falkner et al 2019). It reduces the number of decisions that User has to make, and shortens the interaction in a way analogous to how unit propagation accelerates the naive backtracking algorithm in propositional satisfiability checking.…”

Section: Propagationmentioning

confidence: 99%

“…The configuration problem, that is, the problem of configuring a complex system out of simpler components to satisfy customer requirements, is a special case of model expansion that has been studied, for example, by Felfernig et al (2014b). Several authors have discussed interactive tools to solve configuration problems (Hotz et al 2014;Madsen 2003;Van Hertum et al 2017;Falkner et al 2019). Our work is orthogonal to these studies.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Interactive Model Expansion in an Observable Environment

Carbonnelle¹,

Vennekens²,

Denecker³

et al. 2023

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Many practical problems can be understood as the search for a state of affairs that extends a fixed partial state of affairs, the environment, while satisfying certain conditions that are formally specified. Such problems are found in, for example, engineering, law or economics. We study this class of problems in a context where some of the relevant information about the environment is not known by the user at the start of the search. During the search, the user may consider tentative solutions that make implicit hypotheses about these unknowns. To ensure that the solution is appropriate, these hypotheses must be verified by observing the environment. Furthermore, we assume that, in addition to knowledge of what constitutes a solution, knowledge of general laws of the environment is also present. We formally define partial solutions with enough verified facts to guarantee the existence of complete and appropriate solutions. Additionally, we propose an interactive system to assist the user in their search by determining (1) which hypotheses implicit in a tentative solution must be verified in the environment, and (2) which observations can bring useful information for the search. We present an efficient method to over-approximate the set of relevant information, and evaluate our implementation.

show abstract

Section: Propagationmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Interactive Model Expansion in an Observable Environment

Carbonnelle¹,

Vennekens²,

Denecker³

et al. 2023

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

show abstract

“…Falkner et al (2019) described several requirements for PCS. First, the system has to identify preferred and default solutions, guide the user to the most common configuration, and use filters to offer to the user as few alternatives as possible that do not lead to a valid solution.…”

Section: Related Workmentioning

confidence: 99%

“…Finally, professional actors can consult a semantic wiki and validate and/or evaluate this information by approving them, modifying them or rejecting them (Monticolo et al, 2020). Falkner et al (2019) described several requirements for PCS. First, the system has to identify preferred and default solutions, guide the user to the most common configuration, and use filters to offer to the user as few alternatives as possible that do not lead to a valid solution.…”

Section: Related Workmentioning

confidence: 99%

A knowledge‐based system for electric motors compliance verification in a multinational‐level company

Haselein

Silva

2022

Expert Systems

View full text Add to dashboard Cite

Electric motors are highly customizable products that have to meticulously comply with the client's needs, commercial and legal requirements of each market. In this context, the configure‐to‐order (CTO) approach allows the user to define the product configuration at the time of the order and the supplier to develop a product that meets the customer's needs. This paper presents an object‐oriented knowledge‐based system (OOKBS) that integrates rule‐ and case‐based reasoning to verify the compliance of a variant‐rich and complex product—electric motors—in a multinational‐level company. The system adopts a modular structure to evaluate distinct compliance aspects, such as technical constraints and commercial requirements, and to improve the compliance assessment based on the designs of motors previously sold. The work targeted a product line with significant market share in North America, and is the result of a collaboration among the following teams: product compliance, international sales, engineering systems, and product engineering. In total, the system development involved nine experts from these areas. This study has the originality of presenting a product configuration system (PCS) that integrates rule‐based and case‐based approaches to verify the compliance of a modular product. The results indicate a reduction of 73% of internal technical queries within the prototype scope. Moreover, the system usability tests highlight the completeness of outcomes, quick access to information, and easy integration of automatic product compliance verification into the company's design flow. Furthermore, we discussed how the system was effectively implemented in a design routine based on both concurrent engineering and CTO scenarios.

show abstract

“…Another important aspect particularly relevant for engineering configurators in industry are complex user actions [2,3,5]. Whereas in simple consumer configurators a user typically selects attribute values, e.g., "choose color of t-shirt, " in an engineering configurator a user action can lead to the creation of hundreds of sub-components, e.g., "configure power supply for railway system. "…”

Section: Introductionmentioning

confidence: 99%

Applying incremental answer set solving to product configuration

Comploi-Taupe

Francescutto

Schenner

2022

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B

Self Cite

View full text Add to dashboard Cite

In this paper, we apply incremental answer set solving to product configuration. Incremental answer set solving is a stepwise incremental approach to Answer Set Programming (ASP). We demonstrate how to use this technique to solve product configurations problems incrementally. Every step of the incremental solving process corresponds to a predefined configuration action. Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism and performance of the solving process. We show applications of this technique for reasoning about product configuration, like simulating the behavior of a deterministic configuration algorithm and describing user actions.

show abstract

Solver Requirements for Interactive Configuration

Cited by 5 publications

References 6 publications

Interactive Model Expansion in an Observable Environment

Interactive Model Expansion in an Observable Environment

A knowledge‐based system for electric motors compliance verification in a multinational‐level company

Applying incremental answer set solving to product configuration

Contact Info

Product

Resources

About