null
US
Iniciar Sesión
Regístrate Gratis
Registro
Hemos detectado que no tienes habilitado Javascript en tu navegador. La naturaleza dinámica de nuestro sitio requiere que Javascript esté habilitado para un funcionamiento adecuado. Por favor lee nuestros
términos y condiciones
para más información.
Siguiente
Copiar y Editar
¡Debes iniciar sesión para completar esta acción!
Regístrate gratis
14341197
Programación Lógica.
Descripción
Ingeniería Mapa Mental sobre Programación Lógica., creado por LUIS MTZ el 07/07/2018.
Sin etiquetas
ingeniería
Mapa Mental por
LUIS MTZ
, actualizado hace más de 1 año
Más
Menos
Creado por
LUIS MTZ
hace casi 6 años
18
0
0
Resumen del Recurso
Programación Lógica.
Repaso de la lógica de primer orden.
ÁLGEBRA DECLARATIVA
Usa
Conectivos Lógicos
Apegada A
Razonamiento
Para Demostrar
Proposiciones
Dependientes de
Parámetro
Lógica Proposicional
Trabaja con
Expresiones u Oraciones
Asociadas con
Oraciones Son
Expresión Lingüística
Forma Pensamiento
Interrogativos
Imperativos
Declarativos
De Tipo
Acción
Atribución
Relación
Investiga
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
Compuestas
Formadas Por
Una o Más Proposiciones Simples Modificadas
Vinculadas Por Conectivos u Operadores Lógicos
Usa
Tablas de Verdad
T si es verdadero
Llamada
Tautología.
Con F si es falso
Llamada
Contradicción.
Al Combinarse Es
Contingencia
Contiene y Será
Capcioso
Falacia
Lógica de Predicados
Es Una Forma
Lógica
Representa Detalles
Expresados En Sentencias
Basada En Objetos
Conocidos Como
Argumentos o Términos
Usados Solo Con
Métodos de Argumentación Sólidos.
Denominados
Reglas de Inferencia
Unificación y resolución.
Debe
Evaluar Veracidad
Si se componen por
Predicados y conectivos lógicos
Predicado Componente
verdadero si
Identifica Con Axioma
De La
Base De Información
Con
Variables Por Argumentos
Se Denomina
Patrones
unificación
proceso de
Computar Sustituciones
Determinan
Coincidencia De Expresiones Lógicas
3 Métodos Básicos
Deducción
Es El
Razonamiento
De Un Principio
Conocido A Un Desconocido
Abducción
Usado Para
Generar Explicaciones
Inducción
Es El
Razonamiento
De Hechos
Particulares o Casos Individuales
Cláusulas de Horn, resolución SLD.
Los
Hechos y Reglas
Son
Clausulas Definidas
Representan
Hechos
Relaciones
Dependencias
Reglas
Trabaja Con
Secuencias De Literales
Y No Con
Conjuntos
Pueden Aparecer
Repetidos En El Cuerpo
Existe
Orden En Literales Del Cuerpo
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
Términos Lógicos
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
Las Condiciones
Deben
Cumplirse Simultáneamente
Para Que La
Conclusión Sea Válida
Recursos multimedia adjuntos
Sin Título (binary/octet-stream)
Ds (binary/octet-stream)
Ffs (binary/octet-stream)
Dcs (binary/octet-stream)
Sin Título Ecds (binary/octet-stream)
Neg (binary/octet-stream)
Jajaja (binary/octet-stream)
Bicond (binary/octet-stream)
Descarga (binary/octet-stream)
Condicional1 (binary/octet-stream)
Download (binary/octet-stream)
Images28 (binary/octet-stream)
Descarga (15) (binary/octet-stream)
Image001 (binary/octet-stream)
Images (1) (binary/octet-stream)
El Arte De Controlar La Etapa De Planificacion Copia (binary/octet-stream)
Flujo De Trabajo Cinco Engranajes 28403338 (binary/octet-stream)
Clientes 1 (binary/octet-stream)
Thinkstock Photos 475716042 (binary/octet-stream)
7 Tecnicas De Levantamiento De Requerimientos De Software (binary/octet-stream)
Mostrar resumen completo
Ocultar resumen completo
¿Quieres crear tus propios
Mapas Mentales
gratis
con GoConqr?
Más información
.
Similar
INGENIERIA DE MATERIALES
Ricardo Álvarez
Elementos Básicos de Ingeniería Ambiental
Evilus Rada
Historia de la Ingeniería
Camila González
Introducción a la Ingeniería de Software
David Pacheco Ji
UNIDAD II DIBUJO PROYECTIVO
anyimartinezrued
GENERALIDADES DE LAS EDIFICACIONES
yessi.marenco17
MAPA MENTAL SOFTWARE APLICADOS EN INGENIERÍA CIVIL
Ruben Dario Acosta P
Estado de la ingenería mecánica y su perspectiva a futuro
Roberto Martinez
MAPA CONCEPTUAL SOBRE LA INICIATIVA CDIO
Victor Antonio Rodriguez Castañeda
Características de la Pitahaya y su potencial de uso en la industria alimentaria
Héctor Infanzón
Diapositivas neumática
Victor Zamora Delgado
Explorar la Librería