computational knowledge