Contenido
- Definición - ¿Qué significa la unificación?
- Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
- Techopedia explica la unificación
Definición - ¿Qué significa la unificación?
En informática y lógica, la unificación es el procedimiento algorítmico utilizado para resolver ecuaciones que involucran expresiones simbólicas. En otras palabras, al reemplazar ciertas variables de subexpresión con otras expresiones, la unificación intenta identificar dos expresiones simbólicas. La unificación se utiliza en la tecnología de razonamiento automatizado, que sigue siendo una de las principales áreas de aplicación de la unificación.
La unificación se usa en implementaciones tales como:
- Implementación de sistema de lenguaje de programación
- Programación lógica
- Solucionadores SMT
- Análisis de protocolo criptográfico
- Algoritmos de reescritura de términos
La unificación es una de las técnicas fundamentales en las que se basan los métodos para la deducción automática.
Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
Techopedia explica la unificación
El término "unificación" y su noción pueden atribuirse a John Alan Robinson. Utilizó la unificación como la operación básica de su principio de resolución y también mostró que los términos unificables tienen como máximo un unificador general. Varios marcos de unificación se diferencian en función de las expresiones que se producen en el problema de la unificación. La unificación de primer orden es aquella en la que se permiten variables de orden superior (variables que representan funciones) en las expresiones. La unificación libre o unificación sintáctica es aquella en la que se necesita una solución para igualar ambos lados de la ecuación.
La solución de un problema de unificación se representa mediante la sustitución, que es la asignación de un valor simbólico a cada variable involucrada en las expresiones del problema. En otras palabras, el enfoque esencial de la unificación es buscar una sustitución para unificar dos términos dados. Se espera que un algoritmo más uniforme proporcione un conjunto de sustitución mínimo y completo (un conjunto que tenga todas las soluciones relevantes sin miembros redundantes) para un problema dado. En otras palabras, la unificación no solo está interesada en la capacidad de resolución de una unificación dada si es un problema, sino también si es solucionable, en calcular el unificador más general.
La unificación se considera el núcleo de:
- Implementaciones de Prolog
- Sistemas expertos basados en inteligencia artificial.
- Coincidencia de patrones en lenguajes funcionales
- Ciertos enfoques de análisis
- Bases de datos deductivas
- Procesamiento natural del lenguaje
- El teorema prueba
- Algoritmos de inferencia de tipos