Show notes
Our guest today is Dr. Ken Forbus, the Walter P. Murphy Professor of Computer Science and a Professor of Education at Northwestern University.Joining Dr. Ken Ford to co-host today’s interview is Dr. James Allen, who was IHMC’s associate director until he retired a few years ago. James is a founding fellow of the American Association for Artificial Intelligence and a perfect fit for today’s discussion with Dr. Forbus, who, like James, is an AI pioneer. Back in 2022, James was named a fellow by the Association for Computational Linguistics, an organization that studies computational language processing, another field he helped pioneer.Dr. Forbus also is a Fellow of the Association for the Advancement of Artificial Intelligence and was the inaugural winner of the Herbet A. Simon Prize for Advances in Cognitive Systems. He is well-known for his development of the Structure Mapping Engine. In artificial intelligence and cognitive science, the Structure Mapping Engine is a computer simulation of analogy and similarity comparisons that helped pave the way for computers to reason more like humans.Show Notes:[[[[[[[[00:13:22] James mentions that 1984 was also the year that Dr. Forbus made his first splash in the AI world with his paper on qualitative process theory. James goes on to explain that at the time, qualitative reasoning regarding quantities was a major problem for AI. In his paper, Dr. Forbus proposed qualitative process theory as a representational framework for common sense physical reasoning, arguing that understanding common sense physical reasoning first required understanding of processes and their effects and limits. James asks Dr. Forbus to give an overview of this paper and its significance.[[00:19:14] James explains that Dedre’s Structure Mapping Theory explains how people understand and reason about relationships between different situations, which is central to human cognition. James asks Dr. Forbus how Dedre’s theory was foundational for the Structure Mapping Engine (SME).[00:25:19] Ken mentions how SME has gone through a number of changes and improvements over the years, as documented in Dr. Forbus’ 2016 paper “Extending SME to handle large scale cognitive modeling.” Ken asks, as a cognitive model, what evidence Dr. Forbus has used to argue for the psychological and cognitive plausibility of SME.[[00:35:21] James mentions that Dr. Forbus has been working a lot over the past decade on companion cognitive architectures, which aim to reach human level AI, by creating software social organisms, which are systems that interact with people using natural modalities. Dr. Forbus elaborated on this in a 2016 paper titled “Software social organisms: Implications for measuring AI progress” where he argued that achieving human level AI is equivalent to learning how to create sufficiently smart software social organisms. James asks Dr. Forbus to briefly describe this concept.[00:44:18] James mentions that Dr. Forbus’ goal with this system is to create systems that can interact with people as apprentices or collaborators rather than just tools. In Dr. Forbus’ paper “Analogy and Qualitative Representations in the Companion Cognitive Architecture ,” he presents two hypotheses on how to create such systems. Starting with the first, James asks Dr. Forbus to elaborate on his hypothesis regarding analogical reasoning and learning, incorporating retrieval and generalization as well as SME capability for analogical matching.[[[00:52:00] Ken pivots to discuss Dr. Forbus’ book “Qualitative Representations: How People Reason and Learn About the Continuous World” in which Dr. Forbus proposes that qualitative representations, which are symbolic representations that carve continuous phenomena into meaningful units, hold the key to one of the deepest mysteries of cognitive science and are central to human cognition. Ken asks Dr. Forbus to talk about his book and its key points.[00:57:32] James explains that Dr. Forbus followed up his book with a review in Science Direct, exploring how visual reasoning tasks involving comparison provide insights into how people make similarity and difference judgements. James goes on to mention that Dr. Forbus and his colleague Andrew Lovett summarized evidence that the same structure mapping comparison processes that seem to be used elsewhere in cognition can be used to model comparison in human visual reasoning tasks, and this relies on qualitative visual relationships computed using CogSketch, a model of high-level human vision. James asks Dr. Forbus to talk about these findings.[[[01:02:34] Ken brings up another one of Dr. Forbus’ papers, which focused on the issues of adversarial attacks on ethical AI systems. The paper investigated moral axioms and the use of deontic logic in a norm learning framework. They found that adding axiomatic moral prohibitions and deontic inference rules to a norm learning model will make it less vulnerable to adversarial attacks. Ken asks Dr. Forbus to talk more about this.[[[Links:Learn more about IHMCSTEM-Talk homepageKen Ford bioKen Ford Wikipedia pageDawn Kernagis bioKen Forbus bio



