Interactive Model Expansion in an Observable Environment

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