X-Git-Url: https://git.llucax.com/z.facultad/75.68/celdas.git/blobdiff_plain/3614a9b0d6ac477997b3b88d7362494e55538dc3..4564a91af300e428600a997b3da82bf4abf50011:/trunk/src/sistemaautonomo.h?ds=inline diff --git a/trunk/src/sistemaautonomo.h b/trunk/src/sistemaautonomo.h index a5e71c4..3179a93 100644 --- a/trunk/src/sistemaautonomo.h +++ b/trunk/src/sistemaautonomo.h @@ -185,6 +185,9 @@ protected: // Si una teoria no se verifico como correcta, se crea una nueva quitandole las condiciones_finales que no se verifican. void heurisitca_retraccion(CTeoria&) ; + //Heuristica de generalizacion. + // Si dentro de las teorias se encuentra unaque solo difiera de los datos del entorno en una condicĂ­on inicial => se agrega una nueva teoria igual pero con ANY en esa condicion. + void heurisitca_generalizacion(CTeoria&); public: