Digital library of construction informatics and information technology in civil engineering and construction
Digital library
Paper: w78-2010-54
| Paper title: | Exploring Semantic Based Model Checking |
| Authors: | Eilif Hjelseth, Nick Nisbet |
| Summary: | This paper is exploring the foundation of semantic based model checking concepts. Development of computable rules in a pure semantic based concept is characterized by “soft coding” by following a pre-defined system (mark-up) methodology for linguistic (text and numbers) analyze, organization, execution and reporting. The software programming of this can be done automatic or semi-automatic based on predefined procedures. This enables an AEC skilled person to develop applicable rules without support of programmers. The rules can be applied on then semantic content BIM file in e.g. IFC format.Whether it is possible to develop a valid and reliable system applicable to rule sources (laws, codes, standards) depends on testing two key hypothesis:The use perspective is basis for the first hypothesis: Can a pre-defined semantic system or toolset be used (by an AEC skilled person, not software programmer) on the variation of how rule sources are expressed. The answer on this is based on the constraints of the systems. Negative experiences by Artificial Intelligence based on natural language and the ambiguity in the language itself (Sowa, 2000 and 2006) indicates that there is not a straight forward procedure. Introduction of prerequisite and constraints indicate that trustworthy results are possible (Hjelseth, 2009 and Bell, Bjørkhaug and Hjelseth, 2009). Whether this will result in too limited area of application is discussed. The ISO/DIS 21542 standard for accessibility and usability will be used as case.The second hypothesis is: A system for automatic, or semi-automatic, generating of applicable rule sets for software implementation can be developed. This must rely on the applicability link predefine commands to adjacent actions for the semantic analyses. Limitations and possibilities will be in focus.A thorough perspective will be about challenges above are related to ICT-systems or the complexity of the semantic of world itself.References: Bell, Bjørkhaug and Hjelseth, 2009. Standardized computable rules. Pilot study of methods for development of computable rules Project at Standards Norway, http://www.standard.no/en/Sectors/Bygg-og-anlegg/Digital-byggeprosess/ISO-BIM-standards/Computable-rule-project/ (Visited: 2010-04-01). ISO/DIS 21542 Building Construction, Accessibility and usability of the built environmentISO standard under development of ISO committee TC 59/SC 16 http://www.iso.org/iso/standards_development/technical_committees/list_of_iso_technical_committees/iso_technical_committee.htm?commid=291991 (Visited: 2010-04-01). Hjelseth, E. 2009. Foundation for development of computable rules. Presented at CIB-W78, Turkey, Istanbul, Oct. 1-3th 2009. http://www.optima.no/BIM/PhD_Eilif_Hjelseth/Eilif_Hjelseth_UMB-Norway_Paper_73_CIB-W78_2009.pdf (Visited: 2010-04-01).Sowa, J. F. 2000. Knowledge representation: Logical, Philosophical and Computational foundations, Thomson Learning. ISBN 0 534-94965-7 |
| Type: | normal paper |
| Year of publication: | 2010 |
| Keywords: | Model checking, semantic, BIM, IFC |
| Series: | w78:2010 |
| ISSN: | 2706-6568 |
| Download paper: | /pdfs/w78-2010-54.pdf |
| Citation: | Eilif Hjelseth, Nick Nisbet (2010). Exploring Semantic Based Model Checking. CIB W78 2010 - Applications of IT in the AEC Industry (ISSN: 2706-6568), http://itc.scix.net/paper/w78-2010-54 |
hosted by University of Ljubljana
includes:
W78
includes:
W78
inspired by SciX, ported by Robert Klinc [2019]