Abstract We describe a program for verifying that a set of rules in an expert system eomprehensively spans the knowledge of a specialized domain. The program has been devised and tested within the context of the ONCOC...
Abstract We describe a program for verifying that a set of rules in an expert system eomprehensively spans the knowledge of a specialized domain. The program has been devised and tested within the context of the ONCOCIN System, a rule-based consultant for clinical oncology The stylized format of ONCOCIN's rules has allowed the automatic detection of a number of common errors as the knowledge base has been developed This capability suggests a general mechanism for correcting many problems with knowledge base completeness and consistency before they can cause performance errors
Summary Eurisko is an AI program that learns by discovery We are applying Eurisko to the task of inventing new kinds of three-dimensional microelectronic devices that can then be fabricated using recently developed la...
Summary Eurisko is an AI program that learns by discovery We are applying Eurisko to the task of inventing new kinds of three-dimensional microelectronic devices that can then be fabricated using recently developed laser recrystallization techniques Three experiments have been conducted, and some novel designs and design rules have emerged.
One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and syst...
One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and system design deficiencies, these control systems suffered from inadequate methods to measure and adjust system alignment. This paper describes the development of a set of procedures for on-line alignment verification (OLV) of pneumatic main boiler and feedpump control systems. The procedures are designed for use by N avy control system technicians and, in addition to on-line alignment verification, provide guidance for troubleshooting and for performing system alignment. Procedure static checks measure steady state steaming performance and OLV procedure dynamic checks measure the ability of the boiler and control systems to respond to load changes. The paper describes typical control system characteristics that influence OLV procedure content and the supporting analysis that was used to establish alignment criteria ranges that satisfy both steady state and transient performance requirements. Also described is the alignment criteria tolerance analysis along with the steps involved in a typical OLV check procedure development. Descriptions of the various OLV checks, troubleshooting procedures and alignment procedures are provided. Typical shipboard implementation requirements are described and experience to date with the procedures is provided along with a status report on OLV procedure implementations.
We propose a flexible frame-structured representation and agenda-based control mechanism for the construction of production-type systems. Advantages of this architecture include uniformity, control freedom, and extens...
详细信息
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy t...
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy to perform. To demonstrate the capabilities of the program, the first fifteen chapters of Robert Graves: The Greek Myths , Volume I were used as data source. One of the interesting results is that, in spite of the rather free mating pattern of the divine participants, Zeus and Aphrodite adhered to a Platonic relationship. Another is that Rhea is Cronus' sister, wife, grand-aunt and daughter-in-law's mother at the same time. The program, written in IPL-V in its present form, can accept a maximum of 500 separate individuals and will process an unlimited number of inquiries in one particular run. Non- perfect information is appropriately treated. Finally, possible extensions are briefly described.
暂无评论