Opinion: Your AI strategy needs mathematical logic

Writing for Fortune, Professor Byron Cook (UCL Computer Science) explains the need and importance of automated reasoning in artificial intelligence language models and how this can help reduce incorrect information from spreading through AI.