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
  • Spike: AI scheduling for NASA's Hubble Space Telescope

    Publication Year: 1990, Page(s):184 - 190 vol.1
    Cited by:  Papers (11)
    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.
  • 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.
  • Application of analogical planning to engineering design

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

    The analogical graph matching (ANAGRAM) system, which performs analogical planning using a graph-match technique, is described. Given a target problem specification, ANAGRAM finds a similar problem from the database from which a solution can be derived. The difficulties that arise when an analogy fails because the base case is only partially applicable to the current problem are addressed. ANAGRAM... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embeddable problem-solving architectures: a study of integrating OPS5 with GBB

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

    Discusses the need and requirements for problem-solving architectures that can be embedded within other architectures and that can coexist with multiple instances of themselves and with other problem solvers. The additional requirements needed to produce such an architecture are minor, and the increased applicability of the problem-solving architecture is substantial. A specific case of system emb... 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • A persistent store for large shared knowledge bases

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

    Techniques for managing problems associated with the scalability of large knowledge-based systems are presented. The discussion is based on experience in building a large knowledge-based system and on perceptions regarding future technological requirements to support ongoing development. Achieving persistence for knowledge bases (KBs) is investigated. Persistence refers to storing a knowledge base... 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.
  • Kaleidoscope: a cooperative menu-guided query interface (SQL version)

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

    Kaleidoscope is presented for the problem of providing cooperative interfaces for database users. The system proposes valid query constituents step-by-step and provides lexical and semantic feedback immediately to users. To implement this intraquery guidance, the context-free grammar (CFG) is extended with context variables and several types of procedural decorations and the knowledge useful for p... 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 (3)  |  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.
  • 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.
  • TCS: a shell for content-based text categorization

    Publication Year: 1990, Page(s):320 - 326 vol.1
    Cited by:  Papers (20)  |  Patents (10)
    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.
  • XDE: diagnosing devices with hierarchic structure and known component failure modes

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

    The Extended Diagnosis Engine (XDE), a program that incorporates hierarchic diagnosis and fault models into a model-based diagnosis framework, is discussed. XDE depends upon an assumption-based truth maintenance system (ATMS). The novel aspects of XDE are that the diagnosis descends through hierarchies, one describing the physical organization of the devices and another describing its functional o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Three qualitative simulation extensions for supporting economics models

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

    Three extensions to qualitative simulation (QSIM) that permit modeling and simulation of a large class of economics problems are described. To be more powerful, financial expert systems need qualitative causal models in addition to associative knowledge. QSIM is a useful tool for building such models. However, building the models requires some extensions to QSIM. In particular, QSIM is unable to s... 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.
  • A new toolkit for non-admissible heuristic search

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

    A collection of tools for finding good solutions to cost-minimization problems by means of nonadmissible heuristic search is discussed. The origin of these tools lies in the assumption that many biased heuristics are orderly. Their usefulness will depend upon how well the orderliness assumptions are realized. Therefore, domain-dependent knowledge must be applied in selecting a good search strategy... 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 (10)  |  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.
  • Plan recognition for intelligent interfaces

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

    A domain-independent assessment of plan recognition, with respect to its use in enhancing user interfaces, is presented. Plan recognition is a research area in automatic reasoning and is a promising approach to engineering better interfaces. Plan recognition makes interfaces more intelligent and interactive by providing an intelligent assistant that supports such tasks as advice generation, task c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying statistical knowledge to database analysis and knowledge base construction

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

    A software package, called KnowledgeSeeker, that combines statistical problem-solving algorithms with an interactive, graphically-oriented decision-tree display is discussed. It has a browser to enable end users to rapidly extract high-quality decision-making information from a database in the form of a decision tree or as a knowledge base of rules. KnowledgeSeeker captures statistical problem-sol... 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.