One thing I've been always fascinated with was the Symbolic Systems course at Stanford. It was a fascinating curriculum involving a mix of Computer Science/AI, Philosophy and Linguistics. I've tried searching for material online, but it's a course taken by only a few people every year and there isn't a whole lot of information available online. If someone reading this studied that/or knows about the methodology/syllabus, I'd love to delve into it!
That's "traditional AI". I once took John McCarthy's course,
"Epistemological problems in artificial intelligence", also known as "Dr. John's Mystery Hour". It was about how to hammer the real world into predicate calculus. That turned out to be mostly a dead end.
