A type of logic that allows for degrees of truth, and is suitable for dealing with imprecise or uncertain information.