Logic-based artificial intelligence in systems for monitoring the enforcing traffic regulations