Abstract
We call variable conjunctive if it can assume multiple values. This multiplicity of solutions makes a set theoretic framework an appropriate one for representing solutions to such a variable. We develop such a framework and provide a mechanism for reasoning with such variables. The concepts of assurety and rebuff play a central role in this theory. The reasoning mechanism developed is seen as an extension of the theory of approximate reasoning.

This publication has 4 references indexed in Scilit: