Category Archives: Logic and AI

Intuit Tax Knowledge Engine

Intuit just published a technical overview of their new Tax Knowledge Engine, the key innovation to make TurboTax smarter and more personalized for 37M+ consumers. First they listed key limitations for the traditional approach that are common for many rules-based … Continue reading

Posted in Artificial Intelligence, Business Rules, Explanations, Human-Machine Interaction, Knowledge Representation, Logic and AI | Leave a comment

The Poet of Logic Programming

An interview with Prof. Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and … Continue reading

Posted in Constraint Programming, Logic and AI | Leave a comment