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.


Silt Dinates Prefix Adapter Helios 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1987

Authors and Affiliations

  • Narinder Singh
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations