COMPAS is actually a professional system greatly employed by U.S. courts to assess the chance of the defendant becoming a recidivist. official logic is available in two most important forms: propositional logic (which operates on statements which might be accurate or Wrong and employs rational connectives like "and", "or", "not" and "implies")