Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. (2018)