A NEW APPROACH TO THE RULE-BASED SYSTEMS DESIGN AND IMPLEMENTATION PROCESS

The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called Mirella.The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved

Separating I/O from Application Logic for Rule-Based Control Systems

One of the main reasons of using a rule-based approach to program control systems is that they can be formally verified. For such systems communication with the environment is often encoded within the knowledge base. Such inclusion may lead to issues with portability, extendibility, maintainability, and interoperability. The paper proposes a four layer architecture to solve these issues. A proof-of-concept RBS, targeted at control systems, and an example case are also given

Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications

Argumentative zoning information extraction from scientific text

Let me tell you, writing a thesis is not always a barrel of laughs—and strange things can happen, too. For example, at the height of my thesis paranoia, I had a re-current dream in which my cat Amy gave me detailed advice on how to restructure the thesis chapters, which was awfully nice of her. But I also had a lot of human help throughout this time, whether things were going fine or beserk. Most of all, I want to thank Marc Moens: I could not have had a better or more knowledgable supervisor. He always took time for me, however busy he might have been, reading chapters thoroughly in two days. He both had the calmness of mind to give me lots of freedom in research, and the right judgement to guide me away, tactfully but determinedly, from the occasional catastrophe or other waiting along the way. He was great fun to work with and also became a good friend. My work has profitted from the interdisciplinary, interactive and enlightened atmosphere at the Human Communication Centre and the Centre for Cognitive Science (which is now called something else). The Language Technology Group was a great place to work in, as my research was grounded in practical applications develope

The development of a metallurgical CAPP system for large steel forgings.

The development of CAPP (Computer Aided Process Planning) systems promises improvement to the design efficiency and quality of process plans, whilst maintaining knowledge for future developments. Although considerable progress has been made in Computer Aided Process Planning, most of the systems developed or under development so far are limited to one manufacturing operation and to planning for an individual part design. The systems lack an overall structure for real manufacturing practice. This thesis examines the problems involved in the planning of an extensive manufacturing task involving many different processes including chemical and thermal treatments. On the basis of the evaluation of the manufacturing system in the collaborating company, an intelligent database system has been designed to solve metallurgical process planning problems involved in the manufacture of large steel forgings. In this CAPP database system, two hierarchy control levels involving a number of local planning areas have been adopted to allow the development of process sub-plans as well as supporting engineering data. All the process sub-plans have been integrated into a single system rather than isolated as separate entities within the overall metallurgical process planning system together with quality assurance control and other functions. These sub-plans, however, are planned and modified in the separate planning areas, the development being conducted on facsimile data records. Only when each sub-plan has reached a satisfactory state of development is it issued - made available to the overall system - by transferring the facsimile records into the system data files, the facsimile records then being discarded.Metallurgical process knowledge and rules have been incorporated into the database. These allow the system to assist users to make decisions and achieve final desired process plans. A versional approach has been developed to organise and control the stage by stage evolution of issued process plans within this complex steel forging environment. The use of separate planning areas and local facsimile records allows the modification of sub-plans already issued to be undertaken on a step by step but secure basis. A fully operating authorisation system controlling access to the data and the deletion or modification of records has been achieved. This is essential in a CAPP system of this type in which historical decisions, or approved rules based on historical experience, are presented to the users as the basis to make new decisions.The work has been extended to explore external enhancement of the central database system with an expert system and with specially written C ++ programmes. The system architecture needed to support this link is described, and issues raised by the enhancement that relate to the overall control are then addressed. The final part of the thesis examines the limitations of the method that has been developed and discusses difficulties involved in implementing a CAPP system in a large concern involved in the 'bespoke' manufacture of complex engineering artifacts on a one-off design basis

Safety and Reliability - Safe Societies in a Changing World

The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

Bioinspired metaheuristic algorithms for global optimization

This paper presents concise comparison study of newly developed bioinspired algorithms for global optimization problems. Three different metaheuristic techniques, namely Accelerated Particle Swarm Optimization (APSO), Firefly Algorithm (FA), and Grey Wolf Optimizer (GWO) are investigated and implemented in Matlab environment. These methods are compared on four unimodal and multimodal nonlinear functions in order to find global optimum values. Computational results indicate that GWO outperforms other intelligent techniques, and that all aforementioned algorithms can be successfully used for optimization of continuous functions

Experimental Evaluation of Growing and Pruning Hyper Basis Function Neural Networks Trained with Extended Information Filter

In this paper we test Extended Information Filter (EIF) for sequential training of Hyper Basis Function Neural Networks with growing and pruning ability (HBF-GP). The HBF neuron allows different scaling of input dimensions to provide better generalization property when dealing with complex nonlinear problems in engineering practice. The main intuition behind HBF is in generalization of Gaussian type of neuron that applies Mahalanobis-like distance as a distance metrics between input training sample and prototype vector. We exploit concept of neuron’s significance and allow growing and pruning of HBF neurons during sequential learning process. From engineer’s perspective, EIF is attractive for training of neural networks because it allows a designer to have scarce initial knowledge of the system/problem. Extensive experimental study shows that HBF neural network trained with EIF achieves same prediction error and compactness of network topology when compared to EKF, but without the need to know initial state uncertainty, which is its main advantage over EKF