Premium
Intelligent Geometric Modeling of Standard Bridges
Author(s) -
Lakmazaheri Sivand
Publication year - 1996
Publication title -
computer‐aided civil and infrastructure engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.773
H-Index - 82
eISSN - 1467-8667
pISSN - 1093-9687
DOI - 10.1111/j.1467-8667.1996.tb00350.x
Subject(s) - predicate (mathematical logic) , cad , computer science , deductive reasoning , inference , computer aided design , predicate logic , reasoning system , artificial intelligence , expert system , rule of inference , spatial intelligence , engineering drawing , programming language , description logic , engineering , operating system
Artificial intelligence (AI) is a branch of computer science that deals with the development of approaches and techniques for enabling the machine to mimic human intelligence. The marriage of AI and computer‐aided design (CAD) results in a new breed of systems called intelligent CAD systems. These systems are superior to conventional CAD systems in that they exhibit certain capabilities, such as deductive reasoning, that have been attributes to intelligent beings. Deductive reasoning is a central activity in CAD in general and in geometric modeling in particular. 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.