Category Archives: Logic and AI

Jan 14 – World Logic Day

On 14 January 2021, we celebrate World Logic Day. UNESCO proclaimed World Logic Day in 2019, in association with the International Council for Philosophy and Human Sciences (CIPSH), to enhance public understanding of logic and its implications for science, technology and innovation. There is a … Continue reading

Posted in Events, Logic and AI | Leave a comment

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