Abstract: A reasoning system includes at least one atomic context and a plurality of derivation methods. Each atomic context encapsulates a reference to at least one mathematical model and is configured to cause the performance of at least one computation using the encapsulated mathematical model. Each of the derivation methods is configured to receive a reference to a base context and to create a derived context that is based on the base context. Such created derived contexts are configured to cause the performance of a computation by invoking the base context and providing at least one input to the base context, to receive an output from the base context, to perform a transformation on an input to the base context or on an output from the base context, and to return at least one output of the computation. Derived contexts can be composed in order to create more complex contexts.

Abstract: A system and method for performing compound computational experiments include an experiment having at least one input. The experiment includes a process controllable by a computer and responsive to the input to produce at least one output, the output capable of being stored on a medium readable by the computer. The system includes a generator capable of running on the computer. The generator automates the performance of a plurality of experiments and automatically varies the inputs for the experiments. An outcome store of the system stores the outputs on the computer-readable medium. The system also includes a display capable of running on the computer. The display presents an interpretation of a set of the outputs extracted from the outcome store. The display is responsive to user input to alter the interpretation, to present an interpretation of a different set of outputs, or to cause the generator to perform a plurality of experiments.

Abstract: A system and method for performing compound computational experiments include an experiment having at least one input. The experiment includes a process controllable by a computer and responsive to the input to produce at least one output, the output capable of being stored on a medium readable by the computer. The system includes a generator capable of running on the computer. The generator automates the performance of a plurality of experiments and automatically varies the inputs for the experiments. An outcome store of the system stores the outputs on the computer-readable medium. The system also includes a display capable of running on the computer. The display presents an interpretation of a set of the outputs extracted from the outcome store. The display is responsive to user input to alter the interpretation, to present an interpretation of a different set of outputs, or to cause the generator to perform a plurality of experiments.

Abstract: A system and method for performing compound computational experiments include an experiment having at least one input. The experiment includes a process controllable by a computer and responsive to the input to produce at least one output, the output capable of being stored on a medium readable by the computer. The system includes a generator capable of running on the computer. The generator automates the performance of a plurality of experiments and automatically varies the inputs for the experiments. An outcome store of the system stores the outputs on the computer-readable medium. The system also includes a display capable of running on the computer. The display presents an interpretation of a set of the outputs extracted from the outcome store. The display is responsive to user input to alter the interpretation, to present an interpretation of a different set of outputs, or to cause the generator to perform a plurality of experiments.

Abstract: A system and method for performing compound computational experiments include an experiment having at least one input. The experiment includes a process controllable by a computer and responsive to the input to produce at least one output, the output capable of being stored on a medium readable by the computer. The system includes a generator capable of running on the computer. The generator automates the performance of a plurality of experiments and automatically varies the inputs for the experiments. An outcome store of the system stores the outputs on the computer-readable medium. The system also includes a display capable of running on the computer. The display presents an interpretation of a set of the outputs extracted from the outcome store. The display is responsive to user input to alter the interpretation, to present an interpretation of a different set of outputs, or to cause the generator to perform a plurality of experiments.