Logic‐Based Approach for Modeling Organization of Design Standards
- 1 April 1990
- journal article
- Published by American Society of Civil Engineers (ASCE) in Journal of Computing in Civil Engineering
- Vol. 4 (2) , 102-123
- https://doi.org/10.1061/(asce)0887-3801(1990)4:2(102)
Abstract
Several studies have been conducted on representing and processing design standards for design automation. One of the main outcomes of these studies is the standards analysis, synthesis, and expression (SASE) model. To extend the utility of the SASE model for processing (reasoning about) design standards, a logic‐based approach is proposed. This approach provides: (1) A formal language, founded on predicate logic, for representing the standard; and (2) a mechanical means for reasoning about the standard using the language. The formal language is used to model the overall organization of a portion of the American Institute of Steel Construction (AISC) design specification. The model, called the formal organizational submodel, is composed of a set of axioms that capture the relationships between the classifiers and the provisions of the standard. Reasoning about the formal organizational submodel is accomplished using the resolution theorem proving strategy. This paper's main contribution is its use of pred...Keywords
This publication has 6 references indexed in Scilit:
- Software concept for checking engineering designs for conformance with codes and standardsEngineering with Computers, 1989
- Automated Processing of Design StandardsJournal of Computing in Civil Engineering, 1988
- A knowledge-based system for automated architectural code checkingComputer-Aided Design, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Introduction to SASE :Published by National Institute of Standards and Technology (NIST) ,1987
- Organization of building standards :Published by National Institute of Standards and Technology (NIST) ,1981