MATERIA: Inteligencia Artificial y Redes Neuronales

[pic 1][pic 2]

UNIVERSIDAD AUTÓNOMA DE NUEVO LEÓN

FACULTAD DE INGENIERIA MECANICA Y ELÉCTRICA

MATERIA: Inteligencia Artificial y Redes Neuronales

M.C. Francisco Javier de la Garza Salinas

Actividad 2.1

Represente las siguientes oraciones como funciones

1. Motita es un perro

-Perro(Motita)

1. Fido es un perro

-Perro(Fido)

1. Motita es un dálmata

-Dalmata(Motita)

1. Motita ladra

-Ladra(Motita)

-Vx= Ladra(Motita,x)

1. Perro que ladra no muerde

-Vx= Perro(x) ^ Ladra(x) → ⎤Muerde(x)

-Vx= Vy= Perro(x) Ladra(x,y) → ⎤Muerde(x,y)

1. Fido mordio a Alberto

-Muerde(Fido, Alberto)

1. Los perro solo muerden a personas que no conocen

-Vx= Vy= Perro(x) ^ Person(y) ^ Muerde(x,y) → ⎤Conocen(x,y)

1. Los dálmatas son perros

Vx=Dalmatas(x) → Perro(x)

Actividad 2.2

Convertir las siguientes funciones en clausulas

1.                          2.                                  3.                        4.[pic 3][pic 4][pic 5]

[pic 6]

Actividad 2

Resuelva las siguientes funciones usando lógica

1. Axiomas                  1)            2)                               3)                           4)             5)

1. P[pic 7][pic 8][pic 9][pic 10][pic 11]
2. P ^ Q → R
3. S V T → Q
4. T
5. Probar R

5)    ⎤R                2)    ⎤P v ⎤Q v R

[pic 12][pic 13]

                  ⎤P v ⎤Q           1)    P

[pic 14][pic 15]

                       ⎤Q                3.2)   ⎤T v Q

[pic 16][pic 17]

                                                - T                     4)   T[pic 18][pic 19]

                                                [pic 20]

                                              Clausula Vacía

1. Axiomas                  1)            2)                               3)                           4)                         5)

1. A[pic 21][pic 22][pic 23][pic 24][pic 25]
2. B
3. C v B → D
4. A ^ D → E
5. Probar G

5)    ⎤E                4)    ⎤A v ⎤D v E

[pic 26][pic 27]

                   ⎤A v ⎤D           3.2)   ⎤B v D

...