Abstract:At present, the code compliance checking based on BIM model are done manually with heavy workload and low information intelligence. It is of great significance to carry out the research on automatic compliance checking. As an important step, standard translation involves many fields such as philosophy, mathematics, mathematical logic, computer science, artificial intelligence, natural language processing and semantics. It is not only a research issue of interdisciplinary integration, but also a prerequisite for realizing the automation of building design and compliance checking. In the field of structural design, code representation methods which can effectively support knowledge representation, reasoning, and automation of compliance checking needs to be developed. Based on the first-order predicate logic, this paper proposes a method of expression and reasoning of structural design rules by translating the provisions in the “code for design of concrete structures”. Through the definition of “predicate” and “function”, the design provisions, table and formula in design specification are translated. It effectively solves the problem of insufficient and inaccurate representation of structural design clauses by using traditional first order predicates, and thus provides a reference for the computer expression of design specifications.