Category Archives: Logic and AI

Knowing-How and Knowing-That

Dr. Saba discusses our use of the phrase ‘I know’ in our everyday linguistic communication and points to the critical difference in the two major uses of the phrase. His point is that ML, as it is practiced today, is … Continue reading

Posted in Knowledge Representation, Logic and AI, Machine Learning | Leave a comment

Combining Symbolic AI with LLMs

Dr. Walid Saba makes a compelling case for combining #symbolic #AI with the strengths of large language models. The limitations of current #LLMs are well articulated, especially the lack of explainability and failures in intentional contexts. Moving to a symbolic system could address these issues.  His paper … Continue reading

Posted in Artificial Intelligence, LLM, Logic and AI, Rule Engines and BRMS | 1 Comment

Semantics, Ontology and Explanation

While ChatGPT dominates social forums, scientists quietly continue to work on real understanding of our surrounding using 100-years-old concepts of Logic, Semantics, and more recently Ontologies. Computer science people build symbolic models to represent their assumptions about a certain domain … Continue reading

Posted in Artificial Intelligence, Knowledge Representation, Logic and AI, Semantic Web | Leave a comment

2022 is the Year of Prolog

In the summer of 1972, Alain Colmerauer and his team in Marseille developed and implemented the first version of the logic programming language Prolog. Together with Robert Kowalski and his colleagues in Edinburgh, this work laid the practical and theoretical … Continue reading

Posted in Constraint Programming, Events, Knowledge Representation, Languages, Logic and AI | Leave a comment

Keynotes at DecisionCAMP and Declarative AI

Posted in DecisionCAMP, Digital Decisioning, Events, Knowledge Representation, Logic and AI | Leave a comment

Semantic Rules & Machine Learning

Dr. Walid Saba discusses the limitations of the data-driven, statistical and machine learning (ML) approaches that are the currently dominant paradigm in the use of natural language processing (NLP) in text analytics. Using very simple examples, he argues that these … Continue reading

Posted in Knowledge Representation, Logic and AI, Machine Learning, Natural Language Processing | Leave a comment

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