E. Ruspini - Approximate Reasoning Foundations

Intelligent control and decision methods developed at the AI Center are based upon solid foundations provided by semantic logical models of the approximate-reasoning problem. These models are based on the notion of possible world. Informally, possible worlds correspond to the potential solutions of a system-analysis problem.