Constraint-Based Reasoning: AI-Alerts