4 ms·
Personally, I find the lack of logic programming, and logic in general, a rather notable property of the outlined curriculum. In fact, "logic" is nowhere explic
by triska 8y ago
Personally, I find the lack of logic programming, and logic in general, a rather notable property of the outlined curriculum. In fact, "logic" is nowhere explicitly mentioned in the course titles. Neither are "formal" and "method".
For comparison, at the department of AI in Edinburgh, Prolog was very important and even actively developed to such an extent that current Prolog systems are still hugely influenced by "Edinburgh Prolog" (the original version being "Marseille Prolog"). Also, theorem proving is an important area of computer science with many connections to AI.
In Vienna (TU Wien), the related Computational Intelligence curriculum also involves a lot of logic, Prolog, constraint solving and formal methods, which play an important role in many areas of AI. It is a graduate degree though and assumes familiarity with many of the topics that are mentioned in this curriculum.
- ciscoriordan 8y agoMath Foundations of Computer Science (15-151) covers proofs, combinatorics, etc. https://csd.cs.cmu.edu/course-profiles/15-151-Mathematical-Foundations-for-Computer-Science https://csd.cs.cmu.edu/course-profiles/15-151-Mathematical-F...
- triska 8y agoYes, this is the book from the course's page: http://www.math.cmu.edu/~jmackey/151_128/infdes.pdf http://www.math.cmu.edu/~jmackey/151_128/infdes.pdf This definitely has some aspects of formal logic in it and contains a few definitions about proofs, theorems etc. The logic-oriented aspects are covered in Appendix B ("Foundations"), which is currently unfinished. Still, this is no substitute for, and clearly does not intend to be, a course on formal logic, let alone logic programming or model checking.
- joshuamorton 8y ago>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.
- mepian 8y agoIs 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?
- joshuamorton 8y agoNo, but if you want to solve certain useful problems, ml works and expert systems don't. That's what I was getting at.
- z3phyr 8y ago> You can't define a procedure to recognize a happy face in logic programming, at least not with any degree of efficiency This cannot be the test to differentiate between AI and "AI"?
- gowld 8y agoProlog, constraint solving and formal methods are pre-AI forms of AI.