Deductive approximate reasoning systems

A formal deductive view for the theory of approximate reasoning, called AR-1, is introduced. A central feature of this framework is the view of propositions as statements involving the assignment of possible values to variables. A unified method for managing joint variables is given. AR-2, which allows for the introduction of probability theory into approximate reasoning, is presented. AR-5, a restrictive version of approximate reasoning, is also introduced.<
>