Resumen de Artificial Intelligence techniques based on the integration of symbolic logic and deep neural networks: A systematic literature review

Pablo Negro, Claudia Pons

• español

  La Inteligencia Artificial se aborda desde dos enfoques predominantes pero muy diferentes entre sí: la Inteligencia Artificial simbólica, que está inspirada en la lógica matemática y se basa en la manipulación de representaciones lingüísticas abstractas, y laInteligenciaArtificial no simbólica, que se centra en la construcción de modelos matemáticos predictivos a partir de grandes conjuntos de datos de muestra. Significativamente, las deficiencias de cada uno de estos enfoques se alinean con las fortalezas delotro, lo que sugiere que una integración entre ellos sería beneficiosa. Una síntesis satisfactoria de inteligencia artificial simbólica y no-simbólica nos daría las ventajas de ambos mundos.Este trabajo tiene como objetivoidentificar y clasificar soluciones y arquitecturas que utilizan técnicas de Inteligencia Artificial aplicada,basadas en la integración de lógica simbólica y no-simbólica (en particular aprendizaje automático con redes neuronales artificiales), para proporcionar una visiónintegral, exhaustiva y organizada de las soluciones disponibles en la literatura, haciéndolas objetode una SLR: Systematic Literatura Review (Revisión Sistemática de la Literatura) cuidadosamente diseñada e implementada sobre el tema.Las tecnologías resultantes sediscuten y evalúan desde ambas perspectivas: la Inteligencia Artificial simbólica y la no simbólica.Se ha utilizado el método PICOC (Población, Intervención, Comparación, Salidas, Contexto)más Límites,que determinan el alcance de la búsqueda, para definir las preguntas de investigación y analizar los resultados.De un total de 65 estudios candidatosencontrados, se seleccionaron 24artículos (37%) relevantes para este estudio. Cada estudio, además, se centra en diferentes dominios de aplicacióntales comoagentes inteligentes, clasificación de imágenes, comprobadoresde teoremas, cyber-seguridad, interpretación de imágenes, matemática, medicina, robóticay de aplicación general.A través del análisis delos trabajos seleccionados,selogró clasificar, organizar y explicar las diferentes formas en que las deficienciasde la Inteligencia Artificial no simbólica son abordadas por propuesta basadas en lógica simbólica. El estudio también determinó en qué etapas del proceso de desarrollodichas propuestas sonaplicadas. Complementariamente, el estudio permitió determinar cuáles son las herramientas de la lógica que se aplican preferentemente, para cada área y cada dominio.Sibien nose ha encontrado un patrón arquitectónicoclaro, los esfuerzos por encontrar unmodelo de propósito generalque combine ambos mundos dirigen las tendencias y esfuerzos de investigación.

• English

  Artificial Intelligence is tackled from two predominant but very different approaches: symbolic Artificial Intelligence, which is inspired by mathematical logic and is based on the manipulation of abstract linguistic representations, and non-symbolic Artificial Intelligence, which focuses on the construction of predictive mathematical models from largesample data sets. Significantly, the shortcomings of each of these approaches align with the strengths of the other, suggesting that an integration between them would be beneficial. A successful synthesis of symbolic and non-symbolic artificial intelligence would give us the advantages of both worlds.This work aims to identify and classify solutions and architectures that use applied Artificial Intelligence techniques, based on the integration of symbolic and non-symbolic logic (particularly machine learning with artificial neural networks), to provide a comprehensive, exhaustive and organized vision of the solutions available in the literature, making them the subject of a carefully designed and implemented SLR(Systematic Literature Review). The resultingtechnologies are discussed and evaluated from both perspectives: symbolic and non-symbolic Artificial Intelligence.The PICOC method (Population, Intervention, Comparison, Outputs, Context) plus Limits, which determine the scope of the search, has beenused to define the research questions and analyze the results. From a total of 65 candidate studies found, 24 articles (37%) relevant to this study were selected. Each study also focuses on different application domains such as intelligent agents, image classification, theorem provers, cyber-security, image interpretation, mathematics, medicine, robotics and general application.Through the analysis of the selected works, it was possible to classify, organize and explain the different ways in which the deficiencies of non-symbolic Artificial Intelligence are addressed by proposals based on symbolic logic. The study also determined in which stages of the development process said proposals are applied. In addition, the study made it possible to determine which are the logic tools that are preferably applied, for each area and each domain. Although no clear architectural patternhas been found, efforts to find a general-purpose model that combines both worlds are driving trends and research effo