Ingenieria En Computacion

UNIVERSIDAD NACIONAL DE CHIMBORAZO
UNIDAD DE FORMACION ACADEMICA Y PROFECIONALIZACION
INGENIERIA EN COMPUTACION
10 SEMESTRE
GUSTAVO TRUJILLLO

TRABAJO DE INTELIGENCIA ARTIFICIAL II

TEMA: 10EJERCICIOS DE LOGICAS DE PREDICADOS

1.. PAJAROS
Ningún pájaro es un anfibio; todo el que no es anfibio no es un pez. Por lo tanto, ningún pájaro es un pez.
* P=ser un pájaro
* A=ser unanfibio
* Z=ser un pez
Solución
Derivación del argumento:
|--- x (Px  ¬ Zx)
* -1 x (Px  ¬ Ax)
* -2 x (¬ Ax  ¬ Zx)
* 3 Pa  ¬ Aa EG1
* 4 ¬ Aa  ¬ Za EG2
* 5 Pa ¬ Za Sil 3,4
* 6 x (Px  ¬ Zx) IG 5

2.. PROFESORES Y ESTUDIANTES
En general los estudiantes aceptan a sus profesores. Algunos profesores están chiflados o van de enterados. Algunosestudiantes prefieren a los chiflados. Por consiguiente, algunos estudiantes rechazan a los profesores enterados.
* E=ser estudiante
* P=aceptar profesores
* F=ser profesor chiflado
*L=ser profesor enterado
Solución

Derivación del argumento:
|--- x (Ex  Fx)
* -1 x (Ex  Px)
* -2 x (Fx  Lx)
* -3 x (Ex  ¬ Lx)
* 4 (Ea  Pa) EG1
* 5 (Fa  La)
*6 (Ea  ¬ La)
* 7 ¬ La EC 6
* 8 Fa TP 5,7
* 9 Ea EC 6
* 10 Ea  Fa IC 9,8
* 11 x (Ex  Fx) IP 10
* 12 x (Ex  Fx) EP 2,3 5-11

3.. POLITICO
Algunos políticos songraciosos; todos los políticos son adultos. Por lo tanto, algunos adultos son graciosos
* P=ser político
* G=ser gracioso
* A=ser adulto
Solución

Derivación del argumento:
|---x (Ax  Gx)
* -1 x (Px  Gx)
* -2 x (Px  Ax)
* 3 Pa  Aa EG 2
* 4 Pa  Ga
* 5 Pa EC 4
* 6 Aa MP 3,5
* 7 Ga EC 4
* 8 Aa  Ga IC 6,7
* 9 x (Ax  Gx) IP 8* 10 x (Ax  Gx) EP 1, 4-9

4.. AMOR A LOS NIÑOS
Todo el que ama a los hombres, ama también a los niños. Por lo tanto, el que no ama a los niños tampoco ama a los hombres.
*...