In this thesis we are concerned with managing the time and space efficiency of reasoning about complex devices, involving tasks that span their life-cycle from design to manufacture and maintenance in the field. An integral part of building and maintaining systems involves representing and reasoning with design descriptions for a collection of tasks. These include verifying the correctness of a design, simulating a design to predict the output of the device for a given set of inputs, generating tests to verify the correct operation of a device, and diagnosing a device with a failure. Each of these tasks can be viewed from the AI perspective as reasoning over a collection of facts in a knowledge base.
KeywordsSearch Space Test Generation Abstraction Level Design Formulation Inference Procedure
Unable to display preview. Download preview PDF.