Glosario IA
El diccionario completo de la Inteligencia Artificial
Sistemas Expertos
Programas informáticos que emulan la capacidad de decisión de un experto humano en un dominio específico.
Razonamiento Deductivo
Proceso lógico de deducción de conclusiones nuevas a partir de premisas conocidas y de reglas de inferencia.
Lógica Formal
Estudio matemático de los sistemas formales de razonamiento y de los principios de validez de las inferencias.
Programación Lógica
Paradigma de programación basado en la lógica matemática donde los programas son conjuntos de fórmulas lógicas.
Representación del Conocimiento
Disciplina que busca estructurar y organizar la información de manera manipulable por sistemas inteligentes.
Sistemas Basados en Reglas
Sistemas informáticos que utilizan reglas de producción de tipo SI-ENTONCES para tomar decisiones.
Grafos Semánticos
Estructuras de datos que representan conceptos y sus relaciones en forma de redes de nodos y arcos.
Procesamiento del Lenguaje Natural Simbólico
Enfoques no estadísticos del PLN basados en reglas gramaticales y análisis sintáctico formal.
Planificación Automática
Generación automática de secuencias de acciones para alcanzar objetivos predefinidos en un entorno dado.
Sistemas de Reescriptura
Mecanismos formales de transformación de expresiones según reglas de sustitución predefinidas.
Teoría de la Demostración Automática
Campo que busca automatizar la demostración de teoremas matemáticos y lógicos.
Programación por Restricciones
Paradigma de resolución de problemas basado en la formulación de restricciones y su satisfacción automática.