Exhaustividad y Platicidad

Un scheme (con semántica Tarskiana) es en general una descripción parcial del medio ambiente.

Restringe las formas de satisfacer el mundo pero, en general, nos las determina de manera única.

Esto permite añadir libremente nueva información (tratando de mejorar la especificación del mundo) y por lo tanto deja abierta la posibiliadad a crear inconsistencias (un mundo imposible).

La plasticidad (facilidad de hacer cambios a configuraciones) es escencial en aprendizaje y para cualquier sistema que trabaje con información limitada de un mundo incierto.

A veces, nos gustaría poder decir que tenemos una representación exhaustiva (en algún sentido), lo cual trae a colación el frame problem (i.e., la imposibilidad de representar todo lo relevante).

Podemos pensar que tenemos descripciones exhaustiva, formadas por ciertas propiedades desde un cierto punto de vista, lo cual podría usarse para hacer analogías de forma deductiva.

También se puede hablar de representaciones directas fuertes (e.g., un mapa), donde existe una correspondencia entre todos los objetos y sus representaciones. Aquí sin embargo, no se tiene la propiedad de ``plasticidad'', ya que el añadir nueva información implica hacer alteraciones (las cuales pueden haberse usado para otras deducciones).

Con ésto, surge la necesidad de manterner información de dependencias, ya que al eliminar/cambiar un hecho puede afectar otros que fueron deducidos a partir de él (TMS).

Una alteración más fuerte sería en la ontología. El paso primordial es introducir una nueva noción y luego definir la noción vieja en términos de la nueva.

Una restricción fuerte en la teoría nueva es que debe de ``explicar'' la teoría vieja. Desde este punto de vista, alteraciones son de alguna forma refinamientos.