A synthesis of fuzzy rule-based system verification.

The verification of fuzzy rule bases for anomalies has received increasing attention these last few years. Many different approaches have been suggested and many are still under investigation. In this paper, we give a synthesis of methods proposed in literature that try to extend the verification of clasical rule bases to the case of fuzzy knowledge modelling, without needing a set of representative input. Within this area of fyzzy V&V we identify two dual lines of thought respectively leading to what is identified as static and dynamic anomaly detection methods. Static anomaly detection essentially tries to use similarity, affinity or matching measures to identify anomalies wihin a fuzzy rule base. It is assumed that the detection methods can be the same as those used in a non-fuzzy environment, except that the formerly mentioned measures indicate the degree of matching of two fuzzy expressions. Dynamic anomaly detection starts from the basic idea that any anomaly within a knowledge representation formalism, i.c. fuzzy if-then rules, can be identified by performing a dynamic analysis of the knowledge system, even without providing special input to the system. By imposing a constraint on the results of inference for an anomaly not to occur, one creates definitions of the anomalies that can only be verified if the inference pocess, and thereby the fuzzy inference operator is involved in the analysis. The major outcome of the confrontation between both approaches is that their results, stated in terms of necessary and/or sufficient conditions for anomaly detection within a particular situation, are difficult to reconcile. The duality between approaces seems to have translated into a duality in results. This article addresses precisely this issue by presenting a theoretical framework which anables us to effectively evaluate the results of both static and dynamic verification theories.

A BIM-based Approach for Predictive Safety Planning in the Construction Industry

The number of safety incidents in the construction industry is higher than that in most of the other industries. These safety incidents can be attributed to a lack of information and training. The new line of thinking in management has been moving toward predictive decision-making methods with the aid of artificial intelligence (AI). In this regard, the construction industry has been lagging on embracing modern management concepts. Hence, it is vital to re-engineer construction management to be on par with industries such as manufacturing. Building Information Modelling (BIM) can be recognized as the most promising technology that is introduced to the construction sector in the recent past. The information contained in a BIM model can be manipulated to aid construction safety management. This research presents BIM-based methods for predictive safety planning in the construction industry. At first, a comprehensive review of construction management challenges was conducted. This review revealed that although there are some studies regarding BIM-based predictive decision-making, still some knowledge gaps can be mentioned in the safety management of construction workers and building residents. To address the mentioned challenges, at first, this study integrates BIM with fuzzy logic to improve predictive safety planning to reduce the safety incidents in the construction projects. A Fuzzy Inference System (FIS) was developed based on the causality of safety incidents. The FIS extracts construction project data from BIM models while automatically assessing the risk of each potential hazard and also the total risk of a project. The proposed method enables construction managers to prevent construction incidents and enhance the health and safety of construction workers. Furthermore, this study develops a methodological framework for rule checking and the safety-focused ruleset for BIM-enabled building construction projects in Ontario, Canada. Identified safety standards were defined in Solibri Model checker software as a ruleset. The outcomes of this section will ensure the occupant’s safety through a proper design. Moreover, the findings of this will support promoting BIM in the Canadian construction industry

Second CLIPS Conference Proceedings, volume 1

Topics covered at the 2nd CLIPS Conference held at the Johnson Space Center, September 23-25, 1991 are given. Topics include rule groupings, fault detection using expert systems, decision making using expert systems, knowledge representation, computer aided design and debugging expert systems

A risk appraisal system regarding the implementation of maritime regulations by a ship operator

The shipping industry operates in a regulatory framework, where the International Maritime Organization (IMO) is the leading regulatory body. The role of the IMO is to propose maritime regulations to its member states. The successful implementation of a maritime regulation depends on how many member states adopt it. However, many maritime regulations are not adequately implemented worldwide. As a result, ship operators have found themselves in an uncomfortable position in developing their business. This paper proposes an extendable and applicable methodology involving a System of Hierarchical Scorecards (SHS) to measure the implementation cost and benefit analysis of a newly introduced or existing maritime regulation by ship operators. The regulators may use the results in evaluating newly introduced and/or existing regulations through taking into account the economical burden that will be generated to ship operators. In this paper, System of Hierarchical Scorecards (SHS) is extended to demonstrate its applicability on evaluating a stakeholder’s organisation with regard to his regulatory implementation performance by the means of a case study

Conceptual graph-based knowledge representation for supporting reasoning in African traditional medicine

Although African patients use both conventional or modern and traditional healthcare simultaneously, it has been proven that 80% of people rely on African traditional medicine (ATM). ATM includes medical activities stemming from practices, customs and traditions which were integral to the distinctive African cultures. It is based mainly on the oral transfer of knowledge, with the risk of losing critical knowledge. Moreover, practices differ according to the regions and the availability of medicinal plants. Therefore, it is necessary to compile tacit, disseminated and complex knowledge from various Tradi-Practitioners (TP) in order to determine interesting patterns for treating a given disease. Knowledge engineering methods for traditional medicine are useful to model suitably complex information needs, formalize knowledge of domain experts and highlight the effective practices for their integration to conventional medicine. The work described in this paper presents an approach which addresses two issues. First it aims at proposing a formal representation model of ATM knowledge and practices to facilitate their sharing and reusing. Then, it aims at providing a visual reasoning mechanism for selecting best available procedures and medicinal plants to treat diseases. The approach is based on the use of the Delphi method for capturing knowledge from various experts which necessitate reaching a consensus. Conceptual graph formalism is used to model ATM knowledge with visual reasoning capabilities and processes. The nested conceptual graphs are used to visually express the semantic meaning of Computational Tree Logic (CTL) constructs that are useful for formal specification of temporal properties of ATM domain knowledge. Our approach presents the advantage of mitigating knowledge loss with conceptual development assistance to improve the quality of ATM care (medical diagnosis and therapeutics), but also patient safety (drug monitoring)

Development and implementation of clinical guidelines : an artificial intelligence perspective

Clinical practice guidelines in paper format are still the preferred form of delivery of medical knowledge and recommendations to healthcare professionals. Their current support and development process have well identified limitations to which the healthcare community has been continuously searching solutions. Artificial intelligence may create the conditions and provide the tools to address many, if not all, of these limitations.. This paper presents a comprehensive and up to date review of computer-interpretable guideline approaches, namely Arden Syntax, GLIF, PROforma, Asbru, GLARE and SAGE. It also provides an assessment of how well these approaches respond to the challenges posed by paper-based guidelines and addresses topics of Artificial intelligence that could provide a solution to the shortcomings of clinical guidelines. Among the topics addressed by this paper are expert systems, case-based reasoning, medical ontologies and reasoning under uncertainty, with a special focus on methodologies for assessing quality of information when managing incomplete information. Finally, an analysis is made of the fundamental requirements of a guideline model and the importance that standard terminologies and models for clinical data have in the semantic and syntactic interoperability between a guideline execution engine and the software tools used in clinical settings. It is also proposed a line of research that includes the development of an ontology for clinical practice guidelines and a decision model for a guideline-based expert system that manages non-compliance with clinical guidelines and uncertainty.This work is funded by national funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project PEst-OE/EEI/UI0752/2011"

Automation and Control

Advances in automation and control today cover many areas of technology where human input is minimized. This book discusses numerous types and applications of automation and control. Chapters address topics such as building information modeling (BIM)–based automated code compliance checking (ACCC), control algorithms useful for military operations and video games, rescue competitions using unmanned aerial-ground robots, and stochastic control systems

Artificial intelligence in construction asset management: a review of present status, challenges and future opportunities

The built environment is responsible for roughly 40% of global greenhouse emissions, making the sector a crucial factor for climate change and sustainability. Meanwhile, other sectors (like manufacturing) adopted Artificial Intelligence (AI) to solve complex, non-linear problems to reduce waste, inefficiency, and pollution. Therefore, many research efforts in the Architecture, Engineering, and Construction community have recently tried introducing AI into building asset management (AM) processes. Since AM encompasses a broad set of disciplines, an overview of several AI applications, current research gaps, and trends is needed. In this context, this study conducted the first state-of-the-art research on AI for building asset management. A total of 578 papers were analyzed with bibliometric tools to identify prominent institutions, topics, and journals. The quantitative analysis helped determine the most researched areas of AM and which AI techniques are applied. The areas were furtherly investigated by reading in-depth the 83 most relevant studies selected by screening the articles’ abstracts identified in the bibliometric analysis. The results reveal many applications for Energy Management, Condition assessment, Risk management, and Project management areas. Finally, the literature review identified three main trends that can be a reference point for future studies made by practitioners or researchers: Digital Twin, Generative Adversarial Networks (with synthetic images) for data augmentation, and Deep Reinforcement Learning