Sofía Rojas Calvo Bachillerato internacional Departamento De Tecnología de la Información Docente: Nancy Oconitrillo.

Slides:



Advertisements
Presentaciones similares
Validar el razonamiento:
Advertisements

AI EN LAS EMPRESAS.
Inferencia en Lógica Proposicional
INTELIGENCIA ARTIFICIAL
Lógica y argumentación
Argumentos deductivos
¿Definición de falacias?
VALIDEZ DE UN RAZONAMIENTO:
Dos figuras antagónicas
Lógica Proposicional.
PRUEBAS DE VALIDEZ E INVALIDEZ
INFERENCIAS DEDUCTIVAS Y FALACIAS CORRESPONDIENTES
Ayudantía Nº 2 Carola Muñoz R..
Departamento de Matemáticas
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
CAPÍTULO I LÓGICA Y CONJUNTOS.
LÓGICA MATEMÁTICA Moisés Villena.
PARTE 1 : INTRODUCCIÓN El concepto de razonamiento.
Programa de Asignatura.
El acento diacrítico o la tilde diacrítica
CONJUNCIONES.
DEPARTAMENTO DE FORMACIÓN GENERAL.
HABILIDADES LÓGICO MATEMÁTICAS
PENSAR, RAZONAR Y ARGUMENTAR
INTELIGENCIA ARTIFICIAL (IA)
TIPOS DE SILOGISMOS SILOGISMO CATEGORICO: razonamiento deductivo consistente en tres proposiciones categóricas. Puede ser necesario: las proposiciones.
Argumentos y Pruebas en Lógica
Inductivismo, Confirmacionismo y Falsacionismo
M.C. Juan Carlos Olivares Rojas
Lógica Proposicional Inteligencia Artificial Luis Villaseñor Pineda
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
ARGUMENTOS, ARGUMENTACIÓN Y DISCURSOS ARGUMENTATIVOS
Resolución, la regla de inferencia y el cálculo Raúl Monroy.
ENTINEMA En la inferencia deductiva no se suele usar el silogismo en forma típica, sino en forma de ENTINEMA esto es: un silogismo en que se suprime.
LÓGICA PROPOSICIONAL Y PREDICADOS
Campus Estado de México—Raúl Monroy Resolución, la regla de inferencia y el cálculo Raúl Monroy.
UN SISTEMA DE DEDUCCIÓN NATURAL PARA EL CÁLCULO PROPOSICIONAL
11 estrategias obvias para deducción natural
Lógica proposicional.
Proposiciones simples y proposiciones compuestas
INTRODUCCIÓN A LA LÓGICA
Inferencia Lógica Capítulos , 8.1 y
Sistema Experto Construcción. Un sistema experto puede ser construido así:  Un ingeniero entrevista al experto y aprende de lo que el hace y como lo.
Razonamiento Pensamiento
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
Departamento de Matemáticas
Q.E.D. Q.E.D. Quod Erat Demostrandum (Patente en trámite) Juego de mesa para desarrollar habilidades en demostraciones formales de validez. Por: Amílcar.
La Argumentación Modelo de Toulmin Omar Salazar Dpto. Español
MÉTODOS DE DEDUCCIÓN Rodrigo Jurado, MA.
MÉTODOS DE DEDUCCIÓN (Partes I & II)
FORMAS ARGUMENTALES COMUNES
El objetivo científico de la IA es entender la inteligencia. Prof: Nancy Oconitrillo Madrigal.
Introducción a la Lógica
CATEGÓRICO, HIPOTÉTICO, DISYUNTIVO
Capítulo 4: Lógica Matemática
VII. Argumentos deductivos
LAS FALACIAS ¿QUÉ SON?.
Silogismos Hipotéticos
FRUTA Y COMIDA. LA FRESA ES ROJA, PEQUEÑA Y DULCE.
El problema filosófico del conocimiento
Licenciatura en Ingeniería en Sistemas Inteligentes
Lógica Equivalencia Lógica Leyes Lógicas Circuitos Lógicos -¿Qué es?
Principios logicos.
LAS FALACIAS FORMALES E INFORMALES.
Leyes de la lógica e inferencias
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Tercera parte.
LOGICA LEYES LÓGICAS TAUTOLOGÍAS NOTABLES DERIVACIONES
Sistemas y Comunicaciones
Lógica y Probabilidades Consecuencias lógicas Prueba de teoremas Demostración de afirmaciones.
Transcripción de la presentación:

Sofía Rojas Calvo Bachillerato internacional Departamento De Tecnología de la Información Docente: Nancy Oconitrillo

La inteligencia artificial es aquella inteligencia que crea con la intención de reforzar o moldear la inteligencia humana de manera simulada o artificial y es creada por el ser humano.

Los sistemas expertos son llamados así porque emulan el razonamiento de un experto en un dominio concreto y en ocasiones son usados por éstos.

Afirmaciones verdaderas a partir de otras ya conocidas REGLAS DE INFERENCIA Sí esto, entonces eso; sí eso, entonces aquello otro Afirmaciones verdaderas a partir de otras ya conocidas

“Afirmando afirmo” MODUS PONENS causa-efecto p → q  “Si llueve entonces las calles se mojan” Hipótesis p Llueve Hipótesis q entonces las calles se mojan Conclusión

“Negando, niego” MODUS TOLLENDO TOLLENS (TT) p → q “Si llueve, entonces las calles se mojan”      ¬q                  “Las calles no se mojan”   ¬p “Entonces, no llueve”

“Afirmo” DOBLE NEGACIÓN (DN) ¬¬p ↔ p ¬¬p           “No ocurre que Ana no es una estudiante”   p                 “Ana es una estudiante”

ADJUNCIÓN o CONJUNCIÓN p          “Juan es cocinero”             q          “Pedro es policía”               p Λ q   “Juan es cocinero y Pedro es policía”

p Λ q “Tengo una manzana y Simplificación (S): p Λ q               “Tengo una manzana y tengo una pera” p                      “Tengo una manzana”   q                      “Tengo una pera”

“Negando afirmo” MODUS TOLLENDO PONENS (TP) p V q          “He ido al cine o me he ido de compras”      ¬q               “No he ido de compras”      p                   Por tanto, he ido al cine”

a V b “He comprado manzanas LEY DE LA ADICIÓN (LA) a                 “He comprado manzanas”     a V b       “He comprado manzanas o he comprado peras”

SILOGISMO HIPOTÉTICO (SH) p → q              “Si la bola roja golpea a la bola blanca, la bola blanca se mueve”   q → r              “Si la bola blanca golpea a la bola negra, la bola negra se mueve” p → r              “Si la bola roja golpea a la bola blanca, la bola negra se mueve”

SILOGISMO DISYUNTIVO (DS) p V q ser el mejor o ser un fracasado ¬p No ser el mejor q Ser un fracasado Si necesariamente es cierto/ocurre o p o  q y no es cierto/no ocurre p entonces necesariamente es cierto/ocurre q DIFERENCIA: Esta no implica, esta EXCLUYE

SIMPLIFICACIÓN DISYUNTIVA (SD) p V q              “Helado de fresa o helado de vainilla”   p → r              “Si tomas helado de fresa, entonces vomitas”   q → r              “Si tomas helado de vainilla, entonces vomitas”  r                      Entonces, vomitas

LEY CONMUTATIVA p Λ q ↔ q Λ p “«p y q» equivale a «q y p»”   p V q ↔ q V p             “«p ó q» equivale a «q ó p»

LEYES DE MORGAN (DM) p Λ q p V q ___________ ____________ ___________                 ____________           ¬(¬p V ¬q)                        ¬(¬p Λ ¬q)

DILEMA CONSTRUCTIVO (DC) (P → Q) ^ (R → S) y (P v R) inferimos (Q v S) . Si Juan se va a Alaska, se congelará en invierno. Si se va a Miami, se asará en verano. Juan se va a Alaska o a Miami. Por lo tanto, se congelará en invierno o se asará en verano