14341197
Programación Lógica.
- Repaso de la lógica
de primer orden.
- ÁLGEBRA
DECLARATIVA
- Usa
- Conectivos Lógicos
- Conectivos Lógicos
- Usa
- Apegada A
- Razonamiento
- Para Demostrar
- Proposiciones
- Dependientes de
- Parámetro
- Parámetro
- Dependientes de
- Proposiciones
- Para Demostrar
- Razonamiento
- Lógica Proposicional
- Trabaja
con
- Expresiones u Oraciones
- Asociadas con
- Oraciones Son
- Expresión Lingüística
- Forma Pensamiento
- Interrogativos
- Imperativos
- Declarativos
- Interrogativos
- Forma Pensamiento
- De Tipo
- Acción
- Atribución
- Relación
- Acción
- Expresión Lingüística
- Asociadas con
- Expresiones u Oraciones
- Investiga
- Relación de
Consecuencia
- Relación de
Consecuencia
- Consiste en
- Formular
Proposiciones
- Emplean
- Lenguaje Simbólico
- Puede Ser
- Simples
- Vinculados Por
- Operador
Relacional
- Debe Ser Una
- Magnitud Numérica
- Expresión Aritmética
- Magnitud Numérica
- Debe Ser Una
- Operador
Relacional
- Vinculados Por
- Compuestas
- Formadas Por
- Una o Más Proposiciones Simples
Modificadas
- Vinculadas Por Conectivos u Operadores Lógicos
- Vinculadas Por Conectivos u Operadores Lógicos
- Una o Más Proposiciones Simples
Modificadas
- Formadas Por
- Simples
- Puede Ser
- Lenguaje Simbólico
- Usa
- Tablas de Verdad
- T si es verdadero
- Llamada
- Tautología.
- Tautología.
- Llamada
- Con F si es falso
- Llamada
- Contradicción.
- Contradicción.
- Al Combinarse Es
- Contingencia
- Contingencia
- Llamada
- T si es verdadero
- Tablas de Verdad
- Contiene y Será
- Capcioso
- Falacia
- Lógica de Predicados
- Es Una Forma
- Lógica
- Representa Detalles
- Expresados En
Sentencias
- Expresados En
Sentencias
- Representa Detalles
- Lógica
- Basada En Objetos
- Conocidos Como
- Argumentos o Términos
- Argumentos o Términos
- Usados Solo Con
- Métodos de Argumentación
Sólidos.
- Denominados
- Reglas de
Inferencia
- Reglas de
Inferencia
- Denominados
- Métodos de Argumentación
Sólidos.
- Conocidos Como
- Es Una Forma
- Capcioso
- Emplean
- Formular
Proposiciones
- Trabaja
con
- ÁLGEBRA
DECLARATIVA
- Unificación y resolución.
- Debe
- Evaluar Veracidad
- Si se componen por
- Predicados y conectivos lógicos
- Predicados y conectivos lógicos
- Si se componen por
- Evaluar Veracidad
- Predicado Componente
- verdadero
si
- Identifica Con Axioma
- De La
- Base De Información
- Base De Información
- De La
- Identifica Con Axioma
- Con
- Variables Por
Argumentos
- Se Denomina
- Patrones
- Patrones
- Se Denomina
- Variables Por
Argumentos
- verdadero
si
- unificación
- proceso de
- Computar Sustituciones
- Determinan
- Coincidencia De
Expresiones Lógicas
- Coincidencia De
Expresiones Lógicas
- Determinan
- Computar Sustituciones
- proceso de
- 3 Métodos
Básicos
- Deducción
- Es El
- Razonamiento
- De Un
Principio
- Conocido A Un Desconocido
- Conocido A Un Desconocido
- De Un
Principio
- Razonamiento
- Es El
- Abducción
- Usado Para
- Generar Explicaciones
- Generar Explicaciones
- Usado Para
- Inducción
- Es El
- Razonamiento
- De Hechos
- Particulares o
Casos Individuales
- Particulares o
Casos Individuales
- De Hechos
- Razonamiento
- Es El
- Deducción
- Debe
- Cláusulas de Horn,
resolución SLD.
- Los
- Hechos y Reglas
- Son
- Clausulas Definidas
- Representan
- Hechos
- Relaciones
- Dependencias
- Reglas
- Hechos
- Representan
- Clausulas Definidas
- Son
- Hechos y Reglas
- Trabaja Con
- Secuencias De Literales
- Y No Con
- Conjuntos
- Conjuntos
- Pueden Aparecer
- Repetidos En El Cuerpo
- Existe
- Orden En Literales Del Cuerpo
- Orden En Literales Del Cuerpo
- Existe
- Repetidos En El Cuerpo
- Y No Con
- Secuencias De Literales
- Los
- Programación lógica con
cláusulas de Horn
- Se Lee Así
- A es hija de B si A es mujer y B es padre de A
- A es hija de B si A es mujer y B es padre de A
- Términos Lógicos
- Representa Como:
- Representa Como:
- Definición De Implicación
- La Disyunción,
- Tiene Que
- Definir Reglas Nuevas
- A es hija de B si A es mujer y B es madre de A
- A es hija de B si A es mujer y B es madre de A
- Definir Reglas Nuevas
- Tiene Que
- Las Condiciones
- Deben
- Cumplirse Simultáneamente
- Para Que La
- Conclusión Sea Válida
- Conclusión Sea Válida
- Para Que La
- Cumplirse Simultáneamente
- Deben
- Se Lee Así
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.