I hope this question is ok here, but since I have found a tag which deals with these issues (profession), I'll ask away. I also hope this may be useful to other people with similar doubts, since I am failing to find valuable information on this topic online.
I am interested in the theoretical side of CS, such as computability, logic, complexity theory and formal methods. At the same time, I am deeply fascinated by Artificial Intelligence and the questions it poses to our understanding of the notion of intelligence and what does it mean to be a human being.
In general, is AI a more "applied"/engineeristic field, or are there theoretical aspects to research in?
In short: If I prefer formal/theoretical compsci, is AI a bad career choice?
(note: I am asking this because I am a CS undergrad considering getting into a AI MSc).