Enviar búsqueda
Cargar
Inteligencia en Redes de Comunicaciones
•
0 recomendaciones
•
373 vistas
Título mejorado por IA
Gabriela Mistral
Seguir
Varios ejercicios de lógica
Leer menos
Leer más
Educación
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
Informe economico mayo2012 esade
Informe economico mayo2012 esade
Ximo Salas
Sistema informacion gerenciales_no04b
Sistema informacion gerenciales_no04b
Carlos Escobar Garza
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Ximo Salas
Ecuaciones
Ecuaciones
Gabriela Mistral
17
17
andrea
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
Informe economico mayo2012 esade
Informe economico mayo2012 esade
Ximo Salas
Sistema informacion gerenciales_no04b
Sistema informacion gerenciales_no04b
Carlos Escobar Garza
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Ximo Salas
Ecuaciones
Ecuaciones
Gabriela Mistral
17
17
andrea
Monitor adecco de oportunidades y satisfacción en el empleo
Monitor adecco de oportunidades y satisfacción en el empleo
Ximo Salas
Sistema informacion gerenciales_no04
Sistema informacion gerenciales_no04
Carlos Escobar Garza
RRHH y Reclutamiento 2.0
RRHH y Reclutamiento 2.0
Ximo Salas
Estudio manpower proyección empleo 3Q 2013
Estudio manpower proyección empleo 3Q 2013
Ximo Salas
Astronomia
Astronomia
tamara1993
Sistema informacion gerenciales_no02
Sistema informacion gerenciales_no02
Carlos Escobar Garza
Presentacion ceip los alcalá galiano (PICBA)
Presentacion ceip los alcalá galiano (PICBA)
femial79
Virus informaticos
Virus informaticos
lauralg
Relaciones Colectivas
Relaciones Colectivas
Saul Cadena
Estudio manpower proyeccion empleo 2012
Estudio manpower proyeccion empleo 2012
Ximo Salas
Estudio manpower proyección empleo 4º trimestre 2014
Estudio manpower proyección empleo 4º trimestre 2014
Ximo Salas
Resumen1 teo
Resumen1 teo
danieled97
Libro social media-ior--las-relaciones-como-moneda-de-rentabilidad.pdf
Libro social media-ior--las-relaciones-como-moneda-de-rentabilidad.pdf
Ximo Salas
Presentacion ceip los alcalá galiano (PICBA)
Presentacion ceip los alcalá galiano (PICBA)
femial79
Estudio+manpower+proyeccion empleo 4tri 2012
Estudio+manpower+proyeccion empleo 4tri 2012
Ximo Salas
Destacado
(20)
Informe economico mayo2012 esade
Informe economico mayo2012 esade
Sistema informacion gerenciales_no04b
Sistema informacion gerenciales_no04b
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Conferencia de ximo salas sobre talento en la pyme en Iniciativa pymes 2014 r...
Ecuaciones
Ecuaciones
17
17
Monitor adecco de oportunidades y satisfacción en el empleo
Monitor adecco de oportunidades y satisfacción en el empleo
Sistema informacion gerenciales_no04
Sistema informacion gerenciales_no04
RRHH y Reclutamiento 2.0
RRHH y Reclutamiento 2.0
Estudio manpower proyección empleo 3Q 2013
Estudio manpower proyección empleo 3Q 2013
Astronomia
Astronomia
Sistema informacion gerenciales_no02
Sistema informacion gerenciales_no02
Presentacion ceip los alcalá galiano (PICBA)
Presentacion ceip los alcalá galiano (PICBA)
Virus informaticos
Virus informaticos
Relaciones Colectivas
Relaciones Colectivas
Estudio manpower proyeccion empleo 2012
Estudio manpower proyeccion empleo 2012
Estudio manpower proyección empleo 4º trimestre 2014
Estudio manpower proyección empleo 4º trimestre 2014
Resumen1 teo
Resumen1 teo
Libro social media-ior--las-relaciones-como-moneda-de-rentabilidad.pdf
Libro social media-ior--las-relaciones-como-moneda-de-rentabilidad.pdf
Presentacion ceip los alcalá galiano (PICBA)
Presentacion ceip los alcalá galiano (PICBA)
Estudio+manpower+proyeccion empleo 4tri 2012
Estudio+manpower+proyeccion empleo 4tri 2012
Similar a Inteligencia en Redes de Comunicaciones
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 Inteligencia en Redes de Comunicaciones
(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
Más de Gabriela Mistral
Recta y algo mas
Recta y algo mas
Gabriela Mistral
Inicio problemas
Inicio problemas
Gabriela Mistral
Algebra baldor
Algebra baldor
Gabriela Mistral
Ecuaciones
Ecuaciones
Gabriela Mistral
Razonamiento lógico matemático
Razonamiento lógico matemático
Gabriela Mistral
imágenes para analizar
imágenes para analizar
Gabriela Mistral
Más de Gabriela Mistral
(6)
Recta y algo mas
Recta y algo mas
Inicio problemas
Inicio problemas
Algebra baldor
Algebra baldor
Ecuaciones
Ecuaciones
Razonamiento lógico matemático
Razonamiento lógico matemático
imágenes para analizar
imágenes para analizar
Último
DIA INTERNACIONAL DAS FLORESTAS .
DIA INTERNACIONAL DAS FLORESTAS .
Colégio Santa Teresinha
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Manuel Molina
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
Integrated Sciences 8 (2023- 2024)
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
YeseniaRivera50
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
Maestría en Comunicación Digital Interactiva - UNR
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
Laura Chacón
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
Juan Hernandez
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
profefilete
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
danalikcruz2000
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
Martín Ramírez
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
JUANSIMONPACHIN
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdf
DannyTola1
VISITA À PROTEÇÃO CIVIL _
VISITA À PROTEÇÃO CIVIL _
Colégio Santa Teresinha
TL/CNL – 2.ª FASE .
TL/CNL – 2.ª FASE .
Colégio Santa Teresinha
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
José Luis Palma
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docx
AgustinaNuez21
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
José Luis Palma
La Función tecnológica del tutor.pptx
La Función tecnológica del tutor.pptx
Junkotantik
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
lclcarmen
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
Martín Ramírez
Último
(20)
DIA INTERNACIONAL DAS FLORESTAS .
DIA INTERNACIONAL DAS FLORESTAS .
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdf
VISITA À PROTEÇÃO CIVIL _
VISITA À PROTEÇÃO CIVIL _
TL/CNL – 2.ª FASE .
TL/CNL – 2.ª FASE .
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docx
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
La Función tecnológica del tutor.pptx
La Función tecnológica del tutor.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
Inteligencia en Redes de Comunicaciones
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