Base de conocimiento
Sentencias que representan un dominio, separadas del procedimiento que razona con ellas.
Por ejemplo
Practicar este tema ↗Mamífero(ballena) y una regla sobre mamíferos.
12 · VOCABULARIO CON EJEMPLOS
Definir, distinguir y usar.
0134 términos con equivalentes en inglés.
02Decí un ejemplo propio y una confusión que evitarías.
34 términos encontrados. Se muestran los primeros 6; afiná la búsqueda.
12 · TÉRMINOS RELACIONADOS
Base de conocimiento y Motor de inferencia
Motor de inferencia
Componente que aplica reglas de razonamiento a una base. Puede reutilizarse en distintos dominios si comparten el formalismo.
Por ejemplo
Practicar este tema ↗El mismo motor aplica una regla de biblioteca o una de zoología.
12 · TÉRMINOS RELACIONADOS
Consecuencia lógica y Condicional material
Consecuencia lógica
Una conclusión es consecuencia de unas premisas si es verdadera en todos los modelos donde esas premisas son verdaderas.
Por ejemplo
Practicar este tema ↗De P y P → Q se sigue Q.
Condicional material
P → Q es falso solo cuando P es verdadero y Q es falso. Por sí solo no afirma causalidad ni la recíproca.
Por ejemplo
Practicar este tema ↗Que haya luz no permite deducir que se pulsó el interruptor.
12 · TÉRMINOS RELACIONADOS
Tautología y Contradicción
Tautología
Fórmula verdadera en toda interpretación de la lógica clásica.
Por ejemplo
Practicar este tema ↗P ∨ ¬P.
Contradicción
Fórmula falsa en toda interpretación de la lógica clásica.
Por ejemplo
Practicar este tema ↗P ∧ ¬P.
12 · TÉRMINOS RELACIONADOS
Corrección y Completitud
Corrección
El procedimiento solo deriva consecuencias lógicas de las premisas, bajo la semántica considerada.
Por ejemplo
Practicar este tema ↗No inventar Q cuando existe un modelo de la base donde Q es falso.
Completitud
El procedimiento puede derivar todas las consecuencias del lenguaje y la clase de problemas considerados. No asegura rapidez ni terminación en cualquier consulta.
Por ejemplo
Practicar este tema ↗Un motor puede ser correcto y dejar consecuencias sin demostrar.
12 · TÉRMINOS RELACIONADOS
Cuantificador universal y Cuantificador existencial
Cuantificador universal
Afirma algo para cada elemento del dominio. Un condicional es frecuente al restringir una categoría, pero no obligatorio.
Por ejemplo
Practicar este tema ↗∀x (Mamífero(x) → Vertebrado(x)); también es válida la forma ∀x P(x).
Cuantificador existencial
Afirma que al menos un elemento cumple la fórmula. La conjunción suele reunir condiciones de un mismo testigo.
Por ejemplo
Practicar este tema ↗∃x (Alumno(x) ∧ Programa(x)). No afirma que todos programen.
12 · TÉRMINOS RELACIONADOS
Cláusula de Horn y Modus ponens
Cláusula de Horn
Disyunción de literales con a lo sumo un literal positivo. Con exactamente uno es definida; puede escribirse como hechos o reglas de premisas positivas.
Por ejemplo
Practicar este tema ↗¬P ∨ ¬Q ∨ R equivale a (P ∧ Q) → R. Horn proposicional admite procedimientos eficientes.
Modus ponens
Regla que permite derivar Q a partir de P y P → Q.
Por ejemplo
Practicar este tema ↗Carnet(Leo) y Carnet(Leo) → PuedeRetirar(Leo).
12 · TÉRMINOS RELACIONADOS
Encadenamiento hacia adelante y Encadenamiento hacia atrás
Encadenamiento hacia adelante
Parte de hechos y aplica reglas para obtener consecuencias. En una base proposicional finita se puede avanzar hasta un punto fijo.
Por ejemplo
Practicar este tema ↗Carnet → Acceso; Acceso → PuedeRetirar.
Encadenamiento hacia atrás
Parte de una meta y busca hechos o reglas que la justifiquen, convirtiendo sus condiciones en subobjetivos.
Por ejemplo
Practicar este tema ↗Para demostrar PuedeRetirar, buscar cómo demostrar Acceso.
12 · TÉRMINOS RELACIONADOS
Unificación y Resolución
Unificación
Busca una sustitución de variables que haga idénticas dos expresiones compatibles.
Por ejemplo
Practicar este tema ↗Tutor(x, Ana) y Tutor(Luis, Ana): sustituir x por Luis.
Resolución
Regla que combina cláusulas con literales complementarios. Se usa en pruebas por refutación: agregar la negación de la meta y buscar la cláusula vacía.
Por ejemplo
Practicar este tema ↗De P ∨ Q y ¬P se obtiene Q.
12 · TÉRMINOS RELACIONADOS
Sistema experto y Ingeniería del conocimiento
Sistema experto
Sistema que usa conocimiento especializado y razonamiento para apoyar tareas en un dominio acotado. Puede explicar su recorrido sin garantizar que los hechos sean correctos.
Por ejemplo
Practicar este tema ↗Una base de reglas ayuda a diagnosticar fallas de un equipo.
Ingeniería del conocimiento
Proceso de obtener, formalizar, validar y mantener el conocimiento de un dominio, con especialistas y otras fuentes.
Por ejemplo
Practicar este tema ↗Transformar una entrevista en reglas y revisarlas con casos límite.
12 · TÉRMINOS RELACIONADOS
Marco y Herencia
Marco
Estructura con ranuras para describir conceptos o situaciones; puede incluir valores por defecto y procedimientos.
Por ejemplo
Practicar este tema ↗Marco Aula: capacidad, ubicación y equipamiento.
Herencia
Propiedades de una categoría pueden transferirse a subcategorías según la semántica del sistema. Los valores por defecto admiten excepciones cuando el formalismo lo permite.
Por ejemplo
Practicar este tema ↗Un pingüino es un ave; un valor por defecto «vuela» necesita una excepción.
12 · TÉRMINOS RELACIONADOS
Red semántica y Grafo de conocimiento
Red semántica
Grafo cuyos nodos representan conceptos o entidades y cuyas aristas representan relaciones. Inferir exige definir qué significan esas relaciones.
Por ejemplo
Practicar este tema ↗Ballena —es un→ Mamífero.
Grafo de conocimiento
Representación de entidades y relaciones que integra conocimiento de un dominio; puede incorporar identificadores, tipos y procedencia. No exige una escala mínima.
Por ejemplo
Practicar este tema ↗Una relación de autoría con el documento que la respalda.
12 · TÉRMINOS RELACIONADOS
Ontología y Mundo cerrado
Ontología
Especificación explícita y formal de conceptos y relaciones compartidos de un dominio, con axiomas que delimitan interpretaciones.
Por ejemplo
Practicar este tema ↗Acordar qué significa Docente y cómo se relaciona con Curso.
Mundo cerrado
Convención que trata como falso lo que no figura ni se deriva de la base. Su adecuación depende del dominio; la ausencia no demuestra falsedad en lógica abierta.
Por ejemplo
Practicar este tema ↗Una lista completa de inscriptos puede cerrarse; una lista parcial no demuestra que alguien no esté inscripto.
12 · TÉRMINOS RELACIONADOS
Probabilidad a priori y Probabilidad a posteriori
Probabilidad a priori
Probabilidad asignada a una hipótesis antes de incorporar la evidencia considerada. Puede incluir información previa; no significa ausencia total de datos.
Por ejemplo
Practicar este tema ↗Antes de una alarma, 1 % de las piezas del lote tienen una falla.
Probabilidad a posteriori
Probabilidad de la hipótesis después de condicionar en la evidencia observada.
Por ejemplo
Practicar este tema ↗Probabilidad de falla después de observar la alarma.
12 · TÉRMINOS RELACIONADOS
Regla de Bayes y Tasa base
Regla de Bayes
Actualiza una hipótesis con evidencia: P(H|E) = P(E|H) P(H) / P(E), cuando P(E) > 0.
Por ejemplo
Practicar este tema ↗El resultado depende de la tasa base y de las falsas alarmas.
Tasa base
Frecuencia o prevalencia del fenómeno en una población de referencia. Ignorarla puede distorsionar la interpretación de una señal.
Por ejemplo
Practicar este tema ↗Un detector preciso puede emitir muchas falsas alarmas si las fallas son muy raras.
12 · TÉRMINOS RELACIONADOS
Red bayesiana y Factor de certeza
Red bayesiana
Grafo dirigido acíclico y distribuciones condicionales que factorizan una distribución conjunta y codifican independencias. Una flecha no es causal por sí sola.
Por ejemplo
Practicar este tema ↗Falla → Alarma, acompañado por P(Falla) y P(Alarma|Falla).
Factor de certeza
Medida de apoyo o rechazo usada en MYCIN, entre −1 y 1, con reglas propias de combinación. No es automáticamente una probabilidad.
Por ejemplo
Practicar este tema ↗Un factor 0,7 expresa apoyo en ese modelo; no equivale a P(H)=0,7.
12 · TÉRMINOS RELACIONADOS
Conjunto difuso y Vaguedad
Conjunto difuso
Asigna a cada elemento un grado de pertenencia entre 0 y 1. Los grados de distintas etiquetas no tienen que sumar 1.
Por ejemplo
Practicar este tema ↗Una temperatura puede ser templada con grado 0,5 y calurosa con grado 0,2.
Vaguedad
Falta de fronteras nítidas de un concepto. Se distingue de desconocer si un hecho ocurrió; la lógica difusa permite modelar esa graduación.
Por ejemplo
Practicar este tema ↗«Temperatura alta» tiene un borde gradual; «no sé la temperatura» expresa incertidumbre.
12 · TÉRMINOS RELACIONADOS
Desfusificación y Sistema híbrido / neurosimbólico
Desfusificación
Obtención de una salida numérica a partir del resultado de un sistema difuso. El método depende de cómo se representen las salidas.
Por ejemplo
Practicar este tema ↗En el ejemplo de salidas constantes: promedio ponderado 53,57 %. No es el centroide de una salida Mamdani.
Sistema híbrido / neurosimbólico
Combina componentes simbólicos y basados en aprendizaje. Se llama neurosimbólico cuando participa un componente neuronal junto al simbólico.
Por ejemplo
Practicar este tema ↗Un modelo propone una acción y reglas verifican restricciones antes de aceptarla.
12 · DISTINGUIR
¿Falta una conclusión o sobra una inferencia?
Un procedimiento deriva solo consecuencias válidas, pero no puede derivar algunas otras consecuencias del lenguaje considerado.
12 · DISTINGUIR
Una ausencia en el catálogo.
Un registro parcial no incluye a Julia. No se ha declarado mundo cerrado.
12 · DISTINGUIR
La etiqueta «híbrido».
Un árbol de decisión aprendido propone una acción y unas reglas simbólicas la filtran. No hay redes neuronales.
12 · MATERIAL DE CONSULTA
Construí tu propio ejemplo.
01Elegí dos términos y explicá cómo se relacionan.
02Descargá el glosario para tener las definiciones y los ejemplos a mano.