a system of logic that allows for degrees of uncertainty, rather than depending on absolute truth-values, and that is used to make human thought processes or imprecise information accessible to computers