A reasoning system that handles uncertainty by allowing truth values between 0 and 1, rather than strict true/false.