Free Between Logic And Reality: Modeling Inference, Action And Understanding 2012