A general framework of constraint propagation for diagnostic systems.
Ryuji TsuchiyaTakahiko OginoPublished in: Jerusalem Conference on Information Technology (1990)
Keyphrases
- constraint propagation
- diagnostic systems
- temporal reasoning
- temporal constraints
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- model based diagnosis
- constraint satisfaction
- constraint solving
- model based reasoning
- constrained problems
- fault localization
- quantifier elimination
- arc consistency
- search space
- finite domain
- interval arithmetic
- russian doll search
- path consistency
- linear programming
- constraint networks
- image enhancement
- reinforcement learning
- high level
- image processing