SoleX: A domain-independent scheme for constraint solver extension

1998 ◽  
pp. 222-233 ◽  
Author(s):  
Eric Monfroy ◽  
Christophe Ringeissen
Keyword(s):  
Constraint Solver ◽  
Domain Independent

scholarly journals Parallel Model-Based Diagnosis on Multi-Core Computers

2016 ◽  
Vol 55 ◽  
pp. 835-887 ◽  
Author(s):  
Dietmar Jannach ◽  
Thomas Schmitz ◽  
Kostyantyn Shchekotykhin
Keyword(s):  
Search Strategy ◽  
Parallel Model ◽  
System Behavior ◽  
Actual System ◽  
Constraint Solver ◽  
Hitting Set ◽  
Detection Techniques ◽  
Model Based ◽  
Abstract Description ◽  
Domain Independent

Model-Based Diagnosis (MBD) is a principled and domain-independent way of analyzing why a system under examination is not behaving as expected. Given an abstract description (model) of the system's components and their behavior when functioning normally, MBD techniques rely on observations about the actual system behavior to reason about possible causes when there are discrepancies between the expected and observed behavior. Due to its generality, MBD has been successfully applied in a variety of application domains over the last decades. In many application domains of MBD, testing different hypotheses about the reasons for a failure can be computationally costly, e.g., because complex simulations of the system behavior have to be performed. In this work, we therefore propose different schemes of parallelizing the diagnostic reasoning process in order to better exploit the capabilities of modern multi-core computers. We propose and systematically evaluate parallelization schemes for Reiter's hitting set algorithm for finding all or a few leading minimal diagnoses using two different conflict detection techniques. Furthermore, we perform initial experiments for a basic depth-first search strategy to assess the potential of parallelization when searching for one single diagnosis. Finally, we test the effects of parallelizing "direct encodings" of the diagnosis problem in a constraint solver.

Collective Choice and Mutual Knowledge Structures

1998 ◽  
Vol 01 (02n03) ◽  
pp. 221-236 ◽  
Author(s):  
Diana Richards ◽  
Brendan D. McKay ◽  
Whitman A. Richards
Keyword(s):  
Complex System ◽  
Social Choice ◽  
Group Decision ◽  
Knowledge Structure ◽  
Collective Choice ◽  
Sense Data ◽  
Mutual Knowledge ◽  
Interacting Agents ◽  
Aggregation Of Information ◽  
Domain Independent

The conditions under which the aggregation of information from interacting agents results in a stable or an unstable collective outcome is an important puzzle in the study of complex systems. We show that if a complex system of aggregated choice respects a mutual knowledge structure, then the prospects of a stable collective outcome are considerably improved. Our domain-independent results apply to collective choice ranging from perception, where an interpretation of sense data is made by a collection of perceptual modules, to social choice, where a group decision is made from a set of preferences held by individuals.

An incremental constraint solver

1990 ◽  
Vol 33 (1) ◽  
pp. 54-63 ◽  
Author(s):  
Bjorn N. Freeman-Benson ◽  
John Maloney ◽  
Alan Borning
Keyword(s):  
Constraint Solver
Sign in / Sign up

Export Citation Format

Share Document