Earlier quoted context omitted.
>Also, theorem proving is an important area of computer science with many connections to AI. I think this is only true if you use a different definition of AI than the one likely used here. Expert systems aren't considered to be very effective tools for useful "AI" anymore. You can't define a procedure to recognize a happy face in logic programming, at least not with any degree of efficiency.
Is recognizing happy faces the only use for AI? Who redefined AI to solely mean Machine Learning and excluded everything else that defined it before the AI winter?
Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
271–280 of 362 posts
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#272IMHO, a "modest proposal" for the the CMU CS AI degree, CMU CS, and much of STEM field academics: Have much of the department and program borrow from clinical medicine . So, have the department be in part a clinic for solving problems from outside academics via STEM material, information technology, CS, AI, etc. E.g., yes, continue to have seminars with graduate students and professors with, call it, solutions lookin…
Whenever it makes sense to ground research in practice, CMU professors generally do so by working with industry and govt collaborators. Many CMU CS professors also do some paid consulting on the side. However, top tier PhD programs are not and never will be highly discounted consulting shops. At places like CMU grad students have perhaps more academic freedom than even their advisors. And good thing. The day CMUs of…
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#273I really do not like this move. AI and Machine Learning require graduate-level mathematical and computational skills. I don't think it's productive to pretend that we can train someone to be even remotely useful in these fields in four years of an undergraduate education. It sounds like an attempt to get around the fundamentals of csci to "skip to the interesting bits," which will produce graduates with a cursory kno…
Absolutely false, I can't believe this comment is up voted. Undergrad Linear Algebra & Statistics is definitely enough for ML. In fact, they taught introductory ML at my old high school in AP CS, years ago.
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#274I really do not like this move. AI and Machine Learning require graduate-level mathematical and computational skills. I don't think it's productive to pretend that we can train someone to be even remotely useful in these fields in four years of an undergraduate education. It sounds like an attempt to get around the fundamentals of csci to "skip to the interesting bits," which will produce graduates with a cursory kno…
Given the nature of machine learning, even if you understand the mathematics behind it, you cannot "reason" with a trained-model. I think now academia is catching up in this democratization effort, by producing engineers that can use those machine learning tools (even if they cannot design such tools/frameworks)
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#275I really do not like this move. AI and Machine Learning require graduate-level mathematical and computational skills. I don't think it's productive to pretend that we can train someone to be even remotely useful in these fields in four years of an undergraduate education. It sounds like an attempt to get around the fundamentals of csci to "skip to the interesting bits," which will produce graduates with a cursory kno…
I majored in AI before the current fad. It’s basically a concentration and depends on the University. It goes a little deeper on the AI side using electives.
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#276Earlier quoted context omitted.
You are describing those models as they are being applied (and as many introduction present them) not how they can be trained. To understand whether those models converge, how to calculate the solution to even a basic linear regression, you need graduate math: matrix algebra, differential calculus, topology.
To me, your statement is like saying an airline mechanic needs to have a pilot's license because he needs to know how the rudder affects the flight. There are three different roles that I think you are conflating: Designing, Building (and maintaining), and using. Each has a different skillset. But to think that you need to determine the convergence of models makes no sense to me. Why can't an undergrad build a simple…
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#277I think I now know how the electrical engineers felt in the '50s and '60s.
So that's what that feeling in my gut is. I'm struggling to find the time to learn ML/AI. This is another red flag to me that I should have been on this long ago.
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#278This seems like a publicity stunt. It sounds like a CS degree where the electives are predetermined. Why couldn't they just make this a concentration when it's so intimately intertwined with CS. The extra overhead graduates will have to deal with doesn't seem worth it. "AI majors will receive the same solid grounding in computer science and math courses as other computer science students. In addition, they will have…
Did you not bother looking at the curriculum before making a comment about the curriculum? https://www.cs.cmu.edu/bs-in-artificial-intelligence/curricu...
If you look over the curriculum and compare it the BS CS curriculum you'll notice there's nothing that couldn't have been done as a concentration.
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#279Earlier quoted context omitted.
The logic and languages cluster, while not exclusively a functional programming set, practically covers a lot of what one might think of as upper-division FP concepts. Foundations of PL and Semantics are bread and butter PL theory, for example.
But none of those are required in that section. You could take Software Foundations of Security and Privacy, or Foundations of Cyber-Physical Systems.
Software Foundations includes, for example, the use of type systems to ensure bug-freedom, program semantics, and more. Matt Fredrikson focuses on the intersection of formal programming languages research and security. For example, lecture 3: https://15316-cmu.github.io/lectures/03-safety.pdf
Cyber-physical is one of the hardest classes I've ever seen. Seriously - it combines very solid differential mathematics with logic and formal verification. It's a different set of skills than Semantics, but it combines a really solid dose of the same kind of logical and proof-centric thinking that advanced PL courses do. And rapidly runs into the logical underpinnings of both fields. For example, lecture 13: http://symbolaris.com/course/fcps16/13-diffchart.pdf
(In large part, this is because the course relies on identifying PL-style semantics of differential systems, and thus, students in the course end up being exposed to nearly identical proof methods as they do in the more straight-up PL semantics course, in addition to a lot of differential equations.)
Re: Carnegie Mellon Launches Undergraduate Degree in Artificial Intelligence
#280I really do not like this move. AI and Machine Learning require graduate-level mathematical and computational skills. I don't think it's productive to pretend that we can train someone to be even remotely useful in these fields in four years of an undergraduate education. It sounds like an attempt to get around the fundamentals of csci to "skip to the interesting bits," which will produce graduates with a cursory kno…
You could also say computer science is just discrete mathematics, and therefore people doing CS should rather study math. But we both know in practice they're substantially different lines of work.
At least he made it funny.