The Logic Theorist was a breakthrough, says Babintseva, because it was the first program in symbolic AI, which uses symbols or concepts, rather than data, to train AI to think like a person.

Logic forms the basis for many types of reasoning used by humans – researchers in AI have extended classical logic over the years to numerous more “exotic” logics. This course will cover the ...

Most ordinary people know little about the calculus, statistics, linear algebra, logic, and programming languages required to design projects and products to leverage artificial intelligence.