Interactive Model Expansion in an Observable Environment

Abstract

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.

Knowledge-Based Support for Adhesive Selection: Will it Stick?

“…By itself, the KB cannot be executed: it is merely a "bag of knowledge," without information on how it should be used. The latest version of the IDP system, IDP-Z3 (Carbonnelle et al 2022), supports many different inference tasks that can be applied to this knowledge. We will briefly go over the inference tasks that are relevant: propagation, model expansion, optimization and explanation.…”

“…This paper is an extended version of (Vandevelde et al 2022), as presented at the LPNMR22 conference. Its main addition is a user study with the target users of the JML lab, in the form of semi-structured interviews.…”

Interactive feature modeling with background knowledge for validation and configuration

“…In the past, the IDP system has already proven itself as suitable tool for configuration problems [1,11,34,35]. Its approach works well to tackle complex configuration problems in an interactive way.…”