Abstract:
Automated rule checking (ARC) is revolutionizing in various domains, while its key stage, rule interpretation, still remains a bottleneck. Currently, the process relies heavily on domain experts, making it both time-consuming and labor-intensive. This challenge arises due to the complex computational logics and hidden domain knowledge used in regulatory clauses. These complexities are compounded by the computer's inability to inherently understand complex design rules, given its lack of basic common sense and logical rules. Therefore, the key contents of "Building Design Fire Code" are taken as examples, and through systematically organizing, analyzing, and disassembling the relevant rules, the concept of "atomic function" is firstly proposed. This concept aims to characterize the basic algorithmic units shared by different rules when it comes to rule reasoning and logical computation. Then, towards the analysis of complex rules, the method to identify and to extract relevant atomic functions is established. As a result, 66 atomic functions are identified, and further categorized into 8 groups for the checking of existence, quantity, geometry, distance, area, spatial location, window-wall ratio, and property respectively, thereby forming the first atomic function database for the checking of Chinese building design codes. The complexity, utilization frequency, co-occurrence patterns, and complex logic representation capabilities of the checking objects and atomic functions are analyzed in detail. Results show that: atomic functions' usage showcases a long-tailed distribution; property retrieval functions frequently co-occur with other function types; the atomic functions established have a strong capacity for representing complex logics, which can greatly improve the interpretation scope and reasoning ability of complex design rules.