Artificial intelligence has goal knowledge representation and reasoning
Tools
Logic
Logic
is used for highly formalized kinds of knowledge representation and problem-solving, but it can be applied to other areas as well,  although it is not effective in real-world circumstances where faster, probabilistic reasoning is required.