Agrega heurística de generalización hecha por Daniel.

[z.facultad/75.68/celdas.git] / trunk / src / sistemaautonomo.h

#ifndef __SISTEMAAUTONOMO__
#define __SISTEMAAUTONOMO__

#include "indicemagico.h"
#include <math.h>
#include <string>
//#include <map>


// DEFINICIONES:
// ------------
//
//      ENTORNO:                        Variables que definen el entorno.
//  CONDICION                   va=a AND vb=b AND vc=c.
//      TEORIA:                         Se cumple condicion_inicial y ejecuto funcion F, entonces se cumplira condicion_final.
//      SISTEMA AUTONOMO:       Tiene un ENTORNO y una cantidad de TEORIAS.
//      CICLO:                          Son los pasos de:
//                                                      * Tomar los valores el entorno.
//                                                      * Decidir una condicion que deberia cumplir el entorno.
//                                                      * Planificar (PLAN) una serie de acciones (PASOS) para alcanzar la condicion deseada.
//                                                      * Ejecutar el plan, verificando en cada paso que se vayan cumpliendo las teorias intermedias.
//      PLAN:
//      PASO:

class CEntorno ;


typedef double t_dato ;
#define ANY -3000000


#define t_fnc(name)             double (*name)(CEntorno&)


#define INFINITO        9999999 //CORREGIR: Poner aca el numero maximo que puede tomar un unsigend long


// ------------------------------------------
// Parametros de configuracion de SA


// [Ejecutador]

// Precision en la comparacion de atributos.
// Poner en 0 si se quiere hacer la comparacion exacta.
#define PRECISION                                                               0.50000

// Cuando se ejecuta un plan, se espera que al termina el ultimo paso se hallan alcanzado las condiciones finales.
// Es posible que las condiciones finales se alcancen en algun paso previo.
// Esto permite generar nuevas teorias, pero quita performance al proceso de ejecucion.
//#define VERIFICAL_RESULTADOS_EN_CADA_PASO             true


// [Planificador]

// Cantidad maxima de pasos que puede tener un plan.
// Cuanto mas grande sea este numero, mas ciclos puede tardar el proceso de planificacion.
// Este valor es un compromiso entre performance y eficiencia.
#define PASOS_MAXIMOS_DE_PLAN           20

// El metodo de planificacion puede encontrar varios planes, y de ellos elige el mejor.
// Si se hace seleccionar TODOS los posibles planes, puede tardar demasiado.
// Una opcion es determinar una cantidad maxima de posibles planes que se pueden testear.
// Este valor es un compromiso entre performance y eficiencia.
// Poner INFINITO si se desea deshabilitar esta opcion.
#define PLANES_MAXIMOS_TESTEADOS        10

// Es la minima relacion P/K que puede tener una teoria para considerarse como aceptable.
#define TOLERANCIA                                      0.75


// [Heuristicas]

// Cantidad de ciclos que se recuerda una teoria.
// Poner INFINITO si se desea deshabilitar esta opcion.
#define CICLOS_DE_MEMORIA                       10




bool incluye_a (CIndiceMagico<t_dato>&, CIndiceMagico<t_dato>&) ;




// CTeoria
class CTeoria
{
public:

        std::string                             nombre ;

        // Condiciones iniciales de la teoria.
        // Cada condicion se representa como un par (clave, valor), que se leen como clave=valor +/- PRECISION.
        // Las condiciones se concatenan con un operador &&
        CIndiceMagico<t_dato>   datos_iniciales ;

        // La funcion que se debe ejecutar para hacer valer la teoria.
        double (*funcion)(CEntorno& e) ;

        // Condiciones finales que deben cumplirsem luego de ejecutar la funcion final valiendo la condicion inicial
        CIndiceMagico<t_dato>   datos_finales ;

public:
        CTeoria()
        {
                nombre = "" ;
                funcion = NULL ;
                k = 1 ;
                p = 1 ;
        }

        CTeoria(const char* ini_nombre, 
                        double (*ini_funcion)(CEntorno& e),
                        unsigned long ini_k,
                        unsigned long ini_p)
        {
                nombre = ini_nombre ;
                funcion = ini_funcion ;
                k = ini_k ;
                p = ini_p ;
        }


public: 
        // Cantidad de veces que se probo la teoria.
        unsigned long                   k ;

        // Cantidad de veces que se probo la teoria y resulto correcta.
        unsigned long                   p ;

        // Cantidad de ciclos ocurridos desde que se creo la teoria.
        // Este parametro se usa para quitarle memoria al SA.
        unsigned long                   ciclos ;

} ;



// CEntorno
class CEntorno
{
public:
        CIndiceMagico<t_dato>   datos ;

public:
//      CEntorno() { this->inicializar() ; }

public:
        // Inicializar los datos
        virtual void inicializar() {} ;

        // Actualizar los datos
        virtual void actualizar() {} ;

        // Destructor
        virtual ~CEntorno() {}
} ;



// CSistemaAutonomo
class CSistemaAutonomo
{
public:
        // El entono en el que se mueve el SA.
        CEntorno*                                       p_entorno ;

        // Las teorias que tiene el SA.
        CIndiceMagico<CTeoria>          teorias ;

public:
        // Retorna true si los valores de la condicion coinciden con los valores del entorno.
        bool verificar_condicion(CIndiceMagico<t_dato>& datos) ;


protected: 

        // Heuristica de observacion.
        //      Segun la teoria que se ejecuto, se crea una nueva teoria con TODOS/ALGUNOS valores actuales del entorno como condicion_final.
        void heurisitca_observacion(CTeoria&) ;

        // Heuristica de correccion por retraccion.
        //      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:

        
        void planificar (       CIndiceMagico<t_dato>&  datos_iniciales,
                                                CIndiceMagico<t_dato>&  datos_finales,
                                                CIndiceMagico<CTeoria>& plan,
                                                double&                                 p,
                                                unsigned long                   numero_de_llamada=0) ;


        // Ejecuta una serie de pasos.
        // Retorna true si se alcanza la condicion final.
        bool ejecutar (CIndiceMagico<CTeoria>& plan) ;


} ;



#endif