Skip to main content
SpringerLink
Log in

Logic-based 2D geometric modeling in a CAD environment

  • Published:
Engineering with Computers Aims and scope Submit manuscript

Abstract

This paper examines the use of predicate logic for deductive construction of geometric models. The process of logical inference and its use for geometric modeling is examined. The logic-based definition of a retaining wall is presented, the implementation of a logic-based CAD system using a commercial software is briefly discussed and its use is illustrated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ohsuga, S. (1989) Toward intelligent CAD systems. Computer Aided Design, 21, 315–337

    Google Scholar 

  2. Yagiu, T. (1989) A predicate-logical method for modeling design ojects, Artificial Intelligence in Engineering, 4, 41–53

    Google Scholar 

  3. Lakmazaheri, S. (1989) Constraint logic programming for the analysis and partial synthesis of truss structures, Artificial Intelligence for Enginerring Design, Analysis, and Manufacturing, 3, 157–173

    Google Scholar 

  4. Tomiyama, T.; ten Hagen, P.J.W. (1990) Representing knowledge in two distinct descriptions: extensional vs intensional. Artificial Intelligence in Engineering, 5, 23–32

    Google Scholar 

  5. Treur, J. (1991) A logical framework for design processes. In Intelligent CAD Systems III. Springer-Verlag, Berlin, 3–19

    Google Scholar 

  6. Wu, J.K.; Wang, J.H.; Feng, C.X. (1995) A logic-based mechanical system constraint model. Engineering with Computers, 11, 157–166

    Google Scholar 

  7. Backstrom, C. (1990) Logic modeling of simplified geometrical objects and mechanical assembly processes. Advances in Spatial Reasoning, Vol. 1 (Chen, S. Editor), Ablex Publishing Company, 35–62

  8. Fuh, J.Y.H.; Chang, C-H.; Melkanoff, M.A. (1966) The development of an integrated and intelligent CAD/CAPP/CAFP environment using logic-based reasoning. Computer Aided Design, 28, 217–232

    Google Scholar 

  9. Damski, J.C.; Gero, J.S. (1996) A logic-based framework for shape representation. Computer Aided Design, 28, 169–181

    Google Scholar 

  10. Lakmazaheri, S. (1995) A logic-based mechanism for integrity maintenance of engineering database. Engineering with Computers, 11, 46–57

    Google Scholar 

  11. Lakmazaheri, S. (1996) intelligent geometric modeling of standard bridges. Microcomputers in Civil Engineering, 11, 367–379

    Google Scholar 

  12. Lakmazaheri, S.; Edwards, P. (1997) A linguistic approach to 2D geometric modeling of hierarchical systems. Computing in Civil Engineering, (to appear)

Download references

Author information

Authors and Affiliations

  1. Department of Civil Engineering, The Catholic University of America, 20064, Washington, DC, USA

    Sivand Lakmazaheri

Authors
  1. Sivand Lakmazaheri
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sivand Lakmazaheri.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lakmazaheri, S. Logic-based 2D geometric modeling in a CAD environment. Engineering with Computers 14, 123–138 (1998). https://doi.org/10.1007/BF01213586

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01213586

Keywords

Search

Navigation