dc.date.accessioned | 2008-04-28T13:50:58Z | |
dc.date.accessioned | 2018-11-26T22:25:01Z | |
dc.date.available | 2008-04-28T13:50:58Z | |
dc.date.available | 2018-11-26T22:25:01Z | |
dc.date.issued | 1987-02 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/41472 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/41472 | |
dc.description.abstract | I have implemented a simple "mechanical design compiler", that is a program which can convert high-level descriptions of a mechanical design into detail descriptions. (Human interaction is sometimes required.) The program operates in the domain of power transmission equipment composed of discrete, purchasable components. I describe a semantic theory which assigns meanings to the high-level descriptions, and a set of operations on statements in a "specification language" which perform some of the reasoning required by the "compilation" process. | en |
dc.language.iso | en_US | en |
dc.publisher | MIT Artificial Intelligence Laboratory | en |
dc.title | A Partial Mechanical Design Compiler | en |
dc.type | Working Paper | en |