The biggest surprise for me in the "Measuring trends in Artificial Intelligence" from Stanford University (a must read BTW) is a section on measuring progress on symbolic (or logical) reasoning in AI, which is the process of drawing conclusions from sets of assumptions. They consider two major reasoning problems, Boolean Satisfiability (SAT) and Automated Theorem Proving (ATP). Each has real-w…
Most Popular Content on DSC
To not miss this type of content in the future, subscribe to our newsletter.
Other popular resources
Most popular articles