Between Logic and Reality: Modeling Inference, Action