INTELLIGENT GEOMETRIC MODELING OF STANDARD BRIDGES

This paper presents a framework for developing intelligent CAD systems that support deductive reasoning. More specifically, the paper (1) discusses the integration of predicate logic as a mechanism for deductive reasoning with conventional CAD systems and (2) illustrates the use of the framework for geometric modeling of standard bridges. This illustration involves (1) representing the geometry of standard bridges using the language of predicate logic and (2) generating, modifying, and verifying the geometry of standard bridges via logical inference.

  • Availability:
  • Corporate Authors:

    Blackwell Publishing

    350 Main Street
    Malden, MA  United States  02148
  • Authors:
    • Lakmazaheri, S
  • Publication Date: 1996-11

Language

  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 00726789
  • Record Type: Publication
  • Files: TRIS
  • Created Date: Oct 2 1996 12:00AM