Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on

10-13 Nov. 1992

Filter Results

Displaying Results 1 - 25 of 72
  • Proceedings. Fourth International Conference on Tools with Artificial Intelligence, TAI '92 (Cat. No. 92CH3203-7)

    Publication Year: 1992
    Request permission for commercial reuse | PDF file iconPDF (58 KB)
    Freely Available from IEEE
  • On reusing linkage designs

    Publication Year: 1992, Page(s):100 - 107
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    A representation for design cases and a method for indexing known cases to ease their retrieval, given the specification of a new problem, are presented. Each description includes structural and performance characteristics. Methods to retrieve known cases, to match them to often incomplete problem specifications, and to adapt them to solve the problem are devised View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ClimBS: searching the bias space

    Publication Year: 1992, Page(s):146 - 153
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The literature on systems that address the selection of inductive bias explicitly is reviewed and a model of inductive bias selection as state space search, which is instantiated in a testbed system with biases as states and bias transformation operators used to move from state to state, is introduced. The testbed allows a system developer to address different dimensions in the bias space and diff... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metric-based neural network classification tool for analyzing large-scale software

    Publication Year: 1992, Page(s):108 - 113
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    The neural network described performs classification of software metrics. It is a three-layer, error back-propagation network. Using historical data, the neural network learns the relationship between certain metrics and a particular classification. The neural network selects the classification which best fits the input metrics. The capability of neural networks to classify nonlinearly separable p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Band search: an efficient alternative to guided depth-first search

    Publication Year: 1992, Page(s):154 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    A novel search algorithm called band search that generalizes guided depth-first and best-first searches is proposed. The performance of band search is studied, and it is evaluated using six benchmarks. The band-search algorithm and its properties are presented, the conditions when band search behaves like best first search are identified, and possible anomalous behavior when the bandwidth of the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain model for constructing a knowledge based system

    Publication Year: 1992, Page(s):467 - 468
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    An expert system tool, ASPROGEN (automatic search program generator), is described. It has a domain model editor, by which tool users can define their problems in an object-oriented way, and a built-in function for automatic generation of a domain-specific inference program. This function uses search-based program specifications and an abstract data type of search. The descriptiveness of this doma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IASCE: an intelligent assistant to software cost estimation

    Publication Year: 1992, Page(s):114 - 117
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    A CASE (computer-aided software design) tool called IASCE has been developed to help the project manager estimate a proposed project cost. This tool collects accurate data from current software so that researchers can explore new software models and metrics. IASCE also supports multiple software cost estimation models and their corresponding metrics, tractable for project management control, feedb... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated parameter tuning in stereo vision under time constraints

    Publication Year: 1992, Page(s):162 - 169
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    A method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm is presented. TEACHER 4.2, a generate-and-test system that systematically generates new parameter values by analyzing the results of previous tests and performs limited and controlled tests on the candidates generated using high-speed computers, is discussed. The system is modeled as a stat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge with real-time semantics

    Publication Year: 1992, Page(s):464 - 466
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB)

    A method of incorporating real-time semantics in production rules, thus making them suitable for representing knowledge of a real-time expert system, is presented. It is intended that the knowledge representation should allow the incorporation of time-dependent heuristics and dynamic models in the knowledge base. An illustration of this method, the NetManager expert system, is noted View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cognitive abstraction for qualitative simulation

    Publication Year: 1992, Page(s):428 - 431
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    A framework for applying cognitive abstraction in the domain of qualitative physics to suppress irrelevant distinctions between the possible behaviors is presented. Cognitive abstraction is especially useful for inferring the behavior of a physical system based on incremental qualitative simulation. The framework of a prototype of cognitive abstraction, based on QSIM, is presented. The limitations... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combinatorial optimization for spacecraft scheduling

    Publication Year: 1992, Page(s):120 - 127
    Cited by:  Papers (1)  |  Patents (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    The application of combinatorial optimization techniques to the automatic spacecraft scheduling problem is described. The problem is to search over the candidate sequences of experiments for a sequence that maximizes the value of the science conducted while minimizing constraint conflicts. Exploratory computational results indicate that pseudorandom research techniques, such as simulated annealing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Is production system matching interesting?

    Publication Year: 1992, Page(s):2 - 3
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (208 KB)

    A panel session in which issues relating to the effects of advances in faster and more parallel hardware, production system match (PSM) algorithms, and application domains for match on PSM as a research area is presented. It is argued that there is no such thing as the optimal matching algorithm, even for the well-defined task of production-system match and that broadening the scope of the matchin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy control of a mobile robot for the push-a-box operation

    Publication Year: 1992, Page(s):172 - 179
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    As an example of the intelligent actions of robots, the situation in which a mobile robot pushes a square box is considered. The operation of pushing is unstable, in that once a small disturbance forces the system to abandon the stable position, the pushing operation itself makes the deviation wider. The state space is divided into 25 subregions, in each of which a control rule is specified manual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault diagnosis of power distribution lines by using discrimination tree

    Publication Year: 1992, Page(s):462 - 463
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    A method for creating a discrimination tree and its application in a machine-learning-based power fault diagnosis system are discussed. An algorithm for diagnosing a single distribution line that is developed automatically by the machine learning system is presented. The performance of machine learning for fault diagnosis using a discrimination tree, an artificial neural network, and an expert sys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal and hypothetical reasoning as a support for qualitative reasoning

    Publication Year: 1992, Page(s):424 - 427
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted. A system built around an ATMS, a TCP, and a model that reasons on orders of magnitude is prop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Explanation-based decision support in real time situations

    Publication Year: 1992, Page(s):22 - 25
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    In US Navy command and control systems there are increasing problems with situations in which human technicians must make quick decisions based on uncertain information. The SABER tool is being developed to use an explanation-based reasoning approach to assist in making such decisions. Explanation-based reasoning is modeled after an explanation-based decision-making process through which people ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A heuristic-based car shop scheduling application

    Publication Year: 1992, Page(s):128 - 135
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    The formulation of a heuristic-based car-shop scheduling application is described. The problem involves scheduling repair jobs on cars, given restrictions on operator availability and other resource/time constraints. The problem is solved by taking an intelligent generate-and-test approach and extending the simple notion of scheduling-the allocation of resources to tasks over time within constrain... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of real-time search algorithms in dynamic worlds (summary of results)

    Publication Year: 1992, Page(s):6 - 13
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    A classification of different dynamic worlds is presented. A detailed model of a dynamic world where changes occur in edge costs around a zero mean is provided. A formal analysis of the model suggests that the static rank ordering of solution paths is preserved in the model. Two real-time search algorithms, DYNORAII and RTA*, for the real-time path planning problem are analyzed. Results on the pat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy control is often better than manual control of the very experts whose knowledge it uses: an explanation

    Publication Year: 1992, Page(s):180 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    A mathematical explanation as to why fuzzy control is smoother and more stable than control by experts whose experience was used to design the fuzzy control is presented. The analysis indicates that fuzzy control is always continuous and exhibits better performance, even in complicated control situations View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New transitive closure algorithm for recursive query processing in deductive databases

    Publication Year: 1992, Page(s):268 - 275
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    An algorithm suitable for the full transitive closure problem, which is used to solve uninstantiated recursive queries in deductive databases, is presented. In this algorithm there are two phases. In the first phase a general graph is condensed into an acyclic graph and at the same time a special sparse matrix is formed from the acyclic graph. The second phase is the main one, where all of the pag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving a knowledge based approach for recognition of typed text characters using a 2-D FT

    Publication Year: 1992, Page(s):251 - 258
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    A nonconventional text character extraction technique, called horizontal-vertical projection (HVP), has been used for feature extraction of numerous alphanumeric symbols. In an earlier paper a classification algorithm based on a 1-D Fourier transform (FT) was used with NVP. An alternative 2-D FT feature extraction technique is presented and shown to improve on the 1-D approach View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IKD: a knowledge-based tool for integrating a knowledge base and a database

    Publication Year: 1992, Page(s):460 - 461
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB)

    In order to integrate a knowledge-based system (KBS) and relational database system (RDBS) more naturally and flexibly, it is necessary to work with these two systems cooperatively. The IKD system functions as an interface between the KBS and RDBS by representing their conceptual structures in frames. Two types of frames are distinguished from one another: one defines the data structure of an inte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural network based competitive learning for control

    Publication Year: 1992, Page(s):236 - 243
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    The idea of competitive learning for pattern-recognition applications is introduced. A brief review of two competitive learning models, T. Kohonen's self-organizing feature maps (1982, 1989) and S. Grossberg's ART networks (1987), is presented. Neural-net-based partitioning algorithms for learning control are introduced. A simulation study, of these algorithms incorporated into the BOXES machine l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A user customizable X window system interface for simulation of neural networks

    Publication Year: 1992, Page(s):456 - 457
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    An X window system interface, the Neural Shell Version 3.5, which simplifies the use of neural-network simulators for neural-network research is presented. This interface can be customized by the user as additional simulators and toolkit programs are developed and added to the system. The Neural Shell runs on workstations and additionally supports the execution of large neural-network simulations ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analytical performance model for parallel production systems

    Publication Year: 1992, Page(s):362 - 369
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    An analytical model for parallel production systems is developed, where rule firing is modeled as a transaction. Both resource contention and data contention are modeled in detail, and the performance of locking-based and optimistic approaches is analyzed. It is shown that significant speedup can be gained in parallel rule execution. The main contribution is the insight into parallel rule firing p... View full abstract»

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