Enviar búsqueda
Cargar
Logicabueno
•
0 recomendaciones
•
279 vistas
Jaime Ceron
Seguir
Denunciar
Compartir
Denunciar
Compartir
1 de 17
Descargar ahora
Descargar para leer sin conexión
Recomendados
Taller ecuaciones diferenciales
Taller ecuaciones diferenciales
MateoOSORIO13
Conceptos Basicos De Ecuaciones Diferenciales
Conceptos Basicos De Ecuaciones Diferenciales
CETI (Miguel Gonzalez R.)
Teoría de la Interpolación
Teoría de la Interpolación
Leonel Quintero
Revista analisis numerico
Revista analisis numerico
omar abou
Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas
Marco González
Analisis numerico .. interpolacion
Analisis numerico .. interpolacion
jgmc251
Conceptos generales de las ecuaciones difernciales de primer grado
Conceptos generales de las ecuaciones difernciales de primer grado
Santiago Morales Ruiz
LÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLES
claualemana
Recomendados
Taller ecuaciones diferenciales
Taller ecuaciones diferenciales
MateoOSORIO13
Conceptos Basicos De Ecuaciones Diferenciales
Conceptos Basicos De Ecuaciones Diferenciales
CETI (Miguel Gonzalez R.)
Teoría de la Interpolación
Teoría de la Interpolación
Leonel Quintero
Revista analisis numerico
Revista analisis numerico
omar abou
Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas
Marco González
Analisis numerico .. interpolacion
Analisis numerico .. interpolacion
jgmc251
Conceptos generales de las ecuaciones difernciales de primer grado
Conceptos generales de las ecuaciones difernciales de primer grado
Santiago Morales Ruiz
LÍMITE DE FUNCIONES DE DOS VARIABLES
LÍMITE DE FUNCIONES DE DOS VARIABLES
claualemana
Revista ceila version pdf.
Revista ceila version pdf.
Instituto Universitario "Politécnico Santiago Mariño"
Teoría de Interpolación.
Teoría de Interpolación.
Amilcar Aragoza
Instituto universitario politécnico yesica
Instituto universitario politécnico yesica
yessicasanchez232
Teoría de Interpolación
Teoría de Interpolación
José Alejandro Barazarte
polinomios
polinomios
tercergradomatutino
130112719 diferencias-divididas-de-newton
130112719 diferencias-divididas-de-newton
Novato de la Weeb Fox Weeb
modelos matematicos
modelos matematicos
Ezer Chavez Callupe
Interpolación
Interpolación
Rodrigo Diaz
Limites de funciones de dos variables
Limites de funciones de dos variables
edwinh20
Ecuaciones Diferenciales
Ecuaciones Diferenciales
ceti
Ecuaciones Diferenciales[1]
Ecuaciones Diferenciales[1]
Eduardo
Pia de tecnicas
Pia de tecnicas
Luis Lopez
Derivadas
Derivadas
RoberthDuran1
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Orianny Pereira
Tema 4
Tema 4
adalbertofalso
Ecuaciones Diferenciales
Ecuaciones Diferenciales
jorge antonio oliva
Interpolación, Investigación
Interpolación, Investigación
cristhian Piña suarez
Analisis pelicula
Analisis pelicula
Jaime Ceron
Problem duros primero
Problem duros primero
Jaime Ceron
Algebra baldor
Algebra baldor
Jaime Ceron
Decreto 1290
Decreto 1290
Jaime Ceron
Modelo sfa pei
Modelo sfa pei
Jaime Ceron
Más contenido relacionado
La actualidad más candente
Revista ceila version pdf.
Revista ceila version pdf.
Instituto Universitario "Politécnico Santiago Mariño"
Teoría de Interpolación.
Teoría de Interpolación.
Amilcar Aragoza
Instituto universitario politécnico yesica
Instituto universitario politécnico yesica
yessicasanchez232
Teoría de Interpolación
Teoría de Interpolación
José Alejandro Barazarte
polinomios
polinomios
tercergradomatutino
130112719 diferencias-divididas-de-newton
130112719 diferencias-divididas-de-newton
Novato de la Weeb Fox Weeb
modelos matematicos
modelos matematicos
Ezer Chavez Callupe
Interpolación
Interpolación
Rodrigo Diaz
Limites de funciones de dos variables
Limites de funciones de dos variables
edwinh20
Ecuaciones Diferenciales
Ecuaciones Diferenciales
ceti
Ecuaciones Diferenciales[1]
Ecuaciones Diferenciales[1]
Eduardo
Pia de tecnicas
Pia de tecnicas
Luis Lopez
Derivadas
Derivadas
RoberthDuran1
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Orianny Pereira
Tema 4
Tema 4
adalbertofalso
Ecuaciones Diferenciales
Ecuaciones Diferenciales
jorge antonio oliva
Interpolación, Investigación
Interpolación, Investigación
cristhian Piña suarez
La actualidad más candente
(17)
Revista ceila version pdf.
Revista ceila version pdf.
Teoría de Interpolación.
Teoría de Interpolación.
Instituto universitario politécnico yesica
Instituto universitario politécnico yesica
Teoría de Interpolación
Teoría de Interpolación
polinomios
polinomios
130112719 diferencias-divididas-de-newton
130112719 diferencias-divididas-de-newton
modelos matematicos
modelos matematicos
Interpolación
Interpolación
Limites de funciones de dos variables
Limites de funciones de dos variables
Ecuaciones Diferenciales
Ecuaciones Diferenciales
Ecuaciones Diferenciales[1]
Ecuaciones Diferenciales[1]
Pia de tecnicas
Pia de tecnicas
Derivadas
Derivadas
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Matematicas III. Limites y Continuidad. Derivación de Funciones Multivariables
Tema 4
Tema 4
Ecuaciones Diferenciales
Ecuaciones Diferenciales
Interpolación, Investigación
Interpolación, Investigación
Destacado
Analisis pelicula
Analisis pelicula
Jaime Ceron
Problem duros primero
Problem duros primero
Jaime Ceron
Algebra baldor
Algebra baldor
Jaime Ceron
Decreto 1290
Decreto 1290
Jaime Ceron
Modelo sfa pei
Modelo sfa pei
Jaime Ceron
Lightning Talk #9: How UX and Data Storytelling Can Shape Policy by Mika Aldaba
Lightning Talk #9: How UX and Data Storytelling Can Shape Policy by Mika Aldaba
ux singapore
SEO: Getting Personal
SEO: Getting Personal
Kirsty Hulse
Succession “Losers”: What Happens to Executives Passed Over for the CEO Job?
Succession “Losers”: What Happens to Executives Passed Over for the CEO Job?
Stanford GSB Corporate Governance Research Initiative
Destacado
(8)
Analisis pelicula
Analisis pelicula
Problem duros primero
Problem duros primero
Algebra baldor
Algebra baldor
Decreto 1290
Decreto 1290
Modelo sfa pei
Modelo sfa pei
Lightning Talk #9: How UX and Data Storytelling Can Shape Policy by Mika Aldaba
Lightning Talk #9: How UX and Data Storytelling Can Shape Policy by Mika Aldaba
SEO: Getting Personal
SEO: Getting Personal
Succession “Losers”: What Happens to Executives Passed Over for the CEO Job?
Succession “Losers”: What Happens to Executives Passed Over for the CEO Job?
Similar a Logicabueno
Reglas de inferencia
Reglas de inferencia
Monica Toledo Villalobos
Reglas De Inferencia
Reglas De Inferencia
rezzaca
Econometría Financiera MCRL
Econometría Financiera MCRL
Jhon Díaz
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Julio Pari
Estructuras de control. Secuencial, condicional y repetitivas..pdf
Estructuras de control. Secuencial, condicional y repetitivas..pdf
nicolaspelaez3
estabilidad de los sistemas de control retroalimentados
estabilidad de los sistemas de control retroalimentados
Jorge Luis Jaramillo
Reglasproduccion
Reglasproduccion
Leonardo Bernal Zamora: Docente, Internauta y convencido de la educación para todos
Est routh
Est routh
SAMBLOCK
Sistemas Basados En Logica
Sistemas Basados En Logica
Javier Cuzco Torres
Sistemas Basados En Logica
Sistemas Basados En Logica
Javier Cuzco Torres
Simulación: Teoría y aplicaciones con Promodel
Simulación: Teoría y aplicaciones con Promodel
Alvaro Gil
Logica de predicados
Logica de predicados
Miguel Angel Zamora
Pronostico.pptx
Pronostico.pptx
CarlosSuarez487607
Inteligencia Artificial.
Inteligencia Artificial.
Sam Arr
Criterios de estabilidad Controles Automáticos
Criterios de estabilidad Controles Automáticos
Deivis Montilla
EXPO_CONO_IA (2).pdf
EXPO_CONO_IA (2).pdf
Edecio R. Freitez R.
Elaboración de conclusiones.ppt
Elaboración de conclusiones.ppt
Samuel Chavez Barrera
elaboracindeconclusiones-170601023121.pdf
elaboracindeconclusiones-170601023121.pdf
ArtruroAntonioGarcia
Portafolio De TOMA DE DESICIONES estadísticas II
Portafolio De TOMA DE DESICIONES estadísticas II
David Da Silva
Similar a Logicabueno
(19)
Reglas de inferencia
Reglas de inferencia
Reglas De Inferencia
Reglas De Inferencia
Econometría Financiera MCRL
Econometría Financiera MCRL
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Unmsm fisi - conjuntos convexos y programación matemática - io1 cl02
Estructuras de control. Secuencial, condicional y repetitivas..pdf
Estructuras de control. Secuencial, condicional y repetitivas..pdf
estabilidad de los sistemas de control retroalimentados
estabilidad de los sistemas de control retroalimentados
Reglasproduccion
Reglasproduccion
Est routh
Est routh
Sistemas Basados En Logica
Sistemas Basados En Logica
Sistemas Basados En Logica
Sistemas Basados En Logica
Simulación: Teoría y aplicaciones con Promodel
Simulación: Teoría y aplicaciones con Promodel
Logica de predicados
Logica de predicados
Pronostico.pptx
Pronostico.pptx
Inteligencia Artificial.
Inteligencia Artificial.
Criterios de estabilidad Controles Automáticos
Criterios de estabilidad Controles Automáticos
EXPO_CONO_IA (2).pdf
EXPO_CONO_IA (2).pdf
Elaboración de conclusiones.ppt
Elaboración de conclusiones.ppt
elaboracindeconclusiones-170601023121.pdf
elaboracindeconclusiones-170601023121.pdf
Portafolio De TOMA DE DESICIONES estadísticas II
Portafolio De TOMA DE DESICIONES estadísticas II
Logicabueno
1.
Inteligencia en Redes
de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es
2.
Índice La programación lógica Lógica
de predicados de primer orden Sistemas inferenciales © JVR - 1
3.
La programación lógica Máquina
convencional (von Neumann) algoritmo datos resultados especificación (reglas) Sistema Basado en Conocimiento especificación (reglas) datos (hechos) resultados Algoritmo = lógica + control (“Cálculo de predicados como lenguaje de programación”, Kowalski 1974) © JVR - 2
4.
Fundamentos de la
lógica formal Inferencia = razonamiento formalmente válido Razonamiento: tipo de pensamiento que consiste en obtener una conclusión a partir de unas premisas Formal: atención a la forma (abstracción del contenido) Válido: si las premisas son verdaderas, la conclusión también lo será ( deductivo) © JVR - 3
5.
Definición La lógica es
la disciplina que se preocupa de estudiar los aspectos funcionales de las inferencias (Los aspectos procesales son estudiados por la informática y la psicología) © JVR - 4
6.
Lógica de predicados
de primer orden Un predicado representa una propiedad o relación de un determinado objeto del universo del discurso Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones entre ellos rubia(sara).rubia(sara). moreno(carlos). noviazgo(sara,carlos). primos(X,Y):-progenitor(A,X),progenitor(B,Y),hermanos(A,B). La lógica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos (true/false) y basados en predicados de primer orden © JVR - 5
7.
Alfabeto de la
lógica Símbolos de constantes, variables, predicados y funciones Conectivas negación ¬ conjunción ∧ disyunción ∨disyunción ∨ condicional ⇒ bicondicional ⇔ Cuantificadores existencial ∃ universal ∀ Símbolos auxiliares © JVR - 6
8.
Interpretación y asignación Interpretación:
correspondencia entre símbolos y elementos de la conceptuación Asignación: asociar elementos del universo a las variables de las sentencias Si una sentencia S es verdadera o falsa bajo una cierta interpretación I y una asignación A se representa © JVR - 7
9.
Implicación y equivalencia
lógica {S1, S2, … Sn} implica lógicamente a S: Razonamiento deductivo: las premisas implicanRazonamiento deductivo: las premisas implican lógicamente la conclusión S1 y S2 son sentencias equivalentes © JVR - 8
10.
Equivalencias lógicas básicas Doble
negación Leyes de De Morgan Leyes distributivasLeyes distributivas Reducción al absurdo © JVR - 9
11.
Reglas de inferencia Las
reglas de inferencia son esquemas básicos de la forma que encadenándolos sirven para hacer razonamientos deductivos en varios pasos (siguiendo un proceso) modus ponens P1: A⇒B P2: A C: B modus tollens P1: A⇒B P2: ¬B C: ¬A © JVR - 10
12.
Reglas de resolución
y refutación Resolución: Se utiliza para encadenar hechos y obtener conclusiones de forma deductiva Refutación: Se utiliza para comprobar si una determinada conclusión es válida y, en su caso, qué valores de variables la hacen válida © JVR - 11
13.
Forma clausulada Para facilitar
el procesamiento computacional y poder aplicar la regla de resolución se usa la forma clausulada: Procedimiento para pasar a forma clausulada: eliminar condicionales y bicondicionaleseliminar condicionales y bicondicionales introducir negaciones independizar variables eliminar existencial y universal distribuir ∧ sobre ∨ renombrar variables Cláusulas de Horn: máximo un literal positivo © JVR - 12
14.
Sistemas inferenciales/de producción {reglas
de inferencia, estrategia de control} Ejecutan procesos inferenciales: basados en una base de datos (sentencias) y partiendo de un estado inicial (premisas) aplicando operadores (reglas de inferencia) van obteniendo conclusiones Razonamiento monótono (las conclusiones que se van obteniendo son siempre definitivas) © JVR - 13
15.
Reglas A1 op1 A2
op2 . . . opn-1 An => B • Reglas causales: si causa efecto – deductivas– deductivas – puede admitirse incertidumbre • Reglas de diagnóstico: si efecto posible causa – no deductivas (razonamiento basado en hipótesis) – siempre hay incertidumbre © JVR - 14
16.
Consistencia y completitud Consistencia:
toda conclusión C obtenida es tal que las premisas implican a C Completitud: si las premisas implican a C entonces el proceso que genera el sistema es tal que en alguno de sus estados está incluida C (permite obtener todas las conclusiones posibles) © JVR - 15
17.
Asunción de mundo
cerrado Todo lo que no figura explícitamente como un hecho y tampoco se puede deducir, es falso ¡Muy importante! (como la presunción de inocencia) © JVR - 16
Descargar ahora