Experiences on converting interpretative regulations into computable rules
Paper presented at CIB W078 Conference Beirut, Lebanon 2012-10-19
Eilif Hjelseth Ph.D. student
Modified version with information about the RASE methodology Presented at TKS 2013-01-15
The Faculty of Law, UiO, Oslo
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Outline
Background – motivation
Case: ISO 21542:2011 Building construction -- Accessibility and usability of the built environment”
standard
Methodology
– Tx3-methodology for classification of types of rules and how they can be implemented
– RASE-methodology, semantic mark-up based on four operators – TIO-methodology, Test Indicator Objectives; for transforming
qualitative goals in the regulations into quantitative metric in the computable rule
Results
Questions
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Questions for TKS - to be answered?
Automated rule checking - general practice or only in special cases?
Can compliance with (all) regulations (law, act, codes, directives, standards)
become checked manually by a building authority officer - or
must one dependent on BIM based model checkers?
(digital code checking software)
TKS -UiOOslo 2012-01-15
3
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Background for development
Automatic BIM based model checking require computable rules.
Regulations; law, act, code, directives, standards contain both function based and prescriptive based statements
Function based statements can not directly be implemented into rules in BIM based software
The AEC industry have a large number of regulations, so the method has to be time and cost efficient
How to develop a methodology to increase the number of computable rules applicable for automatic BIM-based model checking?
Experiences on converting interpretative regulations into computable rules
4
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
The standard has a volume of
152 pages; 42 clauses and 5 annexes 680 rules was identified
Experiences on converting interpretative regulations into computable rules
5
Case: ISO 21542:2011 Building construction -- Accessibility and usability of the built environment
NORWEGIAN UNIVERSITY OF LIFE SCIENCES Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
ISO 21542:2011 - 26.18 Bathrooms, Figure 46 — Examples of a bathroom with bathtub and shower for independent use with a corner WC
periences on converting interpretative regulations into able rules
7
The «classic» turning circle for wheel-chairs
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Intention with the standard
Experiences on converting interpretative regulations into computable rules
8
4 General design considerations
4.1 General
The requirements in this International Standard relate to the principal human abilities that should be considered when designing, constructing and managing the built environment.
=> solutions shall focus on human abilities
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
4.2 Design requirements according to human abilities
Experiences on converting interpretative regulations into computable rules
9
When fully implemented, this International Standard is expected to be of benefit to all people, including:
– people with hearingimpairments, – people with visionimpairments, – people with mobilityimpairments, – people with cognitiveimpairments,
– people with hidden impairments (such as strength, stamina, dexterity and allergy), and
– people with diversities in age and stature (including frail persons).
Note: People are not only wheel-chair users!
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Metric is not a constant – Depend on
ISO 21542:2011 - Annex B (informative), B.6.2 Space allowance for wheelchair users, Figure B.2 — Examples of simplified 180°space requirements of persons in different types of wheelchairs
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Methodology
The study has explored following methods:
Tx3-methodology
– The classification of types of rules is based on following categories; Transcribe–Transform – Transfer
– Determine how they shall be interpreted and implemented
TIO-methodology
– Test Indicator Objectives; for transforming qualitative goals in the regulations into quantitative metric in the computable rule
periences on converting interpretative regulations into computable rules
11
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
The two types of regulations
Performance based specifications are expressed as purpose (function/goal) without discrete metrics;
– Not possible to test direct in BIM based model checking software
– Motivating for new and innovating solutions – and flexible use or existing solutions
Prescriptive specifications are expressed with
discrete metrics (more than 900 mm, 2100 mm, 4 m, 12 ݉ଶ, 32 kN and so on)
– Very easy to test by BIM based model checking software – No motivation for new and innovating solutions – but easy to
content
Experiences on converting interpretative regulations into computable rules
12
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Conceptual framework - taxonomy
Translate –> direct…
Transcribe –> indirect…
Transfer –> missing
Experiences on converting interpretative regulations into computable rules
13
connection between
the objectives in performance based statements and
the metrics required in computable rules
The traffic light metaphor can be get an idea of the concept:
Transcribe–Transform – Transfer
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Taxonomy of type of rules:
Regulatory statement
“Rule”
Experiences on converting interpretative regulations into computable rules
Type of rule
OK, can be checked automatic
“Transcribe”
Not possible to checked automatic Must be interpreted by professional
“Transfer”
Clear , but not
quantitative – need to be assessed further
“Transform”
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Flow chart of the Tx3-methodology for converting of regulations into computable rules
periences on converting interpretative regulations into computable rulesNORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Regulations level
Regulations includes all normative text as laws, building codes, guidelines, calculation / assessment methods, standards and similar
Experiences on converting interpretative regulations into computable rules
16
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Preparation level
Preparation from free text to normative structure in tables by use of the RASE methodology
Presented in previous papers by Hjelseth and Nisbet (2010, 2011)
Terminology must be a uniform (ontology, classification)
Experiences on converting interpretative regulations into computable rules
17
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
RASE
The RASE mark-up language uses the following four RASE operators: ‘requirement’ ‘applies’, ‘select’, and ‘exception’.
Applied on a text, the user highlights any clause or phrase that means:
– ‘shall’/’must’ as a requirement, (including alternative requirements)
– ‘less scope’ as an applies’
– ‘more scope’ as a select’
– ‘unless’ as an exception’, (including composite exceptions).
– The relation between the operators and the original building codes in text is made apparent by a colour system according to the mark-up language. The colours were chosen for acceptability for those with visual impairments.
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
NS-11001-1
10.2011
, Sted, tema19
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Fra linje til kolonner
10.10.2011
, Sted, tema20
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
RASE - Demo case: Norwegian accessibility standard, Clause 5.2 from “NS 11001-1.E:2009 Universal design of building constructions - Part 1: Work buildings and buildings open to the public”
5.2 Dimensioning an access route to a building
The access route for pedestrians/wheelchair users shall not be steeper than 1:20. For distances of less than 3 metres, it may be steeper, but not more than 1:12.
The access route shall have clear width of a minimum of 1,8 m and obstacles shall be placed so that they do not reduce that width. Maximum cross fall shall be 2 %.
The access route shall have a horizontal landing at the start and end of the incline, plus a horizontal landing for every 0,6 m of incline. The landing shall be a minimum of 1,6 m deep.
Minimum clear height shall be 2,25 m for the full width of the defined walking zone of the entire access route including crossing points.
Experiences on converting interpretative regulations into computable rules
21
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
In the original text, it may not be obvious that the overall applicability expressed in the title carries down into following sentences. The second sentence is actually an exception to the first.
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
<R>Standard NS 11001-1, Clause: 5.2 Dimensioning an <a>access route</a> to a building
<R> The <a>access route</a> for <s>pedestrians</s><s>wheelchair users</s> shall <r>not be steeper than 1:20</r>. <E>For <a>distances of less than 3 metres</a>, it may be steeper, but <r>not more than 1:12</r>.</E> </R>
<R>The <a>access route</a> shall have <r>clear width of a minimum of 1,8 m</r> and <r>obstacles shall be placed so that they do not reduce that width </r>.<r>Maximum cross fall shall be 2 %.</r></R>
<R>The <a>access route</a> shall have <r>a horizontal landing at the start and end of the incline<r>, plus <r>a horizontal landing for every 0,6 m of incline</r>. <r>The landing shall be a minimum of 1,6 m deep.</r></R>
<R><r>Minimum clear height shall be 2,25 m </r>for the full width of the defined walking zone of the entire <a>access route</a> including crossing points. </R></R>
periences on converting interpretative regulations into able rules
23
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Experiences on converting interpretative regulations into computable rules
24
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Meta-data
RASE is a methods for “normative-isation” of text
RASE is
turning text into tables
adding meta-data
enabling automatic interpretation
The RASE concept is optimized for interpretation of normative text into rules.
This makes this concept different for NLP (natural language processing) approach.
Experiences on converting interpretative regulations into computable rules
25
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Converting level
Statements who must be interpreted by skilled professional
– Complexity of statement – Varying context – large
variant of situations (models) where the statements is being used
Experiences on converting interpretative regulations into computable rules
Statements with discrete metric – just transcribe (“translate“) into computable rules
See next slide
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Association level
Mapping methodology - Supported by TIO support
«Association methodology, #2-A by mapping qualitative goals to quantitative metric
It is expected that most regulations with indirect association “goal <-> metric” can be solved bye use of the TIO mapping mechanism
periences on converting interpretative regulations into computable rules
27
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Experiences on converting interpretative regulations into computable rules
28
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Pattern level –use of Expert systems
Used on very complicated statements with high importance and complex content
-> Expert systems
Not included in this study
Will increase degree of automatic model checking
Experiences on converting interpretative regulations into computable rules
29
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Test Indicator Objective (TIO)
mapping methodology at association level
Test Indicator Objective (TIO)
Relation between qualitative and quantitative approach -> Association level
The metric can be identified / specified from an top-down or an bottom-up approach
Examples of TIOs are illustrated in following list:
We use the => mark for “transformed to”.
– Well illuminated => more than 350 lux *) – Close to parking => less than 30 m – Close to toilet => less than 10 m
– Door sill must not be too high => less than 10 mm – Large enough sleeping rooms => more than 12 m2
– Well-arranged => visible from starting point (e.g. parking slot/entrance)
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Test Indicator Objective (TIO)
Relation between qualitative goals and quantitative metric
periences on converting interpretative regulations into computable rules
31
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Examples of transformations: Minimum dimension
Experiences on converting interpretative regulations into computable rules
32
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Examples of transformations: Maximum dimension
Experiences on converting interpretative regulations into computable rules
33
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Examples of transformations: Product property
Experiences on converting interpretative regulations into computable rules
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Examples of transformations:Pre-accepted solutions
periences on converting interpretative regulations into computable rules
35
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Results from the case study
ISO 21542:2011 - 13 Stairs, 13.4 Head clearance Figure 18 — Clear height under stairs
Experiences on converting interpretative regulations into computable rules
36
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Experiences on converting interpretative regulations into computable rules
37
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Distribution of Tx3 type of rules
Experiences on converting interpretative regulations into computable rules
Figure 4: Overview of type of rules in the ISO 21543:2011 standard
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Use of TIO-method to increase degree of
automatic model checking of ISO 21542:2011 rules
periences on converting interpretative regulations into able rules
39
Effects by the TIO-methodology on model checking
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Impact for the:
Public authority:
– Performance based regulations can be used as foundation for model checking.
AEC industry:
– Number of regulatory statements applicable for BIM- based model checking can be increased
Research:
– Foundation for further research and development / production of BIM based model checking systems / software.
Experiences on converting interpretative regulations into computable rules
40
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Summary
Development of computable rules can be done in a predictable way
Tx3-methodolgy determine degree of automatic model checking
in advance of detailed development
TIO-methodology increase number of statements which can be implemented as
computable rules in BIM-based model-checking software
Experiences on converting interpretative regulations into computable rules
41
NORWEGIAN UNIVERSITY OF LIFE SCIENCES
Questions!
Thank you for your attention!
Experiences on converting interpretative regulations into computable rules
ISO 21542:2011 – 41 Graphical symbols, Figure 72 — Accessible emergency exit route
AN UNIVERSITY OF LIFE SCIENCES
www.umb.no
Questions for TKS - possible answer?!
Automated rule checking - general practice or only in special cases?
Can compliance with (all) regulations (law, act, codes, directives, standards)
become checked manually by a building authority officer - or
must one dependent on BIM based model checkers?
(digital code checking software)
TKS -UiOOslo 2012-01-15
43