Research Summary

Dorothy Neville

With Leo Joskowicz, I have developed a representation language for conceptual design of mechanical devices. The language uses a mixture of predicates and algebraic relations to describe a mechanism’s parts, positions and motions, allowing abstract, incomplete, and underspecified descriptions of behavior. The main contribution of this language is that it cleanly and simply captures the incomplete nature of design specifications. We have also partially implemented a design verification algorithm based on the language.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.