Formal representation of human judgment