Scheduled System Maintenance
On Tuesday, January 23, IEEE Xplore will undergo scheduled maintenance from 1:00-4:00 PM ET.
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

[1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems

1-2 April 1991

Filter Results

Displaying Results 1 - 25 of 38
  • Proceedings of the Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems. Theme: Integrating Qualitative and Quantitative System Knowledge

    Publication Year: 1991
    Request permission for commercial reuse | PDF file iconPDF (1391 KB)
    Freely Available from IEEE
  • Towards autonomous intelligent control systems

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

    Summary form only given. Autonomous intelligent control systems are designed to perform well under significant uncertainties in the system and environment for extended periods of time, and they must be able to compensate for system failures without external intervention. Such control systems evolve from conventional control systems by adding intelligent components, and their development requires i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Qualitative state spaces: a formalization of the naive physics approach to knowledge-based reasoning

    Publication Year: 1991, Page(s):40 - 49
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The authors attempt to formalize the naive physics approach to knowledge-based qualitative reasoning in such a way that it can be compared with the quantitative analysis techniques used in system theory. It is shown that naive physics models resemble classical quantitative models in more respects than is commonly assumed. This resemblance opens up an entire catalog of currently unanswered question... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented simulation of autonomous agents in a complex physical environment

    Publication Year: 1991, Page(s):31 - 38
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    A design for a simulation of autonomous agents acting in a physical environment is outlined. The simulation is concurrent object-oriented in design using a continuum of message passing protocols. Messages, which account for interaction between all simulation objects, are non-symbolic and tightly coupled to the methods used for their interpretation. This coupling is expressed through the use of met... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ALCMEN: a language for qualitative/quantitative knowledge representation in expert supervisory process control

    Publication Year: 1991, Page(s):80 - 87
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    ALCMEN (automaticians language for causal modelisation for expert knowledge) is a language capable to handle simultaneously imprecision and uncertainty, and precise equations, in order to solve the communication problem between process experts and control engineers. ALCMEN appears as a network of interconnected blocks and a list of structured variables. It captures the causal influence of a cause ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Actions as evidence: multiple epistemic agents acting under uncertainty

    Publication Year: 1991, Page(s):21 - 30
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    Extends Ruspini's epistemic logic-based model for evidential reasoning by formalizing the actions of the epistemic agents and interpreting them as further sources of evidence. The actions of any intelligent agent, whether friend, foe, or neutral, provide evidence about the state of the world which is quite different from the kinds of evidence provided by a deterministic or stochastic natural proce... View full abstract»

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

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

    Qualitative simulation is a valuable method for predicting the behavior of partially known dynamical systems. This paper presents an order of magnitude reasoning method which combines purely qualitative simulation technique with some partial numerical information in order to capture temporal information. Duration evaluation methods used so far are based on the mean value theorem. However, for crit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DEBORA: a decision engine based on rational aggregation

    Publication Year: 1991, Page(s):68 - 77
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Constraint propagation is a matter of logical deduction, but this is not always sufficient to reach a problem solution. Heuristic knowledge is usually needed to go on with the solution search when the first stage stops. The way this second type of knowledge is handled has more to do with decision rather than deduction process. In this paper the authors suggest a method to handle heuristic knowledg... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Planning by autonomous agents with many concurrent goals in an elaborate simulated world

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

    Complex simulated worlds populated by simulated agents having many concurrent goals present unique problems to planning systems. Neither a purely reactive model nor a traditional AI planning model is entirely adequate. The first because the agents need to know what they will be doing in the future to make good decisions about what to do in the present. The second because of the size and scope of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating constraint-based and numerical simulation

    Publication Year: 1991, Page(s):290 - 297
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Presents an approach to integrate qualitative simulation with the results of numerical simulators. The authors implemented a system QQSIM (quantitative and qualitative simulation) using data coming from a generic quantitative simulator to prune the state space tree generated by a QSIM-based qualitative simulator. In many engineering applications, sophisticated numerical models of systems are avail... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • EMM-networking model for FMS modeling, simulation and control

    Publication Year: 1991, Page(s):253 - 262
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    The major challenge of implementing FMS (flexible manufacturing systems) at the factory level is to realize automated control. An appropriate FMS model is required for the purpose of control software design and implementation. In this paper, the EMM-networking (extended Moore machine) model based on automata theory for FMS control systems is presented. The basic concept behind the EMM-networking m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic selection of models under time constraints

    Publication Year: 1991, Page(s):60 - 67
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    The creation of an appropriate model to use for a specific task involves determining the appropriate assumptions to simplify a more complex base model. The author presents a conceptual framework for organizing a series of models that are derived with simplifying assumptions, and a decision-theoretic model-based method to determine the optimal model to select under a time constraint. He then discus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning about global behavior of ordinary differential equations by combining qualitative and quantitative analysis

    Publication Year: 1991, Page(s):98 - 107
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    The authors attempt to integrate numerical methods and knowledge-based methods with qualitative reasoning as a kernel. The essence of the approach is threefold: (a) representing geometric and topological aspects of solution curves relevant to qualitative analysis as mappings between hyperplanes in the phase space; (b) computing mappings that characterize the behavior by local analysis of solution ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Version space controlled genetic algorithms (VGA)

    Publication Year: 1991, Page(s):6 - 14
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    Demonstrates how the traditional genetic algorithm can be augmented by incorporating domain knowledge in the form of a version space into the structure. This hybrid inductive learning system is designed to handle problems in concept learning using the version space to control the search process that is performed by the genetic algorithm. In this hybrid system a new class of schemata is present cal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based troubleshooting of complex technical systems using integrated qualitative techniques

    Publication Year: 1991, Page(s):122 - 129
    Cited by:  Papers (7)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    Monitoring and diagnosis of safety-critical dynamic systems are challenging tasks for knowledge-based programming. While current control systems usually rely on the total availability and computability of numerical information, they necessarily fail if these assumptions do not hold. As a consequence. Intelligent control systems are needed which have the ability to perform monitoring and diagnosis ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using qualitative knowledge for quantitative simulation of the human spatial orientation system

    Publication Year: 1991, Page(s):279 - 288
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    Theory formation is an important scientific goal. This process often involves the development of complex mathematical models which are first qualitatively tested before being fine tuned quantitatively. The authors explore the quantitative fine tuning aspect of theory formation. The scientific domain chosen for this work is the human orientation system. The particular experiment for the modeling is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A qualitative circuit simulator

    Publication Year: 1991, Page(s):248 - 252
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB)

    The work described here is part of a larger project which is investigating various issues related to diagnosis and failure prediction in the context of automotive manufacturing. In particular, the goal is to produce prototype intelligent tools which will assist in the analysis of potential faults and hazard situations in evolving electrical circuit designs. The paper reports on the design and impl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sensor selection techniques in device monitoring

    Publication Year: 1991, Page(s):154 - 163
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    For complex systems with large sensor complements, the authors develop a selective monitoring strategy to avoid information overload on system operators. They describe an approach to determining from moment to moment which subset of the available sensor data for a system is most informative about the state of the system and about interactions occurring within the system. They term this process sen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of multiple models in evaluating complex engineering designs

    Publication Year: 1991, Page(s):225 - 232
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    The paper establishes a conceptual framework for viewing engineering design as a decomposition of the design problem into multiple models. Also described is a computational framework for iteratively refining designs through analysis and interpretation of candidate solutions. In doing so specific evaluation objectives and design descriptions are mapped to specific evaluation, analysis and interpret... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstraction morphisms for task planning and execution

    Publication Year: 1991, Page(s):50 - 59
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    Deals with further efforts to develop abstraction mechanisms for systematic derivation of related models through the use of system morphisms. The authors describe an abstraction mechanism for mapping a task plan hierarchy into an isomorphic tree of model abstractions that supports hierarchical task execution. The task plan hierarchy is formulated in a model-based planning approach. They also show ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating multiple representations for incremental, causal simulation

    Publication Year: 1991, Page(s):88 - 96
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    Many engineering problems require the ability to answer `what if' questions about the effects of complex physical events. To address such problems, the author has implemented MIDAS, a system that can incrementally simulate events and produce causal explanations describing their effects. MIDAS incorporates an explicit causal model of time, change, and persistence. It integrates multiple specialized... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Creating qualitative and combined models with discrete events

    Publication Year: 1991, Page(s):306 - 315
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Combined models with discrete event and continuous components can represent a wide variety of complex systems that must be defined using many different models. In artificial intelligence, similar efforts are underway in the study of qualitative models for physics and reasoning about systems. Consequently, there is a need to bridge theory and technology in order to have a uniform language when eith... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Representing temporal spatial, and causal knowledge for monitoring and control in an Intelligent Simulation Training System

    Publication Year: 1991, Page(s):263 - 269
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (452 KB)

    The objective of the Intelligent Simulation Training System (ISTS) is to train students in monitoring and controlling physical objects in time and space. The ISTS consists of a graphic computer simulation, an expert system, and a user interface. The expert system must possess a high-level model for reasoning about simulation events. Quantitative simulation data and elicited domain expertise are us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extracting qualitative descriptions from quantitative models

    Publication Year: 1991, Page(s):108 - 119
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1032 KB)

    Presents a general methodology for generating qualitative descriptions of specific physical systems from their quantitative model. Given a physical system, the methodology provides guidelines for formulating the system's quantitative model, and systematically exploring its parameter space to extract a qualitative description in the form of a graph. The qualitative features of the graph can increas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Symbolic discrete event system specification

    Publication Year: 1991, Page(s):130 - 141
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the discrete event system specification (DEVS) formalism that facilitates symbolic expression of event times by extending the time base from the real numbers to the field... View full abstract»

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