Outline of a restriction-centered theory of reasoning and computation in an environment of uncertainty and imprecision

The theory which is outlined in this lecture, call it RRC for short, is a departure from traditional approaches to reasoning and computation. A principal advance is an enhanced capability for reasoning and computation in an environment of uncertainty and imprecision. The point of departure in RRC is a basic premise-in the real world such environment is the norm rather than exception.