TY - GEN
T1 - Automated reasoning for regulatory compliance checking in the construction domain
AU - Zhang, Jiansong
AU - El-Gohary, Nora M.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84904641188&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84904641188&partnerID=8YFLogxK
U2 - 10.1061/9780784413517.0093
DO - 10.1061/9780784413517.0093
M3 - Conference contribution
AN - SCOPUS:84904641188
SN - 9780784413517
T3 - Construction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress
SP - 907
EP - 916
BT - Construction Research Congress 2014
PB - American Society of Civil Engineers
T2 - 2014 Construction Research Congress: Construction in a Global Network, CRC 2014
Y2 - 19 May 2014 through 21 May 2014
ER -