Neuro-symbolic AI
Neuro-symbolic AI is a type of
Approaches
Approaches for integration are diverse. Henry Kautz's taxonomy of neuro-symbolic architectures,[10] along with some examples, follows:
- Symbolic Neural symbolic is the current approach of many neural models in .
- Symbolic[Neural] is exemplified by AlphaGo, where symbolic techniques are used to invoke neural techniques. In this case, the symbolic approach is Monte Carlo tree search and the neural techniques learn how to evaluate game positions.
- Neural | Symbolic uses a neural architecture to interpret perceptual data as symbols and relationships that are reasoned about symbolically. Neural-Concept Learner[11] is an example.
- Neural: Symbolic → Neural relies on symbolic reasoning to generate or label training data that is subsequently learned by a deep learning model, e.g., to train a neural model for symbolic computation by using a Macsyma-like symbolic mathematicssystem to create or label examples.
- Neural_{Symbolic} uses a also fall into this category.
- Neural[Symbolic] allows a neural model to directly call a symbolic reasoning engine, e.g., to perform an action or evaluate a state. An example would be Wolfram Alpha.
These categories are not exhaustive, as they do not consider multi-agent systems. In 2005, Bader and Hitzler presented a more fine-grained categorization that considered, e.g., whether the use of symbols included logic and if it did, whether the logic was propositional or first-order logic.[14] The 2005 categorization and Kautz's taxonomy above are compared and contrasted in a 2021 article.[10] Recently, Sepp Hochreiter argued that Graph Neural Networks "...are the predominant models of neural-symbolic computing"[15] since "[t]hey describe the properties of molecules, simulate social networks, or predict future states in physical and engineering applications with particle-particle interactions."[16]
Artificial general intelligence
Gary Marcus argues that "...hybrid architectures that combine learning and symbol manipulation are necessary for robust intelligence, but not sufficient",[17] and that there are
...four cognitive prerequisites for building robust artificial intelligence:
- hybrid architectures that combine large-scale learning with the representational and computational powers of symbol manipulation,
- large-scale knowledge bases—likely leveraging innate frameworks—that incorporate symbolic knowledge along with other forms of knowledge,
- reasoning mechanisms capable of leveraging those knowledge bases in tractable ways, and
- rich
knowledge bases.[18]
This echoes earlier calls for hybrid models as early as the 1990s.[19][20]
History
A series of workshops on neuro-symbolic AI has been held annually since 2005 Neuro-Symbolic Artificial Intelligence.[23] In the early 1990s, an initial set of workshops on this topic were organized.[19]
Research
Key research questions remain,[24] such as:
- What is the best way to integrate neural and symbolic architectures?
- How should symbolic structures be represented within neural networks and extracted from them?
- How should common-sense knowledge be learned and reasoned about?
- How can abstract knowledge that is hard to encode logically be handled?
Implementations
Implementations of neuro-symbolic approaches include:
- Scallop: a language based on Datalog that supports differentiable logical and relational reasoning. Scallop can be integrated in Python and with a PyTorch learning module.[25]
- Logic Tensor Networks: encode logical formulas as neural networks and simultaneously learn term encodings, term weights, and formula weights.
- DeepProbLog: combines neural networks with the probabilistic reasoning of ProbLog.
- SymbolicAI: a compositional differentiable programming library.
- Explainable Neural Networks (XNNs): combine neural networks with symbolic hypergraphs and trained using a mixture of backpropagation and symbolic learning called induction.[26]
Citations
- ^ Valiant 2008.
- ^ Garcez et al. 2015.
- )
- ^ Marcus 2020, p. 44.
- ^ Marcus & Davis 2019, p. 17.
- ^ Kautz 2020.
- ^ Rossi 2022.
- ^ Selman 2022.
- ^ Sun 1995.
- ^ S2CID 239199144.
- ^ Mao et al. 2019.
- . Retrieved 2022-08-06.
- arXiv:1606.04422 [cs.AI].
- ^ Bader & Hitzler 2005.
- ^ L.C. Lamb, A.S. d'Avila Garcez, M.Gori, M.O.R. Prates, P.H.C. Avelar, M.Y. Vardi (2020). "Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective." CoRR abs/2003.00330 (2020)
- ISSN 0001-0782.
- ^ Marcus 2020, p. 50.
- ^ Marcus 2020, p. 48.
- ^ a b Sun & Bookman 1994.
- ^ Garcez & Lamb 2020, p. 2.
- ^ Garcez et al. 2002.
- ^ "Neuro-Symbolic Artificial Intelligence". people.cs.ksu.edu. Retrieved 2023-09-11.
- ^ Sun 2001.
- arXiv:2304.04812 [cs.PL].
- ^ "Model Induction Method for Explainable AI". USPTO. 2021-05-06.
References
- Bader, Sebastian; arXiv:cs/0511042.
- Garcez, Artur S. d'Avila; Broda, Krysia; Gabbay, Dov M.; Gabbay (2002). Neural-Symbolic Learning Systems: Foundations and Applications. Springer Science & Business Media. ISBN 978-1-85233-512-0.
- Garcez, Artur; Besold, Tarek; De Raedt, Luc; Földiák, Peter; .
- Garcez, Artur d'Avila; Gori, Marco; Lamb, Luis C.; Serafini, Luciano; Spranger, Michael; Tran, Son N. (2019). "Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning". arXiv:1905.06088 [cs.AI].
- Garcez, Artur d'Avila; Lamb, Luis C. (2020). "Neurosymbolic AI: The 3rd Wave". arXiv:2012.05876 [cs.AI].
- ISBN 978-1-64368-244-0.
- ISBN 978-1-64368-406-2.
- Hochreiter, Sepp. "Toward a Broad AI." Commun. ACM 65(4): 56–57 (2022). Toward a broad AI
- Honavar, Vasant (1995). Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards a Resolution of the Dichotomy. The Springer International Series In Engineering and Computer Science. Springer US. pp. 351–388. .
- Kautz, Henry (2020-02-11). The Third AI Summer, Henry Kautz, AAAI 2020 Robert S. Engelmore Memorial Award Lecture. Retrieved 2022-07-06.
- Kautz, Henry (2022). "The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture". AI Magazine. 43 (1): 93–104. S2CID 248213051. Retrieved 2022-07-12.
- Mao, Jiayuan; Gan, Chuang; Kohli, Pushmeet; Tenenbaum, Joshua B.; Wu, Jiajun (2019). "The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision". arXiv:1904.12584 [cs.CV].
- Marcus, Gary; Davis, Ernest (2019). Rebooting AI: Building Artificial Intelligence We Can Trust. Vintage.
- Marcus, Gary (2020). "The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence". arXiv:2002.06177 [cs.AI].
- Rossi, Francesca (2022-07-06). "AAAI2022: Thinking Fast and Slow in AI (AAAI 2022 Invited Talk)". Retrieved 2022-07-06.
- Selman, Bart (2022-07-06). "AAAI2022: Presidential Address: The State of AI". Retrieved 2022-07-06.
- Serafini, Luciano; Garcez, Artur d'Avila (2016-07-07). "Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge". arXiv:1606.04422 [cs.AI].
- Sun, Ron (1995). "Robust reasoning: Integrating rule-based and similarity-based reasoning". Artificial Intelligence. 75 (2): 241–296. .
- Sun, Ron; Bookman, Lawrence (1994). Computational Architectures Integrating Neural and Symbolic Processes. Kluwer.
- Sun, Ron; Alexandre, Frederic (1997). Connectionist Symbolic Integration. Lawrence Erlbaum Associates.
- Sun, R (2001). "Hybrid systems and connectionist implementationalism". Encyclopedia of Cognitive Science (MacMillan Publishing Company, 2001).
- Valiant, Leslie G (2008). "Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence". IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. .
See also
- Symbolic AI
- Connectionist AI
- Hybrid intelligent systems