Usa la logica

1
Ejemplo UPC

• Hechos
• Predicado Constantes
• chicos(X) joan, jaume,, pedro, abel, ramon
• chicas(X) nuria, marina,maria, yolanda
• matr(X,Y) (joan,il),(jaume,il),(marina,il),(pedr
  o,p1),
• (marina,eda), (marina,il),(nuria,p1),(yolanda,il
  )
• daclase(X,Y) (il,juan),(p1,ramon),(eda,maria),(p1,
  maria)
• Reglas
• Si X está matriculado en Y entonces es un alumno
• Si X está matriculado en Y y Z da clase de Y
  entonces Z es prof de X
• Si X e Y estan matriculados en Z entonces son
  amicos
• -Si X da clase de Y entonces X es un profesor

2
Preguntas Posibles
Booleanas Es Juan un chico? Es Juan una chica
? Es Juan amico de Nuria? Está nuria matriculada
en il ? Maria da clase de eda ? Es Ramon profesor
de Juan ?
3
Preguntas Posibles

• Sencillas
• - Todos los chicos/chica
• Todos los alumnos
• Todos los profes
• - Profes de il/P1/Eda
• - Cursos impartidos por un prof en particular
• - Pares (profes, curso impartido)
• - Cursos en lo que un alumno esta matriculado
• - Matriculados de un curso especifico
• - Pares (persona, curso matriculado)
• Todos los estudiantes de un prof en particular
• Todos los profesore de un estudiante
• Todos los pares profesor estudiantes
• -Todos los amicos de una persona
• - Todos los pares de amicos

4
Preguntas Posibles
Compuestas Chicos y chicas que son
amicos Personas con un amico en comun Personas
con un chico amico en comun Chicos y chicas con
un amico en comun Chicos y chicas con un chico/a
amico en comun Profesores que tienen estudiantes
en comun Estudiantes con profes en comun Profes
que tienen estud. chicas/os en comun
5
(No Transcript)