A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Generalized best-first search strategies and the optimality of A*
Journal of the ACM (JACM)
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
Characterizing diagnoses and systems
Artificial Intelligence
Building problem solvers
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Fast planning through planning graph analysis
Artificial Intelligence
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Decompositional, model-based learning and its analogy to diagnosis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A machine program for theorem-proving
Communications of the ACM
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Journal of Artificial Intelligence Research
A reactive planner for a model-based executive
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Fast context switching in real-time propositional reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Russian doll search for solving constraint optimization problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Mini-bucket heuristics for improved search
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A two-step hierarchical algorithm for model-based diagnosis
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Computing observation vectors for max-fault min-cardinality diagnoses
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Modeling when connections are the problem
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A new bayesian approach to multiple intermittent fault diagnosis
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Approximate model-based diagnosis using greedy stochastic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Diagnosing multiple intermittent failures using maximum likelihood estimation
Artificial Intelligence
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Reactive, model-based monitoring in RFID-enabled manufacturing
Computers in Industry
Conflict-Directed a* search for soft constraints
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Hi-index | 0.04 |
Artificial Intelligence has traditionally used constraint satisfaction and logic to frame a wide range of problems, including planning, diagnosis, cognitive robotics and embedded systems control. However, many decision making problems are now being re-framed as optimization problems, involving a search over a discrete space for the best solution that satisfies a set of constraints. The best methods for finding optimal solutions, such as A^*, explore the space of solutions one state at a time. This paper introduces conflict-directed A^*, a method for solving optimal constraint satisfaction problems. Conflict-directed A^* searches the state space in best first order, but accelerates the search process by eliminating subspaces around each state that are inconsistent. This elimination process builds upon the concepts of conflict and kernel diagnosis used in model-based diagnosis [J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32(1) (1987) 97-130; J. de Kleer, A. Mackworth, R. Reiter, Characterizing diagnoses and systems, Artif. Intell. 56 (1992) 197-222] and in dependency-directed search [R. Stallman, G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artif. Intell. 9 (1977) 135-196; J. Gaschnig, Performance measurement and analysis of certain search algorithms, Technical Report CMU-CS-79-124, Carnegie-Mellon University, Pittsburgh, PA, 1979; J. de Kleer, B.C. Williams, Back to backtracking: controlling the ATMS, in: Proceedings of AAAI-86, 1986, pp. 910-917; M. Ginsberg, Dynamic backtracking, J. Artif. Intell. Res. 1 (1993) 25-46]. Conflict-directed A^* is a fundamental tool for building model-based embedded systems, and has been used to solve a range of problems, including fault isolation [J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32(1) (1987) 97-130], diagnosis [J. de Kleer, B.C. Williams, Diagnosis with behavioral modes, in: Proceedings of IJCAI-89, 1989, pp. 1324-1330], mode estimation and repair [B.C. Williams, P. Nayak, A model-based approach to reactive self-configuring systems, in: Proceedings of AAAI-96, 1996, pp. 971-978], model-compilation [B.C. Williams, P. Nayak, A reactive planner for a model-based executive, in: Proceedings of IJCAI-97, 1997] and model-based programming [M. Ingham, R. Ragno, B.C. Williams, A reactive model-based programming language for robotic space explorers, in: Proceedings of ISAIRAS-01, 2001].