https://hal.inrae.fr/hal-02847674Schiex, ThomasThomasSchiexUBIA - UnitÃ© de BiomÃ©trie et Intelligence Artificielle - INRA - Institut National de la Recherche AgronomiqueVerfaillie, G.G.VerfaillieNogood recording for static and dynamic constraint satisfaction problemsHAL CCSD1994INTELLIGENCE ARTIFICIELLE[SDV] Life Sciences [q-bio]ProdInra, Migration2020-06-07 19:30:242022-03-18 03:32:482020-06-07 19:30:24enConference papers1Many AI synthesis problems such as planning, scheduling or design may be encoded in a constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all given constraints between these variables. However, for many real tasks, the set of constraints to consider may evolve because of the environment or because of user interactions. The notion of dynamic cCSP (DCSP) [DD88 has been proposed to represent such evolutions. The problem we consider here is the solution maintenance problem in a DCSP. Naively applying usual satisfaction algorithms to this problem results in redundant search and inefficiency. A general approach to suppress redundancies in case of both restrictions and relaxations is to concisely represent the frontier of the solution space and justifications of this frontier in terms of set of constraints. This paper proposes a new class of constraint recording algorithms called nogood recording that may be used for solving both dynamic CSPs and usual CSP (called static CSPs here). It offers an interesting compromise, polynomially bounded in space, between an ATMS-like (Assumption-based Truth Maintenance System) approach, that would give a precise and exhaustive description of the frontier, and the usual constraint satisfaction algorithms (that discover a new frontier at each execution). We first introduce the principles used for nogood generation and then examine various recording schemes, on top of different tree search algorithms, characterizing the tradeoffs between the amount of recorded constraints and the pruning achieved. We then present experimental results and comparisons with various existing techniques for solving static or dynamic CSP.