Академический Документы
Профессиональный Документы
Культура Документы
TEMA: PREDICADOS
OBJETIVOS:
REQUERIMIENTOS:
PROCEDIMIENTO
DOMAINS
persona= symbol
PREDICATES
hijo(persona,persona)
hermana(persona,persona)
hermano(persona,persona)
casado(persona,persona) % Se consideran los 4 predicados básicos para
el ingreso de la base de conocimientos
CLAUSES
hijo("Dan", "Juan").
hijo("Pedro", "Dan").
hijo("Ivan", "Dan").
hermana("Maria","Susana").
hermano("Harold", "Larry").
hermano("Ivan", "Simon").
casado("Juan", "Maria").
casado("Larry", "Sue").
1
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
2
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
Hermanas de “Sue”
GOAL
Respuesta:
Hermanas de “Susana”
GOAL
Respuesta:
Hermanos de “Larry”
GOAL
Respuesta:
PREDICATES
cunado(persona,persona)
CLAUSES
cunado(A,B):-casado(A,C), hermana(C,B).
cunado(A,B):-hermano(A,C), casado(C,B).
3
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
Consultas:
PREDICATES
padre(persona,persona)
abuelo(persona,persona)
CLAUSES
padre(A,B):-hijo(B,A). % no toma en cuenta los hermanos cruzados
abuelo(A,B):-padre(A,C), padre(C,B).
Consultas:
GOAL hermana("Susana",X).
4
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
PREDICATES
hermanos(persona,persona)
CLAUSES
hermanos(A,B):-hermano(A,B). %una cláusula hermano corresponde a
hermanos
hermanos(A,B):-hermano(B,A). %un hermano puede referirse en forma
inversa definiéndose así en hermanos
hermanos(A,B):-hermana(A,B). %una cláusula hermana corresponde a
hermanos
hermanos(A,B):-hermana(B,A). %una hermana puede referirse en forma
inversa definiéndose así en hermanos
hermanos("Popo","Ququ"). %Puede definirse nuevas cláusulas
hermanos("Maria", "Pedro").
Consultas:
CONCLUSIONES
RECOMENDACIONES
5
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
TRABAJO APLICATIVO
1. Sobrecargue el predicado hermanos, para encontrar a los hermanos que
tengan el mismo padre, utilizando el predicado hijo:
Ejemplo: Pedro e Ivan son hermanos por que tienen el mismo padre.
hijo("Pedro", "Dan").
hijo("Ivan", "Dan").