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

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

Embed Size (px)

Citation preview

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

Sofía Rojas Calvo

Bachillerato internacional

Departamento De Tecnología de la

Información

Docente: Nancy Oconitrillo

Page 2: 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.

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

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

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

REGLAS DE INFERENCIA

Sí esto, entonces eso; sí eso, entonces aquello otro

Afirmaciones verdaderas a partir de otras ya conocidas

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

“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

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

“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”

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

“Afirmo”DOBLE NEGACIÓN (DN)

¬¬p ↔ p

¬¬p           “No ocurre que Ana no es

una estudiante” 

p                 “Ana es una estudiante”

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

ADJUNCIÓN o CONJUNCIÓN

p          “Juan es cocinero”

           

q          “Pedro es policía”

             

p Λ q   “Juan es cocinero y Pedro es

policía”

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

Simplificación (S):

p Λ q               “Tengo una manzana y

tengo una pera”

p                      “Tengo una manzana”

 

q                      “Tengo una pera”

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

“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”

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

LEY DE LA ADICIÓN (LA)

a                 “He comprado manzanas”

 

  a V b       “He comprado manzanas

o he comprado peras”

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

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”

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

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  qy no es cierto/no ocurre pentonces necesariamente es cierto/ocurre q

DIFERENCIA: Esta no implica, esta EXCLUYE

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

SIMPLIFICACIÓN DISYUNTIVA (SD)

p V q              “Helado de fresa o heladode vainilla”

  p → r              “Si tomas helado de fresa, entonces vomitas”

  q → r              “Si tomas helado de vainilla, entonces vomitas”

 r                      Entonces, vomitas

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

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»

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

LEYES DE MORGAN (DM)

p Λ q                                p V q

___________                 ____________      

 

 ¬(¬p V ¬q)                        ¬(¬p Λ ¬q)

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

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