\n<\/p>\n
Will computers ever match or surpass human-level intelligence \u2014 and, if so, how? When the Association for the Advancement of Artificial Intelligence (AAAI), based in Washington DC, asked its members earlier this year whether neural networks \u2014 the current star of artificial-intelligence systems \u2014 alone will be enough to hit this goal, the vast majority said no. Instead, most said, a heavy dose of an older kind of AI will be needed to get these systems up to par: symbolic AI.<\/p>\n
Sometimes called \u2018good old-fashioned AI\u2019, symbolic AI is based on formal rules and an encoding of the logical relationships between concepts. Mathematics is symbolic, for example, as are \u2018if\u2013then\u2019 statements and computer coding languages such as Python, along with flow charts or Venn diagrams that map how, say, cats, mammals and animals are conceptually related. Decades ago, symbolic systems were an early front-runner in the AI effort. However, in the early 2010s, they were vastly outpaced by more-flexible neural networks. These machine-learning models excel at learning from vast amounts of data, and underlie large language models (LLMs), as well as chatbots such as ChatGPT.<\/p>\n
Now, however, the computer-science community is pushing hard for a better and bolder melding of the old and the new. \u2018Neurosymbolic AI\u2019 has become the hottest buzzword in town. Brandon Colelough, a computer scientist at the University of Maryland in College Park, has charted the meteoric rise of the concept in academic papers. These reveal a spike of interest in neurosymbolic AI that started in around 2021 and shows no sign of slowing down.<\/p>\n
If you’re enjoying this article, consider supporting our award-winning journalism by subscribing. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today.<\/p>\n
Plenty of researchers are heralding the trend as an escape from what they see as an unhealthy monopoly of neural networks in AI research, and expect the shift to deliver smarter and more reliable AI.<\/p>\n
A better melding of these two strategies could lead to artificial general intelligence (AGI): AI that can reason and generalize its knowledge from one situation to another as well as humans do. It might also be useful for high-risk applications, such as military or medical decision-making, says Colelough. Because symbolic AI is transparent and understandable to humans, he says, it doesn\u2019t suffer from the \u2018black box\u2019 syndrome that can make neural networks hard to trust.<\/p>\n
There are already good examples of neurosymbolic AI, including Google DeepMind\u2019s AlphaGeometry, a system reported last year that can reliably solve maths Olympiad problems \u2014 questions aimed at talented secondary-school students. But working out how best to combine neural networks and symbolic AI into an all-purpose system is a formidable challenge.<\/p>\n
\u201cYou\u2019re really architecting this kind of two-headed beast,\u201d says computer scientist William Regli, also at the University of Maryland.<\/p>\n
In 2019, computer scientist Richard Sutton posted a short essay entitled \u2018The bitter lesson\u2019 on his blog (see go.nature.com\/4paxykf). In it, he argued that, since the 1950s, people have repeatedly assumed that the best way to make intelligent computers is to feed them with all the insights that humans have arrived at about the rules of the world, in fields from physics to social behaviour. The bitter pill to swallow, wrote Sutton, is that time and time again, symbolic methods have been outdone by systems that use a ton of raw data and scaled-up computational power to leverage \u2018search and learning\u2019. Early chess-playing computers, for example, that were trained on human-devised strategies were outperformed by those that were simply fed lots of game data.<\/p>\n
This lesson has been widely quoted by proponents of neural networks to support the idea that making these systems ever-bigger is the best path to AGI. But many researchers argue that the essay overstates its case and downplays the crucial part that symbolic systems can and do play in AI. For example, the best chess program today, Stockfish, pairs a neural network with a symbolic tree of allowable moves.<\/p>\n
Neural nets and symbolic algorithms both have pros and cons. Neural networks are made up of layers of nodes with weighted connections that are adjusted during training to recognize patterns and learn from data. They are fast and creative, but they are also bound to make things up and can\u2019t reliably answer questions beyond the scope of their training data.<\/p>\n
Symbolic systems, meanwhile, struggle to encompass \u2018messy\u2019 concepts, such as human language, that involve vast rule databases that are difficult to build and slow to search. But their workings are clear, and they are good at reasoning, using logic to apply their general knowledge to fresh situations.<\/p>\n
When put to use in the real world, neural networks that lack symbolic knowledge make classic mistakes: image generators might draw people with six fingers on each hand because they haven\u2019t learnt the general concept that hands typically have five; video generators struggle to make a ball bounce around a scene because they haven\u2019t learnt that gravity pulls things downwards. Some researchers blame such mistakes on a lack of data or computing power, but others say that the mistakes illustrate neural networks\u2019 fundamental inability to generalize knowledge and reason logically.<\/p>\n
Many argue that adding symbolism to neural nets might be the best \u2014 even the only \u2014 way to inject logical reasoning into AI. The global technology firm IBM, for example, is backing neurosymbolic techniques as a path to AGI. But others remain sceptical: Yann LeCun, one of the fathers of modern AI and chief AI scientist at tech giant Meta, has said that neurosymbolic approaches are \u201cincompatible\u201d with neural-network learning.<\/p>\n
Sutton, who is at the University of Alberta in Edmonton, Canada, and won the 2024 Turing prize, the equivalent of the Nobel prize for computer science, holds firm to his original argument: \u201cThe bitter lesson still applies to today\u2019s AI,\u201d he told Nature. This suggests, he says, that \u201cadding a symbolic, more manually crafted element is probably a mistake.\u201d<\/p>\n
Gary Marcus, an AI entrepreneur, writer and cognitive scientist based in Vancouver, Canada, and one of the most vocal advocates of neurosymbolic AI, tends to frame this difference of opinions as a philosophical battle that is now being settled in his favour.<\/p>\n
Others, such as roboticist Leslie Kaelbling at the Massachusetts Institute of Technology (MIT) in Cambridge, say that arguments over which view is right are a distraction, and that people should just get on with whatever works. \u201cI\u2019m a magpie. I\u2019ll do anything that makes my robots better.\u201d<\/p>\n
Beyond the fact that neurosymbolic AI aims to meld the benefits of neural nets with the benefits of symbolism, its definition is blurry. Neurosymbolic AI encompasses \u201ca very large universe,\u201d says Marcus, \u201cof which we\u2019ve explored only a tiny bit.\u201d<\/p>\n
There are many broad approaches, which people have attempted to categorize in various ways. One option highlighted by many is the use of symbolic techniques to improve neural nets. AlphaGeometry is arguably one of the most sophisticated examples of this strategy: it trains a neural net on a synthetic data set of maths problems produced using a symbolic computer language, making the solutions easier to check and ensuring fewer mistakes. It combines the two elegantly, says Colelough. In another example, \u2018logic tensor networks\u2019 provide a way to encode symbolic logic for neural networks. Statements can be assigned a fuzzy-truth value: a number somewhere between 1 (true) and 0 (false). This provides a framework of rules to help the system reason.<\/p>\n
Another broad approach does what some would say is the reverse, using neural nets to finesse symbolic algorithms. One problem with symbolic knowledge databases is that they are often so large that they take a very long time to search: the \u2018tree\u2019 of all possible moves in a game of Go, for example, contains about 10170 positions, which is unfeasibly large to crunch through. Neural networks can be trained to predict the most promising subset of moves, allowing the system to cut down how much of the \u2018tree\u2019 it has to search, and thus speeding up the time it takes to settle on the best move. That\u2019s what Google\u2019s AlphaGo did when it famously outperformed a Go grandmaster.<\/p>\n
An alternative idea is to insert symbolics into the middle of an LLM\u2019s workflow, in the same way as consulting a calculator might help person to solve a maths puzzle. Using rules-based systems during crucial reasoning steps can help to keep LLMs from going off-track, many argue. Projects including the Program-Aided Language (PAL) model, for example, use an LLM to convert natural-language tasks into Python code, use that symbolic code to solve the problem, and then interpret that solution back into natural language with an LLM.<\/p>\n
Jiayuan Mao, an AI researcher who has just completed her PhD at MIT with Kaelbling and is on her way to the University of Pennsylvania in Philadelphia, has had success in using neurosymbolic AI to make robot training more efficient. Her strategy is to use a neural network to recognize objects (such as a red rubber ball or a green glass cube) in a visual field and then use a symbolic algorithm to reason through relational questions about those objects (such as \u2018is the rubber object behind the green object?\u2019). A pure neural network would need 700,000 examples in its training data to achieve 99% accuracy on this task, she says. But by adding symbolic techniques, she needs just 10% of that number. \u201cEven if you use 1%, you can still get 92% accuracy, which is quite impressive,\u201d she says. A similar neurosymbolic system she created trounced a neural-network-based system at guiding a robot that encountered unfamiliar objects while washing dishes or making tea.<\/p>\n
One of the big challenges for symbolic AI is how to encode sometimes slippery human knowledge within a language of logic and rules. One of the earliest attempts was a project called Cyc, started by computer scientist Doug Lenat in 1984 and later overseen by his AI company Cycorp, based in Austin, Texas. The intent was to explicitly articulate common-sense facts and rules of thumb, such as \u2018a daughter is a child\u2019, \u2018people love their children\u2019 and \u2018seeing someone you love makes you smile\u2019. The project\u2019s language, CycL, uses symbols (for logical operators such as IF, AND, OR and NOT) to express logical relationships so that an inference engine can easily draw conclusions, such as \u2018seeing your child would make you smile\u2019.<\/p>\n
Cyc, which now holds more than 25 million axioms, has been used in a variety of AI efforts and has inspired other projects, such as Google\u2019s Knowledge Graph, which holds more than 500 billion facts. Today, \u2018knowledge engineers\u2019 use a similar strategy to gather human-generated facts and relationships, build specialized databases and integrate them with AI.<\/p>\n
Symbolic databases can help an AI to generalize knowledge from one situation and apply it in another, says Kaelbling, which is a powerful way to make reasoning more efficient. But there is a trade-off in accuracy when dealing with subjects for which there are many exceptions to the \u2018rules\u2019 \u2014 not all people love their children, for example, and seeing something you love doesn\u2019t always make you smile. Symbolics should be incorporated only when it is helpful to do so, she says. \u201cCyc was trying to turn common sense into math. That is almost surely a bad idea,\u201d Kaelbling says.<\/p>\n
In 2023, Marcus posted a paper with Lenat laying out what LLMs can learn from Cyc. As part of that work, the duo asked GPT-3, an early LLM of the type that underpins ChatGPT, to write CycL statements that encode the logical relationships in the sentence \u201cDid you touch a blue object located in the capital of France on September 25th, 2022?\u201d The response \u201cat first amazed the Cyc team\u201d, they report, because it generated what looked to be the right sort of statements in the right sort of language. But on closer inspection, GPT-3 made many crucial errors, they write, such as concluding that \u201cthe thing that is touching the blue object is the date\u201d.<\/p>\n
\u201cIt looks like it\u2019s good, it looks like it should work, but it\u2019s absolutely garbage,\u201d says Colelough. This shows that it\u2019s pointless to simply ram together a symbolic engine and a neural net, he says. \u201cThen you might as well just not have the neurosymbolic system.\u201d<\/p>\n
What\u2019s needed, Colelough says, is a lot more research on AI \u2018metacognition\u2019 \u2014 how AI monitors and conducts its own thinking. That would enable AI \u2018conductors\u2019 to oversee a more sophisticated integration of the two paradigms, rather than having different engines simply take turns. Colelough says AlphaGeometry does this well, but in a limited context. If a flexible conductor that works for any domain of knowledge could be developed, \u201cthat would be AGI for me\u201d, Colelough says.<\/p>\n
There\u2019s a lot more work to do. Fresh hardware and chip architectures might be needed to run neurosymbolic AI efficiently. In time, other types of AI \u2014 maybe based on neural networks, symbolic AI, both or neither \u2014 might become more exciting, such as quantum AI, a fledgling field that seeks to exploit the properties of the quantum world to improve AI.<\/p>\n
For Mao, the ultimate goal is to leverage neural networks\u2019 learning abilities to create rules, categories and paths of reasoning that humans aren\u2019t yet aware of. \u201cThe hope is that eventually we can have systems that also invent their own symbolic representation and symbolic algorithms, so that they can really go beyond what a human knows,\u201d she says. That might be like a computer discovering an as-yet-unknown mathematical or physical concept \u2014 perhaps analogous to \u03c0 or the property of mass \u2014 and then encoding the new concept to help to extend knowledge. \u201cWe need to study how computers can teach humans, not how humans can teach machines.\u201d<\/p>\n
This article is reproduced with permission and was first published on November 25, 2025.<\/p>\n","protected":false},"excerpt":{"rendered":"
Will computers ever match or surpass human-level intelligence \u2014 and, if so, how? When the Association for the Advancement of Artificial Intelligence (AAAI), based in Washington DC, asked its members earlier this year whether neural networks \u2014 the current star of artificial-intelligence systems \u2014 alone will be enough to hit this goal, the vast majority<\/p>\n","protected":false},"author":1,"featured_media":35673,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[58],"tags":[18391,1443,10537,6765],"class_list":{"0":"post-35672","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-science","8":"tag-humanlike","9":"tag-intelligence","10":"tag-symbolic","11":"tag-unlock"},"_links":{"self":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/35672","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=35672"}],"version-history":[{"count":0,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/35672\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/media\/35673"}],"wp:attachment":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=35672"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=35672"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=35672"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}