By Topic

Sixth Conference on Artificial Intelligence for Applications

5-9 May 1990

Filter Results

Displaying Results 1 - 25 of 45
  • Sixth Conference on Artificial Intelligence Applications (Cat. No.90CH2842-3)

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (37 KB)
    Freely Available from IEEE
  • Feedback directed modification of designs

    Publication Year: 1990, Page(s):237 - 243 vol.1
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    Feedback-directed modification, a technique for efficiently improving the solution to a structure-sharing problem, is discussed. This technique uses an analysis of the solution to effect structural modifications to reduce resource usage. Efficiency is obtained through: the reuse of the previous solution and the addition of constraints to prevent subsequent modifications from undoing the changes. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • M1: a small computer system synthesis tool

    Publication Year: 1990, Page(s):230 - 236 vol.1
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    A particular instance of system-level synthesis, designing small computers using off-the-shelf components, is discussed. M1 is the synthesis tool in Micon, an integrated collection of tools for rapid prototyping of small computer systems. M1 uses components in a library to build a design that satisfies high-level specifications. Input to M1 consists of requirements on functionality (processor name... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based decision support, preferences, and financial planning

    Publication Year: 1990, Page(s):222 - 228 vol.1
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    Knowledge-based decision support for complex decision problems in a changing environment is discussed. The problems involve a sequence of decisions and require dynamic modifications of the representation. Decision making is modeled by means of a Negoplan system. Negoplan is based on a two-level rule formalism with logical variables and unification. The existence of multiple solutions of the proble... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designer Fabricator Interpreter system: evaluating alternate connection configuration through multiagent negotiation

    Publication Year: 1990, Page(s):153 - 159 vol.1
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    The Designer Fabricator Interpreter (DFI) is a knowledge-based system that addresses the lack of interaction among structural designers, fabricators, and erectors in dealing with connections of structural members. Current research includes the development of a distributed problem solving architecture in which the participants are modeled as semiautonomous computer agents which reason from their ow... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Logos-TCS: an expert system language for operations management based on temporal constraint satisfaction

    Publication Year: 1990, Page(s):214 - 221 vol.1
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    It is shown that the precedence graph upon which popular analysis tools in operations management such as PERT/CPM depend, is a special case of the temporal constraint satisfaction (TCS) problem. TCS provides a richer set of temporal relationships than the precedence relationship. A temporal constraint system provides a metaphor (constraint propagation) to model the down-line effects of perturbatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented and constraint-based knowledge representation system for design object modeling

    Publication Year: 1990, Page(s):146 - 152 vol.1
    Cited by:  Papers (2)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    FREEDOM (Framework for Representing and Elaborating Design Object Models), a system for design object modeling, is presented. An object model, represented as a set of objects in this system, is not a mere data structure but an active entity which works to solve design problems. The knowledge representation provided in the system, based on the object-oriented paradigm, makes it possible to describe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer vision in a heterogeneous software and hardware environment

    Publication Year: 1990, Page(s):85 - 91 vol.1
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    A well-developed modular, extensible vision system, based on a connectionist approach, is analyzed from a concurrent processing standpoint. This system can accurately reconstruct objects, using a set of locally derived features, from real, low-resolution range data. The approach is highly parallel in nature. An implementation of the system in a heterogeneous multiprocessing environment is examined... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MOMO-model-based diagnosis for everybody

    Publication Year: 1990, Page(s):206 - 213 vol.1
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    It is shown how to implement the core of a model-based diagnosis system by a small hyperresolution-based procedure using Prolog. The algorithm is able to find all possible diagnosis candidates. The model-based diagnosis by model generation (MOMO) algorithm has well-defined semantics and allows the description of models using general range-restricted clauses, in contrast to earlier systems, which o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IDP: automating the CAD/CAM link by reasoning about shape

    Publication Year: 1990, Page(s):138 - 145 vol.1
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    A method and the components of an implemented system (IDP-Integrated Design and Planning) for integrating design and manufacturing processes are presented. AI techniques like cooperative reasoning and combining geometric evidence are used in a graph-based hypothesis. This generate-eliminate approach automatically extracts the shape primitives of a designed part and determines the relationships bet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Can competitive learning compete? Comparing a connectionist clustering technique to symbolic approaches

    Publication Year: 1990, Page(s):78 - 84 vol.1
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    A comparison of competitive learning (a neural-network-based approach to data clustering) with established symbolic approaches is presented. Some of the shortcomings of competitive learning are discussed along with attempts at correcting them. The algorithm is extended to handle the performance task of missing feature prediction. Experimental results are compared with similar results of symbolic s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time reasoning: the monitoring and control of spacecraft systems

    Publication Year: 1990, Page(s):198 - 204 vol.1
    Cited by:  Papers (2)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    Research concerned with automating the monitoring and control of spacecraft systems is discussed. In particular, the application the procedural reasoning system (PRS) to the handling of malfunctions in the reaction control system (RCS) of NASAs space shuttle is studied. Unlike traditional monitoring and control systems, PRS is able to reason about and perform complex tasks in a very flexible and r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A simulated annealing method for mapping production systems onto multicomputers

    Publication Year: 1990, Page(s):130 - 136 vol.1
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    A methodology for mapping rule-based expert systems onto a message-passing multicomputer is presented. The method is based on static load balancing using simulated annealing to achieve a nearly optimal allocation of multiple production rules to processor nodes. The goal is to balance the initial load distribution and to avoid serious communication overhead among processor nodes at run time. A form... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural nets vs. expert systems: predicting in the financial field

    Publication Year: 1990, Page(s):72 - 77 vol.1
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    Compares actual data against two methods (a hybrid expert system and a neural network) for predicting a required number based upon past data and known future events. The purpose of the project was to find the best technical approach to predict required values in this type of domain. The significant contributions of this project were applying and comparing AI techniques for prediction of the requir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling digital circuits for trouble-shooting: an overview

    Publication Year: 1990, Page(s):2 - 8 vol.1
    Cited by:  Papers (3)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    An overview of a model-based troubleshooting program that incorporates a domain-independent diagnosis engine based on J. de Kleer and B.C Williams' General Diagnostic Engine (Artificial Intelligence, vol.32, no.1, p.97-130, April, 1987) is presented. The primary input to the program is a model of a digital circuit that is a network of components and connections. Each component has a description of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Managing AI system development in critical large scale applications

    Publication Year: 1990, Page(s):327 - 333 vol.1
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    It is shown that it is possible to manage the introduction of an AI-based technology into an existing nonstandard mainframe-based computing environment within tight timescales and under the requirement of a very high level of quality. The introduction of this automation to SWIFT's (Society of Worldwide Interbank Financial Telecommunications) core business has necessitated the use of a project mana... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Demonstrating artificial intelligence for space systems-integration and project management issues

    Publication Year: 1990, Page(s):191 - 197 vol.1
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    As part of its systems autonomy demonstration project (SADP), the National Aeronautics and Space Administration (NASA) has recently demonstrated the Thermal Expert System (TEXSYS). Advanced real-time expert system and human interface technology was successfully developed and integrated with conventional controllers of prototype space hardware to provide intelligent fault detection, isolation and r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic augmentation of generalized Rete networks for demand-driven matching and rule updating

    Publication Year: 1990, Page(s):123 - 129 vol.1
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    Algorithms for dynamically augmenting an existing Rete network having nonempty partial match memories are described. Two uses of this operation are presented: (1) adding a new pattern to the Rete network where it both shares match nodes with the existing Rete network and matches existing data, and (2) implementing an efficient method of demand-driven pattern matching which makes it possible to mat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time expert system for predictive diagnostics and control of drilling operation

    Publication Year: 1990, Page(s):62 - 69 vol.1
    Cited by:  Papers (7)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    The suitability and applicability of a real-time expert system for integrating multiple sensors for predictive diagnostics, monitoring, and supervisory control of a drilling operation in an automated manufacturing environment were investigated. The real-time IDES (influence diagram based expert system) performs probabilistic inference and expected-value decision-making in integrating dynamic but n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TCS: a shell for content-based text categorization

    Publication Year: 1990, Page(s):320 - 326 vol.1
    Cited by:  Papers (20)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    The kind of application that the text categorization shell, TCS, can produce is characterized. Many of its applications have great commercial value. The design goals for TCS are discussed, and other approaches to text categorization in the light of these goals are examined. The TCS and how it meets its design goals are described, and examples of applications built with TCS are given. A text-catego... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Spike: AI scheduling for NASA's Hubble Space Telescope

    Publication Year: 1990, Page(s):184 - 190 vol.1
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    The Spike scheduling system, developed for scheduling astronomical observations for NASA's Hubble Space Telescope (HST), is described. Spike is an activity-based AI scheduler which incorporates innovative approaches to constraint representation and reasoning and scheduling search. Although developed for space telescope scheduling, the Spike system was designed around a general scheduling-constrain... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Methods and effectiveness of parallel rule firing

    Publication Year: 1990, Page(s):116 - 122 vol.1
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    Implementation methods for parallel rule firing, where multiple production rules are fired simultaneously in each production cycle, are presented. The methods include interference analysis (that detects cases where a parallel firing result is different from those of sequential firings of the same rules in any order), a parallel firing algorithm (that realizes the parallel firing on multiprocessor ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling diagnostic problem-solving at multiple levels of abstraction

    Publication Year: 1990, Page(s):55 - 61 vol.1
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    A precise domain-independent computational model for diagnostic problem-solving at multiple levels of abstraction is presented. The knowledge representation framework allows causal knowledge to be represented in a precise yet natural way that reflects a human diagnostician's experience in guiding diagnostic reasoning at multiple levels of abstraction. The inference mechanism clearly defines how to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Letter pattern recognition

    Publication Year: 1990, Page(s):312 - 319 vol.1
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    A knowledge-based system that automatically recognizes the components of letters and stores an OCR (optical character recognition) version of each letter is described. The system first digitizes the document and segments it into blocks using only low-level segmentation techniques, then recognizes the block text contents and finally recognizes blocks as components. It uses attributes such as relati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Case study of a knowledge-based system which plans molecular genetic experiments

    Publication Year: 1990, Page(s):257 - 263 vol.1
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    A logic-based approach to planning recombinant DNA experiments is presented. Plans are constructed by attempting to match lists of constraints with existing molecules, with failure resulting in rule-directed decomposition of these constraints to create subproblems. Several AI techniques which are not traditionally associated with planning but which find application for this problem domain are used... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.