Ingieneria En Sistemas

PRODIGY
 
Este programa fue desarrollado por Jaime Carbonell, Oren Etzioni, Yolanda Gil, Robert Joseph, Craig Knoblock, Steve Minton y Manuela Veloso en la School of Computer Science, CarnegieMellon University. Fue descripto en la revista SIGARTen agosto '91.
PRODIGY utiliza objetivos, situaciones, reglas de actuación y planes. Las reglas de actuación (denominadas operadores) tienenun estímulo (pre-condición) y unarespuesta (una lista de efectos). El estímulo es expresado mediante un sistema llamado logica de predicados (predicate logic) que incluye negación, conjunción, conjuncióndisyuntiva (disjunction) y cuantificadores existenciales y universales. 
Negación significa que una parte de un estímulo de una regla de actuación no debería estar presente en la situación actual.Conjunción significa que varias partes deberían estar presentes juntas. Conjunción disyuntiva significa que solamente una o la otra debería estar presente. Cuantificador existencial significa que por lo menosuno debería estar presente. Cuantificador universal significa que todos deberían estar presentes.
 
Introduciendo reglas de control
Como en muchos sistemas de SI, la parte central del sistema delPRODIGY es un planificador. Este planificador genera una secuencia de reglas de actuación (llamadas operadores) para tratar de llegar de una situación dada, a un conjunto de objetivos. El planificadorde PRODIGY es diferente a los sistemas que hemos visto hasta ahora, en cuanto a que su búsqueda de reglas de actuación aplicables está guiada, esta vez, por reglas de control. Estas reglas de controltoman la forma de estimulo -- describiendo la(s) condición(es) a las que es aplicable -- y una parte respuesta -- para seleccionar, rechazar o preferir una regla de actuación. Las reglas de controlpueden ser generales o aplicables solamente al problema presente (el entorno específico) y pueden ser insertadas mediante su programación inicial o aprendidas por el sistema. Estas reglas de control...