The Architectural/Engineering/Construction (AEC) industry is slowly shifting toward performance-driven project and project delivery. Assuring good performance requires efficient performance control processes. Among the different construction performance control processes, many critical ones, including progress tracking, productivity tracking and dimensional quality control, rely on efficient th...

Development of nano and biotechnologies encouraged us to develop a concept of automated building, which will significantly reduce the many negative impacts of traditional construction on the environment. The paper describes the concept of Nanoto meter-scale building, a new way of building, which unfolds from the nano into the meter range. The concept is based on bionanorobots, producing buildin...

It is well known that one can exploit symmetry to speed-up engineering analysis and improve accuracy, at the same time. Not surprisingly, most CAE systems have standard ‘provisions’ for exploiting symmetry. However, these provisions are inadequate in that they needlessly burden the design engineer with time consuming and error-prone tasks of symmetry detection, symmetry cell construction and re...

Knowledge acquisition is a large bottleneck in the construction of complex intelligent problem solvers. Unfortunately, the construction of effective KA tools to ease this process is also a bottleneck. In this paper we attempt to present some guidelines that can be used to determine whether one would do best to adopt a manual KA strategy, a computer-assisted KA strategy, or a completely automate...

Autonomous robots that perform specific tasks are being developed to perform repetitive operations common in conventional concrete construction, to gain benefits in safety, productivity, costs, quality control, and security of the workforce in hazardous environments. Single-task robots are capable of enhancing specific functions, though their impact on the overall productivity remains unclear. ...

State-of-the-art construction equipment control technology creates the opportunity to implement automated and semi-automated object avoidance for improved safety and efficiency during operation; however, methods for constructing models of local objects or volumes in real-time are required. A practical, interactive method for doing so is described here. The method: (1) exploits a human operator’...

This paper presents a new approach for automated compliance checking in the construction domain. The approach utilizes semantic modeling, semantic Natural Language Processing (NLP) techniques (including text classification and information extraction), and logic reasoning to facilitate automated textual regulatory document analysis and processing for extracting requirements from these documents ...

Proof schemata provide an alternative formalism for proofs containing an inductive argument, which allow an extension of Herbrand’s theorem and thus, the construction of Herbrand sequents and expansion trees. Existing proof transformation methods for proof schemata rely on constructing a recursive resolution refutation, a task which is highly non-trivial. An automated method for constructing su...

Proof schemata provide an alternative formalism for proofs containing an inductive argument, which allow an extension of Herbrand’s theorem and thus, the construction of Herbrand sequents and expansion trees. Existing proof transformation methods for proof schemata rely on constructing a recursive resolution refutation, a task which is highly non-trivial. An automated method for constructing su...

In this paper, we propose an automated multi-agent negotiation framework for decision making in the construction domain. It enables software agents to conduct negotiations and autonomously make decisions. The proposed framework consists of two types of components, internal and external. Internal components are integrated into the agent architecture while the external components are blended with...