I would also recommend studying up on logic - first-order predicate logic for starters, but also higher-order logics (which are useful for reasoning about beliefs, intentions, knowledge etc. - i.e. consider the statement "The moon is made of green cheese" vs "I think the moon is made of green cheese".
Studying logic is useful for working with meaning representations. Grammars, languages etc. are useful for the parsing etc. but language doesn't fall neatly into a nice easy to parse grammar because, well, we're human :)
The previous poster noted about statistics and probability - very important in current approaches. You might also want to look at Judea Pearl's work on probabilistic inference networks.
You might also want to look at some projects like CYC. It started off as a project for representing common sense knowledge (ultimately language is used to input meaning, and that meaning has to be represented, so knowledge representation is very important). He originally started off with a frames-based approach but by the end it looks like he was basically using a variant of first-order logic.
Some people from the CYC project worked on the semantic web, which is also about meaning representation, and you'll note that semantic web representation is once again an XML equivalent of first-order predicate logic.