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]

...