Category Archives: Logic and AI

What Bertrand Russell would say today

Posted on December 5, 2025 by decisionmanagementcommunity

Martin Milani: “Bertrand Russell didn’t trust language to express truth. He built a new system—formal logic—to make thought precise. In Principia Mathematica, Russell didn’t try to say things clearly. He tried to prove them. Today’s AI skips that step. It … Continue reading →

Posted in Artificial Intelligence, Knowledge Representation, LLM, Logic and AI, Scientists | Leave a comment

Why Ontology driven (LLM-free) AI systems are needed

Posted on October 11, 2025 by decisionmanagementcommunity

On 7 October 2025, Bas van der Raadt presented “Ontology and business rules in practice” at VU Amsterdam where he talked about:– Problems with code based systems– Why ontology driven AI systems are needed– What is an ontology?– How to … Continue reading →

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

Challenge Oct-2024 “Cheryl’s Birthday”

Posted on October 17, 2024 by decisionmanagementcommunity

This month we ask our readers to solve a well-known logic puzzle from Singapore “Cheryl’s Birthday“. The objective is to determine the birthday of a girl named Cheryl using a handful of clues given to her friends Albert and Bernard. … Continue reading →

Posted in Challenges, Decision Modeling, LLM, Logic and AI | Tagged , , | Leave a comment

Have Chatbots Reached the Holy Grail?

Posted on August 31, 2024 by decisionmanagementcommunity

On Sep 2, 2024 Prof Gene Freuder will run The Seventh Workshop on Progress Towards the Holy Grail. It will include the panel “Have Chatbots Reached the Holy Grail?”. You can read answers of 3 experts in constraint programming here. Similarly … Continue reading →

Posted in LLM, Logic and AI | Leave a comment

Combining Constraint Solvers and LLMs

Posted on June 11, 2024 by decisionmanagementcommunity

David Ferrucci: “Ever wondered how AI can tackle complex enterprise problems with precision and reliability? By combining constraint solvers and LLMs, we can turn natural language into actionable knowledge that drives intelligent applications. This approach ensures that our solutions are … Continue reading →

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

Knowing-How and Knowing-That

Posted on August 22, 2023 by decisionmanagementcommunity

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

Posted on July 22, 2023 by decisionmanagementcommunity

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

Posted on April 26, 2023 by decisionmanagementcommunity

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

Posted on June 14, 2022 by decisionmanagementcommunity

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 on May 13, 2022 by decisionmanagementcommunity
Posted in DecisionCAMP, Digital Decisioning, Events, Knowledge Representation, Logic and AI | Leave a comment