Computing arrangements using knowledge-based models