3,363 research outputs found

    Generalizing inconsistency learning for constraint satisfaction

    Get PDF
    Constraint satisfaction problems, where values are sought for problem variables subject to restrictions on which combinations of values are acceptable, have many applications in artificial intelligence. Conventional learning methods acquire individual tuples of inconsistent values. These learning experiences can be generalized. We propose a model of generalized learning, based on inconsistency preserving mappings, which is sufficiently focused so as to be computationally cost effective. Rather than recording an individual inconsistency that led to a failure, and looking for that specific inconsistency to recur, we observe the context of a failure, and then look for a related context in which to apply our experience opportunistically. As a result we leverage our learning power. This model is implemented, extended and evaluated using two simple but important classes of constraint problems

    Propagators and Solvers for the Algebra of Modular Systems

    Full text link
    To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Formally, an expression of the algebra defines a class of structures. Many expressive formalism used in practice solve the model expansion task, where a structure is given on the input and an expansion of this structure in the defined class of structures is searched (this practice overcomes the common undecidability problem for expressive logics). In this paper, we construct a solver for the model expansion task for a complex modular systems from an expression in the algebra and black-box propagators or solvers for the primitive modules. To this end, we define a general notion of propagators equipped with an explanation mechanism, an extension of the alge- bra to propagators, and a lazy conflict-driven learning algorithm. The result is a framework for seamlessly combining solving technology from different domains to produce a solver for a combined system.Comment: To appear in the proceedings of LPAR 2

    Ergonomic Chair Design by Fusing Qualitative and Quantitative Criteria using Interactive Genetic Algorithms

    Get PDF
    This paper emphasizes the necessity of formally bringing qualitative and quantitative criteria of ergonomic design together, and provides a novel complementary design framework with this aim. Within this framework, different design criteria are viewed as optimization objectives; and design solutions are iteratively improved through the cooperative efforts of computer and user. The framework is rooted in multi-objective optimization, genetic algorithms and interactive user evaluation. Three different algorithms based on the framework are developed, and tested with an ergonomic chair design problem. The parallel and multi-objective approaches show promising results in fitness convergence, design diversity and user satisfaction metrics

    The Role of Relapse Prevention and Goal Setting in Training Transfer Enhancement

    Get PDF
    This article reviews the effect of two post-training transfer interventions (relapse prevention [RP] and goal setting [GS]) on trainees’ ability to apply skills gained in a training context to the workplace. Through a review of post-training transfer interventions literature, the article identifies a number of key issues that remain unresolved or underexplored, for example, the inconsistent results on the impact of RP on transfer of training, the lack of agreement on which GS types are more efficient to improve transfer performance, the lack of clarity about the distinction between RP and GS, and the underlying process through which these two post-training transfer interventions influence transfer of training. We offer some recommendations to overcome these problems and also provide guidance for future research on transfer of training

    Lazy Repairing Backtracking for Dynamic Constraint Satisfaction Problems

    Get PDF
    Extended Partial Dynamic Backtracking (EPDB) is a repair algorithm based on PDB. It deals with Dynamic CSPs based on ordering heuristics and retroactive data structures, safety conditions, and nogoods which are saved during the search process. In this paper, we show that the drawback of both EPDB and PDB is the exhaustive verification of orders, saved in safety conditions and nogoods, between variables. This verification affects remarkably search time, especially since orders are often indirectly deduced. Therefore, we propose a new approach for dynamically changing environments, the Lazy Repairing Backtracking (LRB), which is a fast version of EPDB insofar as it deduces orders directly through the used ordering heuristic. We evaluate LRB on various kinds of problems, and compare it, on the one hand, with EPDB to show its effectiveness compared to this approach, and, on the other hand, with MAC-2001 in order to conclude, from what perturbation rate resolving a DCSP with an efficient approach can be more advantageous than repair

    Improving No-Good Learning in Binary Constraint Satisfaction Problems

    Get PDF
    Conflict-Directed Backjumping (CBJ) is an important mechanism for improving the performance of backtrack search used to solve Constraint Satisfaction Problems (CSPs). Using specialized data structures, CBJ tracks the reasons for failure and learns inconsistent combinations (i.e., no-goods) during search. However, those no-goods are forgotten as soon as search backtracks along a given path to shallower levels in the search tree, thus wasting the opportunity of exploiting such no-goods elsewhere in the search space. Storing such no-goods is prohibitive in practice because of space limitations. In this thesis, we propose a new strategy to preserve all no-goods as they are discovered and to reduce them into no-goods of smaller sizes without diminishing their pruning power. We show how our strategy improves the performance of search by exploiting the no-goods discovered by CBJ, and saves on storage space by generalizing them
    • 

    corecore