Soporte para la carga de axiomas

En este MR se agrega soporte para la carga de axiomas desde archivo. La primera forma de generar conocimiento que se creó fue mediante la conversación. Solo se almacenaba info nueva si habia interacción. Luego se agregó soporte para la persistencia de la memoria. Esto también permitió crear archivos de memoria y cargarlos. Ahora se implementó la carga de axiomas. A saber, afirmaciones que SIA entiende por verdaderas. Estas afirmaciones se cargan como reglas con valores máximos.