ISSN:
1435-5663
Keywords:
Conformance checking
;
Design standards
;
Object-logic model
;
Representation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
,
Technology
Notes:
Abstract There are two distinct categories of knowledge in a design standard: (1) knowledge of the organization of design objects and (2) knowledge of the methods used in reasoning about the design objects. The object-oriented paradigm lends itself naturally to representing the organizational aspect of the design standard. The logic programming paradigm, on the other hand, is well suited to implementing the reasoning mechanisms for design and conformance checking. The object-oriented and logic programming paradigms are combined to provide a unified Object-Logic model for the representation of design codes and the processing of design standards. By storing the design provisions in a knowledge base, the model is capable of performing conformance checking and component design. To evaluate the feasibility and practicality of this model, a prototype system, HyperLRFD++, has been implemented for parts of the American Institute of Steel Construction (AISC) Load and Resistance Factor Design (LRFD) specification and tested on sample problems.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01206345
Permalink