Software maintenance is a prominent issue in the practical environment of knowledge-based system applications. In the case of rule-based systems in power systems, both the rules and data have to be modified and update...
详细信息
Software maintenance is a prominent issue in the practical environment of knowledge-based system applications. In the case of rule-based systems in power systems, both the rules and data have to be modified and updated to the continuously changing power system environment. In order to ensure the accuracy of the expert system, testing of the software is required. Validation and verification are well known expert systems maintenance tasks. Validation is a task to ensure that specifications of the expert system are met. Verification, on the other hand, is to ensure that the expert system is built correctly. Both tasks are important parts in establishing the functionality, reliability and flexibility of any software. Other type of artificial intelligent systems face similar challenges. This paper provides a summary of relation-checking, equivalence class and contextual representation methods that have been applied to the verification and validation of rule-based and logic-based systems. These methods have been motivated by power system applications, but they are generally applicable to similar classes of rule-based and logic-based systems.
This paper describes the use of Prolog in the implementation of a knowledge-based Environment for Modelling and Simulation (KEMS). The basis of the implementation is the AI frame paradigm which provides a conceptual f...
详细信息
This paper describes the use of Prolog in the implementation of a knowledge-based Environment for Modelling and Simulation (KEMS). The basis of the implementation is the AI frame paradigm which provides a conceptual foundation for the design of the Model Base, the Simulation Code Generator and the knowledge Acquisition Module which are the Prolog-based components of KEMS. The experiences derived from KEMS provide a springboard from which the wider applications of Logic programming in control Engineering are discussed. Six application areas are identified, including modelling, the design of from-ends for CAD packages, the design of object-oriented databases, the prototyping of engineering concepts, knowledge-basedcontrol and the design of decision-support systems.
The paper describes the use of Prolog in the implementation of a knowledge-based Environment for Modelling and Simulation (KEMS). The basis of the implementation is the AI frame paradigm which provides a conceptual fo...
详细信息
The paper describes the use of Prolog in the implementation of a knowledge-based Environment for Modelling and Simulation (KEMS). The basis of the implementation is the AI frame paradigm which provides a conceptual foundation for the design of the model base, the simulation code generator and the knowledge acquisition module which are the Prolog-based components of KEMS. The experiences derived from KEMS provide a springboard from which the wider applications of logic programming in control engineering are discussed. Six application areas are identified, including modelling, the design of front-ends for CAD packages, the design of object-oriented databases, the prototyping of engineering concepts, knowledge-basedcontrol and the design of decision-support systems.
The aim of the paper is to help explain why so many 'TQM' and 'BPR' initiatives have failed their sponsors' expectations and to explain how these failures may be linked to a lack of socio technical...
详细信息
The aim of the paper is to help explain why so many 'TQM' and 'BPR' initiatives have failed their sponsors' expectations and to explain how these failures may be linked to a lack of socio technical (people/process) understanding. The paper stresses the importance of people, differentiates their capabilities from those of processing machines and accordingly identifies a systemically useful role for information processing ('IT') as a contributor towards superior business performance results. In doing this a knowledgebased framework is described that enables managers to devise their own specific solutions based on the powerful principles of organisation found within the natural order.
The proceedings contains 10 papers. Topics discussed include case based reasoning, prototypes in case based diagnosis, application of case based reasoning in object oriented database, information retrieval, applicatio...
详细信息
The proceedings contains 10 papers. Topics discussed include case based reasoning, prototypes in case based diagnosis, application of case based reasoning in object oriented database, information retrieval, application in accounting, case based cost estimation and design.
The TIGER project is developing a set of advanced tools for real-time monitoring and diagnosis of dynamic systems with particular emphasis on gas turbine condition monitoring. The project's two applications are th...
详细信息
The TIGER project is developing a set of advanced tools for real-time monitoring and diagnosis of dynamic systems with particular emphasis on gas turbine condition monitoring. The project's two applications are the most advanced gas turbine condition monitoring systems in use. These are developed by combining real-time rulebased technology with qualitative simulation and model based diagnosis.
The proceedings contains 7 papers on real time knowledgebased systems. Topics discussed include fault diagnosis using cost bounded possibilistic Assumption based Truth Maintenance System (ATMS), scheduling for time c...
详细信息
The proceedings contains 7 papers on real time knowledgebased systems. Topics discussed include fault diagnosis using cost bounded possibilistic Assumption based Truth Maintenance System (ATMS), scheduling for time constrained model based diagnosis, neural networks for real time knowledgebasedapplications, methodology for developing model based diagnostic systems, large scale real time knowledgebased methods and technology, bloom and billet mill expert systems, and a model based and rule based real time tool for monitoring and diagnosis of dynamic systems.
This paper describes the development of actuators based on the giant magnetrostrictive material Terfenol-D, including a novel mechanically self-biasing actuator. The range of applications open to these actuators such ...
详细信息
This paper describes the development of actuators based on the giant magnetrostrictive material Terfenol-D, including a novel mechanically self-biasing actuator. The range of applications open to these actuators such as linear micropositioning and active vibration control are discussed with appropriate case studies. Specialised control strategies and algorithms are described based on digital variable structure controlprinciples to compensate for the material's non-linear behaviour characteristics, i.e. hysterectic, static and dynamic load dependency. Implementation on the appropriate microcontroller are given with the case studies.
Caledonian Paper in Scotland, open since 1989, is one of the largest and most modern paper mills in Scotland. Recently, the mill wanted a way to capture the diagnosis and troubleshooting expertise from the most experi...
详细信息
Caledonian Paper in Scotland, open since 1989, is one of the largest and most modern paper mills in Scotland. Recently, the mill wanted a way to capture the diagnosis and troubleshooting expertise from the most experienced craftsmen and make this available 24 hours a day throughout the plant. Since a standard rule based approach would not be appropriate to assist with the variable speed drives, a case based reasoning diagnosis system was developed using the ReMind software. Currently, the system is undergoing trials to determine its efficiency.
The proceedings contains 8 papers. Topics discussed include self tuning control application to automation voltage regulation, online adaptive control of steel hot rolling, adaptive controlapplications in stone proces...
详细信息
The proceedings contains 8 papers. Topics discussed include self tuning control application to automation voltage regulation, online adaptive control of steel hot rolling, adaptive controlapplications in stone processing, generalized predictive control in medicine, fuzzy control application to industrial systems, adaptive controlbased on system knowledge, multiburner furnace control, and neural networks in computer control.
暂无评论