ISSN:
1572-8145
Keywords:
Uncertainty
;
rough sets
;
possible worlds
;
rules of inference
;
resolution
;
principle
;
theorem proving
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
Notes:
Reasoning with uncertain information is a problem of key importance when dealing with knowledge from real situations. Obtaining the precise numbers required by many uncertainty-handling formalisms can be a problem when building real systems. The theory of rough sets allows us to handle uncertainty without the need for precise numbers, and so has some advantages in such situations. The authors develop a set of symbolic truth values based upon rough sets which may be used to augment predicate logic, and provide methods for combining these truth values so that they may be propagated when augmented logic formulae are used in automated reasoning.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00123694
Permalink