Inteligencia Artificial 2014

Valoracin de las evidencias a entregar en Lgica

Semana Evidencias
A entregar
Elementos a
especificar en la
evidencia
Valoracin

11
-Planteamiento
del problema a
resolver.
Qu se quiere
probar? (5p )

Redaccin del
problema y su
conversin a clusulas,
pasando por las
sentencias LPO.

La redaccin del problema es clara, se aproxima a un
problema de la vida real (2 p)
Conversin del problema a sentencias de Lgica de
Primer Orden (2)
Transforme las sentencias de LPO en clasulas (2)
12

Diseo del
programa (5p)

Programa en Prolog
usando las clausulas
anteriores y el rbol de
una consulta.

Objetivo del diseo (problema a solucionar) (1)
El programa contiene todas las clausulas del anterior
inciso estructuradas como clausulas de Horn: hechos
y reglas.(2)
Plante una consulta y dibuje su rbol de prueba.(2)
Comentarios adecuados (1)

13
Implementacin
del programa (7p)

Archivo digital
Se ejecuta sin problemas, no hay errores de
ejecucin. (2)
Evala correctamente una nueva consulta (2)
Le permite al usuario realizar las preguntas: Cmo? y
porque?(3)
14
Participacin en
el Foro 3
(5p)
Dos intervenciones Responde a la pregunta planeada clara y concisamente.(3)
Colabora aclarando/complementando a otro compaer@ (2
p)
14
Sistemtico
(10p)

10 p
Total del
puntaje
del tema
Bsqueda
32 puntos