TBA4410 - Development of Digital Rule Checkers and Knowledge Systems for the AEC/FM Industry


Examination arrangement

Examination arrangement: Portfolio assessment
Grade: Letters

Evaluation Weighting Duration Grade deviation Examination aids
Assignment 5/100 1 weeks A
Approved report 60/100 13 weeks A
Assignment 5/100 1 weeks A
Assignment 5/100 1 weeks A
Semester assignment 5/100 30 minutes A
Oral examination 10/100 20 minutes A
Semester assignment 5/100 30 minutes A
Semester assignment 5/100 30 minutes A

Course content

The course deals with principles, methods, and software for how graduates with a background in construction can contribute to the development of digital control systems and knowledge systems for the Architects, Engineers, Contractors and Facility management (AEC/FM) industry. This development will focus on two perspectives:


1) How to transform requirements (from law, contracts and best practices, etc.) that are designed for manual professional interpretation in such a way that it is suitable for implementation in digital solutions. This can be included in a rule set in BIM based rule inspectors such as Solibri Model Checker, Navisworks, Tekla BIMsight, or other rule-engines). The course provides experience in solving problems related to interpretation of requirements, assessing whether these are applicable for digital processing, identifying relevant information, and describing how these can be processed automatically or semi-automatic. This process can also be used to formulate requirements in such a way that these can be implemented as easily as possible in rule-checkers.


2) How digital information (e.g. from existing databases), Internet of Things (IoT) and BigData can be further developed into knowledge systems such as Knowledge Based Engineering (KBE), Business Intelligence (BI), Artificial Intelligence (AI) Machine learning (ML) and autonomous systems The course will include the development of concepts systems (ontologies), linked data, types of logic and decision support. Students will identify the advantages and limitations in development and use of different types of rule-based and knowledge based systems to support existing and new tasks and processes in the AEC/FM industry. It is emphasized that students can describe business models for developed digital solutions.

Learning outcome

After completing the course, the student will independently have the following:


Knowledge about:

- principles and methods for transforming requirements for further implementation into digital rule-based systems

- different types of digital knowledge systems and their suitability for use in the AEC/FM industry.

- research and commercial development and use of digital rule-based systems

- describe business models for digital rule-based systems


Skills to:

- model information requirements and logic for the development of digital rule-based systems

- identify relevant information in large amounts of data to support tasks in the AEC/FM industry


General competence to:

- develop a implementation plan for transforming requirements for implementing digital rule based systems

- identify technological and organizational challenges related to the development and implementation of digital rule based systems

- introduce solutions of digital rule based systems for real tasks in the AEC/FM industry

Learning methods and activities

The course is conducted as project and problem-based learning. This includes lectures, exercises, self-study, group work and discussions, as well as case studies in real tasks in the construction, construction and infrastructure industry. Emphasis is placed on discussions and cooperation between participants and initiatives towards the industry.


Software and hardware: The currently available hardware and software for project management in the SIMsalaBIM digital lab at the study site. Software for the completion of the project assignment is chosen in relation to the current problem of the students in consultation with the course coordinator.


For basic skills, demonstration (exercises) of the following digital tools will be provided:

Solibri Model Checker - rule based checking

Navisworks - rule based checking

Tekla BIMsight - rule based checking

Bizagi Process Modeling (Based on BPMN)

Architect Enterprise - Information Modeling

Demo of commercial solutions: BRMS, Sparkling Logic, and more.

Other programs relevant to development, exercises


The course will be conducted as compressed teaching modules in the middle and last part of the spring semester (taught after TBA4415). If few students, the teaching will be blended learning; combination of teaching at Gjøvik, online teaching and guidance. Study-tours to various software developers.

Further on evaluation

Portfolio assessment is the basis for the grade in the course. The results for the parts are given in %-scores, while the entire portfolio is assigned a letter grade. For a re-take of an examination, all assessments during the course must be re-taken.

Course materials

Professional literature relevant for the completion of a project assignment - chosen by the student, with the guidance of the subject responsible.

Common literature for basic competence consists of excerpts from the following sources:

Eilif Hjelseth (2015). Foundations for BIM-based model checking systems, Transforming regulations into computable rules in BIM-based model checking systems. PhD Thesis: 2015: 54, Department of Mathematical Sciences and Technology, Norwegian University of Life Sciences, Norway, ISSN: 1894-6402, ISBN: 978-82-575-1294-1 -11-06.pdf

Dag Wiese Schartum (2011) Fra lovtekst til programkode – Utvikling av rettslige beslutningssystemer i elektronisk forvaltning (From legislative text to program code - Development of judicial decision-making systems in electronic management), 171 pages % 202011-1.pdf

ISO 29481-1: 2016. Building information modeling. Information delivery manual

- Part 1: Methodology and format and - Part 2: Interaction framework

Other literature and resources posted on LMS (Blackboard)

Additional literature is a selection of pages from:

Stefania Costantini, S. et al. (2017). Rules and Reasoning: International Joint Conference, RuleML + RR 2017, London, UK, July 12-15, 2017, Proceedings (Lecture Notes in Computer Science), 239 pages -International-Conference-Proceedings-ebook / dp / B073FNWR87 / ref = sr_1_5? ie = UTF8 & qid = 1503864723 & sr = 8.5 & keywords = Knowledge-Based Engineering + + Rule + base

Tommy Tranvik, Dag Wiese Schartum and Arild Jansen (2017). Digital forvaltning – en innføring. (Digital Management - An Introduction), Vigmostad & Bjørke AS, ISBN / EAN: 9788245022346, 222 pages

Alexander Osterwalder et al. (2014). Value Proposition Design: How to Create Products and Services Customers Want. John Wiley & Sons, ISBN-13: 978-1118968055, 320 pages

More on the course



Version: 1
Credits:  7.5 SP
Study level: Second degree level


Term no.: 1
Teaching semester:  SPRING 2022

Language of instruction: Norwegian

Location: Trondheim

Subject area(s)
Contact information
Course coordinator: Lecturer(s):

Department with academic responsibility
Department of Civil and Environmental Engineering


Examination arrangement: Portfolio assessment

Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
Spring ORD Semester assignment 5/100 A
Room Building Number of candidates
Spring ORD Semester assignment 5/100 A
Room Building Number of candidates
Spring ORD Semester assignment 5/100 A
Room Building Number of candidates
Spring ORD Oral examination 10/100 A 2022-05-11 09:00
Room Building Number of candidates
Spring ORD Assignment 5/100 A
Room Building Number of candidates
Spring ORD Assignment 5/100 A
Room Building Number of candidates
Spring ORD Assignment 5/100 A
Room Building Number of candidates
Spring ORD Approved report 60/100 A
Room Building Number of candidates
  • * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.

For more information regarding registration for examination and examination procedures, see "Innsida - Exams"

More on examinations at NTNU