inteligencia art

GUÍA DE TRABAJO INDEPENDIENTE
ASIGNATURA: INTELIGENCIA ARTIFICIAL
CARRERA: ING.COMPUTACIÓN/ING. SISTEMAS
TEMA: LÓGICA DE PREDICADOS
Trabajo en grupo. Valor 5ptos
Actividades:
A.Formalizar en el cálculo de predicados las siguientes sentencias en lenguaje
natural.
ᴧ
1. Las manzanas y los plátanos son nutritivos.
Do=Frutas
M=Manzanas
P=Plátanos
N=nutritivos
(x) (M(x) ᴧP(x))N(x)
2. Algunas frutas y verduras son nutritivas.
Do=Vegetales
F=fruta
V=verduras
N=nutritivos
϶(x) (F(x) V V(x)) ᴧ N(x)
3. Si algo anda mal, entonces todos se quejan.
Do=servicioM=mal
Q= se quejan

϶(x) M(x) (x) (Q(x))
4. Formalice
a) Pedro es amigo de todos.
Do=personas
P= pedro
A=amigo
(x) (A (P , x))


b) Algunos son amigos de Pedro.
Do=personasA=amigo
P=pedro
϶(x) (A(x,P))

c) Todos son amigos de todos.
Do=personas
A=amigos

(x) (A(x,x))
5. Sólo los ejecutivos llevan cartera.
Do=personas
E=ejecutivo
C=llevan cartera(x) E(x)C(x)
6. Hay por lo menos una cosa que es humana y que es mortal.
Do=cosa
H=humana
M=mortal

϶(x) H(x) ᴧ M(x)
7. Ningún abrigo es impermeable a menos que haya sido especialmentetratado.
Do=ropa
A=es un abrigo
I=es impermeable
E=está especialmente tratado
(x) ( A(x) ~I(x)) V (A(x) ᴧ E(x) )I(x)
8. Ningún coche que tenga más de 10 años será reparado si estárealmente
Averiado.
Do=Vehículo
C=es un coche
M=más de diez años
R=reparación
A=averiado
(x) (C(x) ᴧ M(x) ᴧ A(x)) ~R(x)

9. En toda pareja de vecinos hay algún envidioso.
Do=personas
P=pareja de vecinos
E=envidioso
(x) P(x) ϶ (y)  E (y)
10. Algún número no es par.
Do=numero
N=numero
P=par
϶ (x) N(x) ~P(x)
11. Todo número es imaginario.
Do=numero
N=numero
P=par(x) N(x)I(x)


12. Ningún perro ladra.
13. Cualquier país es libre.
14. Algún ciudadano es libre.
15. Todos los árboles son verdes.
16. Algún árbol no es verde.
17. Formalice...