By Topic

[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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Embedding simulation modeling in development of high autonomy systems

    Publication Year: 1991, Page(s):195 - 202
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    One of the key problems in developing a high autonomy system stems from the embedded nature of such a system where software and hardware components must be integrated to achieve the autonomy. Not all of the desired hardware and/or software components may be directly applicable for developing such an embedded system. This paper proposes a simulation embedded methodology that can remedy the potentia... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process failures diagnosis in FMS real-time control: an approach combining rule-based systems and Petri nets

    Publication Year: 1991, Page(s):174 - 180
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    Focusses on the diagnosis function of a real-time control and monitoring system fitting the specificities of flexible manufacturing systems (FMS). The most important problem in such a diagnosis system, is the need of real-time informations about the process state. Moreover, as in FMS the manufactured products often change, the monitoring system cannot easily adapt the role of a task. In the propos... 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.
  • Fault diagnosis based on continuous simulation models

    Publication Year: 1991, Page(s):148 - 153
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    Reasoning about physical systems from first principles, whether for purposes of explanation, prediction, or fault diagnosis, requires the reasoner to have available a model of the subject system. A novel approach, based on predicate transformers, to deep reasoning about actual systems on the basis of continuous simulation models of these systems is described. An application to the diagnosis of a m... 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.
  • A model-based approach for organizing quantitative computations

    Publication Year: 1991, Page(s):210 - 218
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    Model based reasoning (MBR) is currently receiving wide spread attention because it offers a way to circumvent the brittleness of reasoning systems built solely on associational knowledge. To date, most MBR approaches have focused on the use and manipulation of qualitative models. The authors report their experience in applying techniques of functional reasoning to the general problem of organizin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation and planning with multiple representations

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

    Presents a research work in the field of robotics. The system described uses a combination of analogical, qualitative and symbolic knowledge representation formalisms in order to plan the right actions in assembly situations. The system applies a simulation of physical objects and phenomena based on analogical representation and bottom-up description. In order to extract information relevant to th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation-based planning of robot tasks in flexible manufacturing

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

    A framework is proposed for support of design, task planning, and simulation of automated manufacturing systems. The framework establishes a hierarchy of method banks essential for improving the efficiency and cost effectiveness of manufacturing processes. The methods should support automatic generation of sequencing rules, design and configuration of the manufacturing facility and equipment, synt... 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.
  • A qualitative circuit simulator

    Publication Year: 1991, Page(s):248 - 252
    Cited by:  Papers (1)
    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.
  • Diagnosability and sensor reduction

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

    Device-centered model-based reasoning (MBR) models are used to determine the diagnosability of individual components and of the system as a whole. Given a satisfactory device-centered model that can be used dependably for diagnosis, the author first considers the specification of diagnosability for individual components. This is expressed through uniqueness requirements for the isolation of faults... 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.
  • Integration of qualitative and quantitative methods in visual reasoning

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

    Describes how commonsense spatial reasoning is accomplished in a computational model that is primarily qualitative in nature, but which allows the smooth integration of quantitative methods as and when necessary. This model, termed visual reasoning, is characterized by representations that have symbolic and imaginal parts, visual operations that access spatial information contained in the imaginal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated modeling for planning, simulation and diagnosis

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

    An intelligent planning system was developed to automatically generate plans for maintenance and repair activity aboard manned spacecraft integrating crew activities, a robot possessing integrated sensors, and a graphical robotic simulator. The authors have established a robust approach to modeling plan constraints that allows one to create plans for a variety of agents from a single plan source. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Planning with events and states

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

    Presents an overall planning system in which specifications can be described in terms of events and states. The underlying feature of this system is temporal logic, and its expressive power alloys one to deal with simultaneous actions and interacting actions. Moreover, one can represent both goal-oriented positive constraints and prevention-oriented negative constraints. The planning system can ge... 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.
  • 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.
  • Modelling tools for a common LISP object system environment

    Publication Year: 1991, Page(s):219 - 224
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (340 KB)

    DEVS-CLOS is an object-oriented, hierarchical modelling environment for the common Lisp object system based on the discrete event system specification propounded by Zeigler. Every part of the modelling environment is open for inspection and alternation. Some tools for coupling models based on the generation of Lisp symbols has been developed. A method to traverse the model structure to find models... View full abstract»

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