21 Matching Results

Search Results

Advanced search parameters have been applied.
in subjects: "Artificial Intelligence"  
Results: 1 - 21
open access

Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs

Description: In this paper, we offer a set of problems for evaluating the power of automated theorem-proving programs and the potential of new ideas. Since the problems published in the proceedings of the first CADE conference proved to be so useful, and since researchers are now far more disposed to implementing and testing their ideas, a new set of problems to complement those that have been widely studied is in order. In general, the new problems provide a far greater challenge for an automated theorem-p… more
Date: January 1, 1988
Creator: Wos, L. & McCune, W.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Advances in processing nuclear waste glasses

Description: The vitrification of nuclear waste glasses is presenting unique challenges to glass technologists. On the one hand, the composition of the most important constituent of the glass batch/--/the waste/--/may vary widely. On the other hand, the vitrification process itself must be tightly controlled to ensure product quality, public safety, and process reliability. This has led to several important developments in waste vitrification technology, all aimed at improving process control. These include… more
Date: January 1, 1988
Creator: Plodinec, M J
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Application of artificial intelligence to melter control: Realtime process advisor for the scale melter facility

Description: The Defense Waste Processing Facility (DWPF) at the Savannah River Plant (SRP) is currently under construction and when completed will process high-level radioactive waste into a borosilicate glass wasteform. This facility will consist of numerous batch chemical processing steps as well as the continuous operation of a joule-heated melter and its off-gas treatment system. A realtime process advisor system based on Artificial Intelligence (AI) techniques has been developed and is currently in us… more
Date: January 1, 1988
Creator: Edwards, Jr, R E
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Building an artificial intelligence capability at Los Alamos

Description: In 1985, after three years of preliminary work, Management of the Los Alamos National Laboratory started an ambitious program to develop a strong technical capability in the rapidly emerging field of Artificial Intelligence/Knowledge Based Systems (AI/KBS). When this AI development program began, except for a few staff members doing basic AI research, AI was essentially nonexistent at the laboratory. The basics, including such things as AI computer hardware and software, literature, books, know… more
Date: January 1, 1988
Creator: Marinuzzi, J.G.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Reference Manual for the Environmental Theorem Prover: an Incarnation of AURA

Description: This document provides a complete specification of the input language for the environmental theorem prover. This language is essentially the same input language used by any of the programs designated by AURA, an automated reasoning program developed at Argonne National Laboratory. The intended audience is the user who is already familiar with the concepts and terms associated with resolution-based theorem provers.
Date: March 1988
Creator: Smith, Brian T.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Rapid prototyping of simulations in artificial intelligence environments

Description: The benefits derived from rapidly constructing a prototypical simulation model for use in characterizing the scope of a project should not be underestimated. The initial period of contact with the end-user of a simulation will establish the 'ground-rules' by which the project will progress. This paper describes some experiences in the application of an expert system shell in the development of knowledge-based discrete event simulations. This model development approach leverages the benefits of … more
Date: January 1, 1988
Creator: Martinez, R.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

SEAT: A strategic engagement analysis tool

Description: The Strategic Engagement Analysis Tool (SEAT) is a prototype of an expert system knowledge-based discrete event simulation. SEAT realistically represents the interrelationships between the eight major subsystems in the strategic targeting and assault domain. Some of the subsystems employ run-time cognitive decision making and reasoning capabilities to represent human tactical and operational strategy decisions. SEAT's goal is to allow analysts to conduct sensitivity analysis and to determine ca… more
Date: January 1, 1988
Creator: Dreicer, J.; Michelsen, C. & Morgeson, D.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Computer Realization of Human Music Cognition

Description: This study models the human process of music cognition on the digital computer. The definition of music cognition is derived from the work in music cognition done by the researchers Carol Krumhansl and Edward Kessler, and by Mari Jones, as well as from the music theories of Heinrich Schenker. The computer implementation functions in three stages. First, it translates a musical "performance" in the form of MIDI (Musical Instrument Digital Interface) messages into LISP structures. Second, the var… more
Date: August 1988
Creator: Albright, Larry E. (Larry Eugene)
Item Type: Refine your search to only Thesis or Dissertation
Partner: UNT Libraries
open access

Ground test accelerator control system software

Description: The GTA control system provides an environment in which the automation of a state-of-the-art accelerator can be developed. It makes use of commercially available computers, workstations, computer networks, industrial I/O equipment, and software. This system has built-in supervisory control (like most accelerator control systems), tools to support continuous control (like the process control industry), and sequential control for automatic startup and fault recovery (like few other accelerator co… more
Date: January 1, 1988
Creator: Burczyk, L.; Dalesio, R.; Dingler, R.; Hill, J.; Howell, J. A.; Kerstiens, D. et al.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Use of artificial intelligence to enhance the safety of nuclear power plants

Description: In the operation of a nuclear power plant, the sheer magnitude of the number of process parameters and systems interactions poses difficulties for the operators, particularly during abnormal or emergency situations. Recovery from an upset situation depends upon the facility with which the available raw data can be converted into and assimilated as meaningful knowledge. Plant personnel are sometimes affected by stress and emotion, which may have varying degrees of influence on their performance.… more
Date: January 1, 1988
Creator: Uhrig, R.E.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Representations to support terrain reasoning

Description: Los Alamos National Laboratory has been cooperating with the Training and Doctrine Command of the US Army to develop a Corps level combat simulation for quick turn around studies. The simulation of ground combat requires representation of combat units, unit activities, command and control, and terrain. This simulation model emphasizes command and control with particular attention to the potential for automating operational planning. As terrain analysis is an essential part of Army operational p… more
Date: January 1, 1988
Creator: Powell, D. R.; Wright, J. C.; Slentz, G. E. & Knudsen, P. D.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Avenue of approach generation

Description: Los Alamos National Laboratory is conducting research on developing a dynamic planning capability within an Army corps level combat simulation. Central to this research is the development of a computer based ability to ''understand'' terrain and how it is used in military planning. Such a capability demands data structures that adequately represent terrain features used in the planning process. These features primarily relate to attributes of mobility and visibility. Mobility concepts are abstr… more
Date: January 1, 1988
Creator: Powell, D.R. & Storm, G.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Artificial intelligence search techniques for optimization of the cold source geometry

Description: Most optimization studies of cold neutron sources have concentrated on the numerical prediction or experimental measurement of the cold moderator optimum thickness which produces the largest cold neutron leakage for a given thermal neutron source. Optimizing the geometrical shape of the cold source, however, is a more difficult problem because the optimized quantity, the cold neutron leakage, is an implicit function of the shape which is the unknown in such a study. We draw an analogy between t… more
Date: January 1, 1988
Creator: Azmy, Y. Y.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Automation of particle accelerator control

Description: We have begun a program aiming toward automatic control of charged-particle beam optics using artificial intelligence programming techniques. In developing our prototype, we are working with LISP machines and the KEE expert system shell. Our first goal was to develop a 'mouseable' representation of a typical beamline. This responds actively to changes input from the mouse or keyboard, giving an updated display of the beamline itself, its optical properties, and the instrumentation and control d… more
Date: January 1, 1988
Creator: Silbar, R. R. & Schultz, D. E.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Combining qualitative and quantitative data: The use of subjective judgment modeling

Description: In risk assessments of high level waste disposal problems, the paucity or absence of data makes it necessary to rely on expert opinion information. This information is usually in the form of a mixture of qualitative and quantitative information (data). Regardless of which methods are used to handle this mixture, certain issues such as granularity and conditionality cannot be ignored. These issues are discussed as they impact some of the major methods in current use. Examples of how to handle th… more
Date: January 1, 1988
Creator: Booker, J. M.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Application of AI technology to nuclear plant operations

Description: In this paper, applications of Artificial Intelligence (AI) Technology to nuclear-power plant operation are reviewed. AI Technology is advancing rapidly and in the next five years is expected to enjoy widespread application to operation, maintenance, management and safety. Near term emphasis on a sensor validation, scheduling, alarm handling, and expert systems for procedural assistance. Ultimate applications are envisioned to culminate in autonomous control such as would be necessary for a pow… more
Date: January 1, 1988
Creator: Sackett, J. I.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Computing possibilities in the mid 1990s

Description: This paper describes the kind of computing resources it may be possible to make available for experiments in high energy physics in the mid and late 1990s. We outline some of the work going on today, particularly at Fermilab's Advanced Computer Program, that projects to the future. We attempt to define areas in which coordinated R and D efforts should prove fruitful to provide for on and off-line computing in the SSC era. Because of extraordinary components anticipated from industry, we can be … more
Date: September 1, 1988
Creator: Nash, T.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Toward automatic control of particle accelerator beams

Description: We describe a program aiming toward automatic control of particle accelerator beams. A hybrid approach is used, combining knowledge- based system programming techniques and traditional numerical simulations. We use an expert system shell for the symbolic processing and have incorporated the FORTRAN beam optics code TRANSPORT for numerical simulation. The paper discusses the symbolic model we built, the reasoning components, how the knowledge base accesses information from an operating beamline,… more
Date: January 1, 1988
Creator: Schultz, D.E. & Silbar, R.R.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Simulation-assisted inductive learning

Description: Learning by induction can require a large number of training examples. We show the power of using a simulator to generate training data and test data in learning rules for an expert system. The induction program is RL, a simplified version of Meta-DENDRAL. The expert system is ABLE, a rule-based system that identifies and located errors in particle beam lines used in high energy physics. A simulator of beam lines allowed forming and testing rules on sufficient numbers of cases that ABLE's perfo… more
Date: January 1, 1988
Creator: Buchanan, B. G.; Sullivan, J.; Cheng, Tze-Pin & Clearwater, S. H.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Time series prediction using a rational fraction neural networks

Description: An efficient neural network based on a rational fraction representation has been trained to perform time series prediction. The network is a generalization of the Volterra-Wiener network while still retaining the computational efficiency of the latter. Because of the second order convergent nature of the learning algorithm, the rational net is computationally far more efficient than multilayer networks. The rational fractional representation is, however, more restrictive than the multilayer net… more
Date: January 1, 1988
Creator: Lee, K.; Lee, Y. C.; Barnes, C.; Aldrich, C. H. & Kindel, J.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

A generic task approach to a real time nuclear power plant fault diagnosis and advisory system

Description: A generic task toolkit developed at The Ohio State University Laboratory for Artificial Intelligence Research (LAIR) has been used in the development of an aid for operators of nuclear power plants. The toolkit consists of high level programming tools that enable knowledge to be used in accordance with its need. That is, if diagnosis is the need, a framework for performing diagnosis is provided. The operator aid provides for monitoring the conditions in the plant, detecting abnormal events, and… more
Date: January 1, 1988
Creator: Hajek, B.K.; Miller, D.W.; Bhatnagar, R.; Stasenko, J.E.; Punch, W.F. III & Yamada, N.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
Back to Top of Screen