Nonmonotonic Logic: AI-Alerts