By Topic

Artificial Intelligence for Applications, 1993. Proceedings., Ninth Conference on

Date 1-5 March 1993

Filter Results

Displaying Results 1 - 25 of 81
  • Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (363 KB)
    Freely Available from IEEE
  • Sophisticated and distributed: The transportation domain

    Publication Year: 1993
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Summary form only given. The transportation domain is presented as a multiagent scenario, and the use of distributed artificial intelligence (DAI) techniques for solving cooperatively the hard problems that occur within this domain is demonstrated. The authors sketch the DAI techniques used in the MARS multiagent scenario. MARS implements a society of transportation companies whose goal it is to d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A temporal approach to belief revision in knowledge bases

    Publication Year: 1993, Page(s):56 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    A new technique for the efficient revision of beliefs in knowledge bases for real-time applications is presented. The technique is based on the notion of symbolic transaction times and has the advantage of providing a temporal history of implicit as well as explicit beliefs, essential for diagnosis and optimization. It combines the efficiency of justification-based truth maintenance systems (TMSs)... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Solving 0-1 problems in CLP (PB)

    Publication Year: 1993, Page(s):263 - 269
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    The authors present the constraint logic programming language CLP(PB) which provides efficient 0-1 constraint solving within the logic programming paradigm. It is well suited for implementing various typical AI problems. CLP(PB) supports pseudo-Boolean constraints, that is equations and inequalities between integer polynomials in 0-1 variables, and pseudo-Boolean optimization, also known as 0-1 pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Massively parallel support for case-based planning

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

    In case-based planning (CBP), previously generated plans are stored in memory and can be reused to solve similar planning problems in the future. CaPER system is a case-based planner that is being developed to take advantage of the efficiencies of plan re-use while addressing some of the problems and limitations of case-based planners that use serial retrieval procedures on an indexed memory. CaPE... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • STRATMAN/EnScan: A prototype knowledge-based system for strategic planning and management

    Publication Year: 1993, Page(s):414 - 420
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    The purpose of the described system is to assist an organization in performing the environmental assessment portion of the strategic planning process. This portion of strategic planning aims at identifying the environmental threats and opportunities. STRATMAN/EnScan is an aid to assist the chief executive officer (CEO) and the human resource manager in relating employee's environmental awareness t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolving agents for personalized information filtering

    Publication Year: 1993, Page(s):345 - 352
    Cited by:  Papers (26)  |  Patents (146)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Describes how techniques from artificial life can be used to evolve a population of personalized information filtering agents. The technique of artificial evolution and the technique of learning from feedback are combined to develop a semi-automated information filtering system which dynamically adapts to the changing interests of the user. Results of a set of experiments are presented in which a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture for a generic requirements engineering tool

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Summary form only given. Requirements engineering is a crucial part of any design process. There have been attempts made to provide the designer with tools to aid this initial design stage. A common solution adopted is to develop an in-house fix for text processing systems to support design brief expansion (DBE). This means that the expansion methodology is hard-wired into the system. To overcome ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Crew rostering system-An expert system for scheduling crew for Indian Airlines

    Publication Year: 1993, Page(s):63 - 70
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    The crew rostering system is an expert system deployed at Indian Airlines. The system plans the schedule for all crew operating from a regional base of the airline for a specified period and also handles the situations which demand a revision of these schedules. An innovative scheduling strategy has been used as the model. The authors describe this model, which is generic for this class of schedul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using an intermediate knowledge representation for prototyping

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    Summary form only given. Knowledge acquisition has been considered a bottleneck in the process of developing expert systems (ESs). Intermediate knowledge representations (IKRs) emerge as a bridge between the expert's knowledge and the compiled knowledge that is to be actually implemented in the knowledge base. The authors present a model for IKRs for diagnosis problems that has been developed as a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application of constraint propagation to data-flow analysis

    Publication Year: 1993, Page(s):270 - 276
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    The optimized compilation of constraint logic programming (CLP) languages can give rise to impressive performance improvements in terms of run time. The authors consider the integration of approximate inference techniques, well known in the field of artificial intelligence (AI), with an appropriate framework for the definition of nonstandard semantics of CLP. This integration turns out to be parti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Searching over a domain critical function: Recasting the phase problem of X-ray crystallography

    Publication Year: 1993, Page(s):183 - 189
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    This novel technique provides researchers with a powerful and practical tool to solve the phase problem in X-ray crystallography. The authors present a formulation of the phase problem in terms of a minimal function of phases and a new heuristic search algorithm called shake-and-bake for solving this minimal function. This algorithm is based on a hill climbing approach and a back-and-forth transfo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compositional software reuse with case-based reasoning

    Publication Year: 1993, Page(s):128 - 134
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    Case-based reasoning can be applied to software reuse. The approach presented goes beyond furnishing a library of potentially reusable modules and provides a tool that supports the process of reusing software. It uses case-based reasoning to add flexibility and adaptability to the compositional model of reuse. The authors describe the structure of the case base, emphasizing the case acquisition pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation (model) based fault detection and diagnosis of a spacecraft electrical power system

    Publication Year: 1993, Page(s):422 - 428
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    Model-based artificial intelligence approaches to diagnosis require encoding a reasonable facsimile of the problem domain. The model is encoded as a classical engineering simulation of the domain, a spacecraft electrical power system (EPS). Portions of the reasoning system thus become comparators between the expected behavior and the EPS. The diagnostic problem is partitioned into six discrete ste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid genetic algorithm for container packing in three dimensions

    Publication Year: 1993, Page(s):353 - 359
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    The concept of genetics using multiple-chromosomes is applied to a 3D container packing problem. The 3D packing problem deals with packing a given set of regular shaped boxes of different sizes and weights into larger containers. The algorithm must seek to minimize the wasted space under a constraint: the heavier and the larger boxes must be placed below the lighter ones. The present emphasis is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Explanation in mixed-initiative systems

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    Summary form only given. Mixed-initiative computer-aided design requires that the designer and the design system alternately take responsibility for elaborating a solution to a given set of requirements. For this to be possible, the system must be able to explain its actions to the user. A design support system written in a constraint-based logic programming language is described, and it is shown ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A heuristic multiprocessor approach in computing the fully restricted transitive closure of a database relation

    Publication Year: 1993, Page(s):10 - 17
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    Transitive closure is one of the most important operations in deductive database systems. The author presents the algorithm 2-PBFRTC which computes the fully restricted transitive closure of a database relation with the help of heuristics. In the performance evaluation of 2-PBFRTC it is established that the incorporation of heuristics produces drastic improvement over the use of no heuristics. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An AI-based approach to crew scheduling

    Publication Year: 1993, Page(s):71 - 77
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    The authors present CREWS, an AI-based tool to generate applications in crew scheduling. The first application developed with this tool, called ESCALAS, schedules crews for the Portuguese Railways. This application is complete, has undergone extensive testing, and has proved to produce schedules that are comparable with those produced by human experts, at a fraction of the time. ESCALAS is also ab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A monitoring system with tolerance for real-time data problems

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    Summary form only given. To overcome the problems related to real-time data, the authors have developed a set of methods which allow a monitoring system to tolerate bad data, or to automatically recover if false conclusions are made based on bad data. DESSY (DEcision Support System) is a rule-based system which monitors Space Shuttle telemetry and makes intelligent evaluations of system hardware t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling knowledge about aseptics from cases of product loss

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    Summary form only given. Aseptic processing and filling is a food industry technology. No unified applied aseptics knowledge domain exists apart from individual cases of product loss experienced at factories. Case based reasoning technology was selected to develop an information handling system. A prototype system demonstrated the potential advantages. Complex cases of large product loss are relat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending causal sequences to make teleological distinctions

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    Summary form only given. The causal knowledge of how a specific behavior of a device arises from the functions of its components is useful for tasks like diagnosis, redesign, and prediction. This knowledge is usually represented using causal sequences (CSs). Annotations on the transitions in a CS often refer to the functions of device components as causes for the state transitions. The CS represen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LANGAGE: an expert system for diagnosis in a real-time context

    Publication Year: 1993, Page(s):328 - 336
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    The operators at Hydro-Quebec's nine regional control centers (RCCs) must react promptly as soon as an equipment failure occurs, and must analyze the alarm messages displayed by the real-time (SCADA) system to diagnose the fault. To alleviate this complex task, Hydro-Quebec has developed the LANGAGE expert system to perform a continuous analysis of alarm messages, automatically detect the applicat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Satisfying multiple rated-constraints in a knowledge based decision aid

    Publication Year: 1993, Page(s):277 - 283
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    The Maneuver Decision Aid (MDA) is a knowledge-based planner currently being developed at the US Naval Undersea Warfare Center. the goal of MDA is to generate an optimal next-maneuver recommendation, to support the submarine commander's decision making process which includes absorbing an extensive amount of complex information in the short time interval between maneuvers. The model for the maneuve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hybrid system for handprinted word recognition

    Publication Year: 1993, Page(s):227 - 234
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    The authors describe an alternative approach to handprinted word recognition using a hybrid of procedural and connectionist techniques. They utilize two connectionist components, which are to concurrently make recognition and segmentation hypotheses, and to perform refined recognition of segmented characters. Both networks are governed by a procedural controller which incorporates systematic domai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AI in the sky: The A2A3 testbed

    Publication Year: 1993, Page(s):292 - 298
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    Future air traffic control systems will detect conflicts up to 20 minutes or more into the future and automatically generate solutions to the conflicts detected. In support of this effort, a testbed has been created utilizing embedded AI technology. The testbed consists of components that maintain detailed models of aircraft trajectories, detect conflicts with those trajectories, generate maneuver... View full abstract»

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