Search NASASearch

SEARCH · Search NASA

Results for “explainable AI”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

22 records · Page 2

Knowledge based systems: A preliminary survey of selected issues and techniques

It is only recently that research in Artificial Intelligence (AI) is accomplishing practical results. Most of these results can be attributed to the design and use of expert systems (or Knowledge-Based Systems, KBS) - problem-solving computer programs that can reach a level of performance comparable to that of a human expert in some specialized problem domain. But many computer systems designed to see images, hear sounds, and recognize speech are still in a fairly early stage of development. In this report, a preliminary survey of recent work in the KBS is reported, explaining KBS concepts and issues and techniques used to construct them. Application considerations to construct the KBS and potential KBS research areas are identified. A case study (MYCIN) of a KBS is also provided.

Dominick, Wayne D.

Label Identification from Statistical Tabulation (LIST) temporal extendability study

The author has identified the following significant results. The most apparent contributors to the problem of poor temporal extension of LIST are the drastic changes in the brightness keys and an inadequate set of AI responses in Phase 3. The brightness trajectories change drastically from Phase 3 to the transition year (TY). Removing brightness channels from the discriminant does not completely correct the lack of extendability. Removing brightness increases the accuracy of the extension from Phase 3 to TY from 57.7 percent to 64.18 percent. The removal of the Al keys increases accuracy to 65.76 percent. Although the latter increase appears insignificant when compared to the first, the removal of only the Al keys increased accuracy to 63.58 percent. Proper weighting of the responses explains 73.8 percent of the ground truth labels but only 56.7 percent of the Al labels. By contrast, the TY responses which were weighted to explain the TY ground truth labels fared equally well, explaining 73.6 percent of those labels and 87.1 percent of the Al labels.

Dennis, T. B.

Signatures of Chemical Evolution in Protostellar Nebulae

A decade ago observers began to take serious notice of the presence of crystalline silicate grains in the dust flowing away from some comets. While crystallinity had been seen in such objects previously, starting with the recognitions by Campins and Ryan (1990) that the 10 micron feature of Comet Halley resembled that of the mineral forsterite, most such observations were either ignored or dismissed as no path to explain such crystalline grains was available in the literature. When it was first suggested that an outward flow must be present to carry annealed silicate grains from the innermost regions of the Solar Nebula out to the regions where comets could form (Nuth, 1999; 2001) this suggestion was also dismissed because no such transport mechanism was known at the time. Since then not only have new models of nebular dynamics demonstrated the reality of long distance outward transport (Ciesla, 2007; 2008; 2009) but examination of older models (Boss, 2004) showed that such transport had been present but had gone unrecognized for many years. The most unassailable evidence for outward nebular transport came with the return of the Stardust samples from Comet Wild2, a Kuiper-belt comet that contained micron-scale grains of high temperature minerals resembling the Calcium-Aluminum Inclusions found in primitive meteorites (Zolensky et aI., 2006) that formed at T > 1400K. Now that outward transport in protostellar nebulae has been firmly established, a re-examination of its consequences for nebular gas is in order that takes into account both the factors that regulate both the outward flow as well as those that likely control the chemical composition of the gas. Laboratory studies of surface catalyzed reactions suggest that a trend toward more highly reduced carbon and nitrogen compounds in the gas phase should be correlated with a general increase in the crystallinity of the dust (Nuth et aI., 2000), but is such a trend actually observable? Unlike the Fischer-Tropsch or the Haber-Bosch reactions used in industry, the surface catalyzed reactions seen in our laboratory do not produce a simple product stream of methane or ammonia, respectively. Instead, such reactions produce a wide range of both aliphatic and aromatic hydrocarbons, as well as reduced nitrogen compounds such as ammonia, amines, amides and imides, as gas phase products together with a heavy, macromolecular, kerogen-like surface coating that remains on the grains. While CO and N2 will certainly be depleted by conversion into more complex and less volatile species via reaction on grain surfaces, it may be very difficult to monitor such changes from outside the system.

Nuth, Joseph A., III

Expert system validation in prolog

An overview of the Expert System Validation Assistant (EVA) is being implemented in Prolog at the Lockheed AI Center. Prolog was chosen to facilitate rapid prototyping of the structure and logic checkers and since February 1987, we have implemented code to check for irrelevance, subsumption, duplication, deadends, unreachability, and cycles. The architecture chosen is extremely flexible and expansible, yet concise and complementary with the normal interactive style of Prolog. The foundation of the system is in the connection graph representation. Rules and facts are modeled as nodes in the graph and arcs indicate common patterns between rules. The basic activity of the validation system is then a traversal of the connection graph, searching for various patterns the system recognizes as erroneous. To aid in specifying these patterns, a metalanguage is developed, providing the user with the basic facilities required to reason about the expert system. Using the metalanguage, the user can, for example, give the Prolog inference engine the goal of finding inconsistent conclusions among the rules, and Prolog will search the graph intantiations which can match the definition of inconsistency. Examples of code for some of the checkers are provided and the algorithms explained. Technical highlights include automatic construction of a connection graph, demonstration of the use of metalanguage, the A* algorithm modified to detect all unique cycles, general-purpose stacks in Prolog, and a general-purpose database browser with pattern completion.

Stock, Todd