Mathematical methods for artificial intelligence and autonomous systems