Abstract: The invention comprises methods for describing a system using sets of cause and effect statements. Elimination of intermediate effects then reveals all the explanations for the observed or desired behaviors in polynomial computing time. As can be appreciated, that behavior is described by Boolean expressions on the effects and the explanations are expressed in terms of all the hypotheses stated as Boolean expressions on the primary causes. Correspondingly, these methods find all the explanations consistent with the scope of the set of cause and effect relations. The invention also comprises data processing systems programmed to apply the methods to such applications as generating/predicting all the consequences of each hypothesis to identify side effects, implementing the causes to produce desired effects, and constructing inventions by selecting from appropriate capabilities.

Abstract: Method and its software that helps one choose assumptions needed to solve problems or manage projects and manage their risks. Throughout the process the software helps one track through time what assumptions have been confirmed as correct, what assumptions are ready to be confirmed, and what assumptions are not yet ready to be confirmed. It also shows what work has been done that is not subject to any unconfirmed assumptions, what work has been done using assumptions that have not been confirmed, and what work is yet to be done.

Abstract: A method has been developed for generating, refining and determining the consequences of complex systems of multiple cause and effect relationships. The novel method is applicable to biological systems as well as man-made systems, as it is based on the collecting and using observed behaviors as well as previous understood mechanism or relationships. The method is particularly useful in multi-variable system with significant interactions among sub-components, especially when there is limited expertise or complete understanding of all the components and their respective relationships interactions. In these cases the method provides guidance for future experiments that develop further expertise. The method has particular power and benefit as it provides for a distinction and comparison of the merits of conducting further experiments based on defined criteria.