Content deleted Content added
No edit summary Tags: references removed Visual edit |
No edit summary |
||
Line 335:
Part of these disputes may be due to unclear terminology:
<blockquote>Turing award winner [[Judea Pearl]] offers a critique of machine learning which, unfortunately, conflates the terms machine learning and deep learning. Similarly, when Geoffrey Hinton refers to symbolic AI, the connotation of the term tends to be that of expert systems dispossessed of any ability to learn. The use of the terminology is in need of clarification. Machine learning is not confined to [[Association rule learning|association rule]] mining, c.f. the body of work on symbolic ML and relational learning (the differences to deep learning being the choice of representation, localist logical rather than distributed, and the non-use of [[gradient descent|gradient-based learning algorithms]]). Equally, symbolic AI is not just about [[Production system (computer science)|production rules]] written by hand. A proper definition of AI concerns [[knowledge representation and reasoning]], autonomous [[multi-agent system]]s, planning and [[Argumentation framework|argumentation]], as well as learning.{{sfn|Garcez|Lamb|2020|p=8}}</blockquote>In addition, from a theoretical standpoint, the differences between various approaches are not particularly substantial. For instance, Heng Zhang and his colleagues have proved that mainstream knowledge representation formalisms are, in fact, recursively isomorphic, provided they possess equivalent expressive power.<ref>{{Cite journal |last=Zhang |first=Heng |last2=Jiang |first2=Guifei |last3=Quan |first3=Donghui |date=2025-04-11 |title=A Theory of Formalisms for Representing Knowledge |url=https://ojs.aaai.org/index.php/AAAI/article/view/33674 |journal=Proceedings of the AAAI Conference on Artificial Intelligence |language=en |volume=39 |issue=14 |pages=15257–15264 |doi=10.1609/aaai.v39i14.33674 |issn=2374-3468}}</ref> This finding implies that there is no fundamental distinction between using symbolic or connectionist knowledge representation formalisms for the realization of [[artificial general intelligence]] (AGI). Moreover, the existence of recursive isomorphisms suggests that different technical approaches can, in practice, draw insights from one another.
=== Situated robotics: the world as a model ===
| |||