On the knowledge structure of multi-solution variables, including quantified statements (Q1099969): Difference between revisions

This article is concerned with the development of a theory for reasoning about variables that can assume multiple solutions. The author discusses the representation of three types of canonical statements: affirmative, disfirmative, and quantified. Measures of surety and rebuff are introduced that measure, respectively, the degree to which one is sure that a value occurs and the degree to which one rebuffs its occurrence. By restricting a variable to one solution by way of a uniquely quantifying proposition, the author holds that it is possible to obtain the theory of possibility.