Se purgan teorias porque cuando hay muchas se arrastra el planificador. Tambien se...

diff --git a/trunk/src/sistemaautonomo.cpp b/trunk/src/sistemaautonomo.cpp
index 413f6857a3367d3b5c6409579fe2b26baaa540e8..7bc390b34e9f7576f87a7364834fbf7b84f62581 100644 (file)
--- a/trunk/src/sistemaautonomo.cpp
+++ b/trunk/src/sistemaautonomo.cpp
@@ -48,6 +48,7 @@ void CSistemaAutonomo::plan()
        else
                std::cout << "SA: curr teoria: " << **curr_theory << "\n";
 #endif // DEBUG
        else
                std::cout << "SA: curr teoria: " << **curr_theory << "\n";
 #endif // DEBUG

+       if (teorias.count() > TEORIAS_MAX) purgar_teorias();

 }
 
 //--------------------------------------------------------------------------------------------
 }
 
 //--------------------------------------------------------------------------------------------


@@ -271,7 +272,7 @@ void CSistemaAutonomo::planificar (CIndiceMagico<t_dato>&   datos_iniciales,
 
        if ( incluye_a(datos_iniciales, datos_finales) ) return ;
 
 
        if ( incluye_a(datos_iniciales, datos_finales) ) return ;
 

-       if ( numero_de_llamada > 7 ) return ;
+       if ( numero_de_llamada > PASOS_MAXIMOS_DE_PLAN ) return ;

 
        for (i = 0; i < teorias.count(); i++)
                if ( incluye_a(teorias[i]->datos_iniciales, datos_iniciales) )
 
        for (i = 0; i < teorias.count(); i++)
                if ( incluye_a(teorias[i]->datos_iniciales, datos_iniciales) )


@@ -296,52 +297,24 @@ void CSistemaAutonomo::planificar (CIndiceMagico<t_dato>& datos_iniciales,
                plan.add (new_plan) ;
 }
 
                plan.add (new_plan) ;
 }
 

-
-/*
-//--------------------------------------------------------------------------------------------
-//--
-bool CSistemaAutonomo::ejecutar (CIndiceMagico<CTeoria>& plan)
+void CSistemaAutonomo::purgar_teorias()

 {
 {

-       bool result = true ;
-       unsigned i ;
-       t_fnc(pFnc) ;
-       CTeoria t ;     
-
-
-       for (i=0; i<plan.count() && result; i++)
+       unsigned size = teorias.count();
+       unsigned pos = size - 1;
+       double whorst_prob = 1.0;
+       for (unsigned i = 0; i < size; ++i)

        {
        {

-               t = plan[i] ;
-               pFnc = t.funcion;
-
-               // Ejecuto la funcion
-               (*pFnc)(*(this->p_entorno)) ;
-
-               // Incremento el K
-               t.k++ ;
-
-               // Actualizo los datos del entorno
-               this->p_entorno->actualizar() ;
-
-               // Veo si se verifica la condicion final
-               result = this->verificar_condicion(t.datos_finales) ;
-
-               // Si fallo la teoria
-               if (!result)
-               {
-                       // Aplico heuristicas de correccion
-                       this->heuristca_retraccion(t) ;
-               }
-               else
+               double p = (double)teorias[i]->p / (double)teorias[i]->k;
+               if (p < whorst_prob)

                {
                {

-                       t.p++ ;
+                       whorst_prob = p;
+                       pos = i;

                }
                }

-
-               // Aplico heuristicas de observacion
-               this->heuristca_observacion(t) ;
-               this->heuristca_generalizacion(t);

        }
        }

-
-       //
-       return result ;
+       teorias.remove(pos);
+#ifdef DEBUG
+       std::cout << "SA: Se purgo la teoria " << teorias[pos] << "\n";
+#endif // DEBUG
+       if (size - 1 > TEORIAS_MAX) purgar_teorias();

 }
 }

-*/
+

diff --git a/trunk/src/sistemaautonomo.h b/trunk/src/sistemaautonomo.h
index 6ef889903807a3f3f797f23d4650267a8c288c50..1aa60d9d87708b14f44fcbfd69d22bb01b5f2707 100644 (file)
--- a/trunk/src/sistemaautonomo.h
+++ b/trunk/src/sistemaautonomo.h
@@ -57,7 +57,7 @@ typedef double t_dato ;
 // 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.
 // 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
+#define PASOS_MAXIMOS_DE_PLAN          5

 
 // 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.
 
 // 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.


@@ -66,6 +66,11 @@ typedef double t_dato ;
 // Poner INFINITO si se desea deshabilitar esta opcion.
 #define PLANES_MAXIMOS_TESTEADOS       10
 
 // Poner INFINITO si se desea deshabilitar esta opcion.
 #define PLANES_MAXIMOS_TESTEADOS       10
 

+// Cantidad máxima de teorías que puede tener el planificador. Al haber muchas teorías el
+// tarda demasiado tiempo en planificar, por lo tanto es necesario sacar algunas teorías
+// para que sea utilizable.
+#define TEORIAS_MAX                    7
+

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


@@ -231,6 +236,9 @@ protected:
        // 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 heuristca_generalizacion(CTeoria&);
 
        // 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 heuristca_generalizacion(CTeoria&);
 

+       // Purga las teorias que no son muy exitosas.
+       void purgar_teorias();
+

 public:
 
        
 public: