By Topic

AI, Simulation and Planning in High Autonomy Systems, 1991. Integrating Qualitative and Quantitative System Knowledge, Proceedings of the Second Annual Conference on

Date 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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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 (120 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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 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.
  • Using discrete event qualitative simulation as a knowledge acquisition tool

    Publication Year: 1991, Page(s):241 - 246
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    The automated acquisition of knowledge by machine has not lived up to expectations and knowledge engineering remains a human intensive task. Part of the reason for the lack of success is the difference in cognitive focus of the expert. The expert must shift their focus from the domain to that of the representation environment. In doing so, this shift of context introduces opportunity for errors an... 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.
  • 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.
  • 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.
  • 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.
  • 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.