Automated reasoning for regulatory compliance checking in the construction domain

Jiansong Zhang, Nora M. El-Gohary

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Automating the process of compliance checking is expected to reduce the time and cost of the process, as well as reduce the probability of making compliance assessment errors. Automated reasoning is essential for enabling the automation of compliance checking. Among the different types of formally defined logic, which has varying degrees of descriptive capability, first order logic (FOL) is the most widely used for logical inference making. In this paper, we present our FOL-based representation method for supporting automated regulatory compliance checking in construction. The expressivity of FOL is leveraged to describe various concepts and their relations in construction regulations. Prolog is the most widely used logic programming language and reasoner. We used B-Prolog (an implementation of Prolog) for implementing our proposed method. We tested the method on representing and reasoning about quantitative requirements in Chapter 12 of the 2006 edition of the International Building Code. We developed 109 instances of project information as the test set. We tested the performance of our proposed method in detecting noncompliance instances. Using automatically extracted and transformed regulatory information (and represented in the form of logic clauses), we achieved 0.929 and 0.981 for precision and recall in detecting noncompliance instances, respectively. We also compared automated checking to manual checking in terms of the time efficiency. Automated checking takes a time shorter than 1/10,000 of that for manual checking.

Original languageEnglish (US)
Title of host publicationConstruction Research Congress 2014
Subtitle of host publicationConstruction in a Global Network - Proceedings of the 2014 Construction Research Congress
PublisherAmerican Society of Civil Engineers (ASCE)
Pages907-916
Number of pages10
ISBN (Print)9780784413517
DOIs
StatePublished - Jan 1 2014
Event2014 Construction Research Congress: Construction in a Global Network, CRC 2014 - Atlanta, GA, United States
Duration: May 19 2014May 21 2014

Publication series

NameConstruction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress

Other

Other2014 Construction Research Congress: Construction in a Global Network, CRC 2014
CountryUnited States
CityAtlanta, GA
Period5/19/145/21/14

    Fingerprint

ASJC Scopus subject areas

  • Building and Construction

Cite this

Zhang, J., & El-Gohary, N. M. (2014). Automated reasoning for regulatory compliance checking in the construction domain. In Construction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress (pp. 907-916). (Construction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress). American Society of Civil Engineers (ASCE). https://doi.org/10.1061/9780784413517.0093