Qualitative simulation

DOI10.1016/0004-3702(86)90073-1zbMath0624.68098OpenAlexW2912848477WikidataQ56521350 ScholiaQ56521350MaRDI QIDQ578946

Benjamin J. Kuipers

Publication date: 1986

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(86)90073-1

zbMATH Keywords

differential equationknowledge basequalitative simulationQSIM algorithmqualitative causal reasoning

Mathematics Subject Classification ID

Related Items (65)

Diagnostic reasoning strategies for means-end models ⋮ Causal approximations ⋮ Computational systems for qualitative economics ⋮ Artificial intelligence in economics ⋮ On the usage of qualitative reasoning as an approach towards enterprise modelling ⋮ Extracting qualitative relations from categorical data ⋮ Fundamental concepts of qualitative probabilistic networks ⋮ A dynamic systems perspective on qualitative simulation ⋮ A non-parametric Monte Carlo technique for controller verification ⋮ Numerical characterization of distributed dynamic systems using tools of intelligent computing and generalized dimensional analysis ⋮ Comparative analysis ⋮ Domain modelling in second-generation expert systems ⋮ Generalization of methods of analysis of complex physical processes and fields using the system approach ⋮ Automatic construction of accurate models of physical systems ⋮ Commonsense reasoning about containers using radically incomplete information ⋮ Fuzzy logic and neural network applications to fault diagnosis ⋮ Qualitative evaluation of production systems ⋮ An extension of QSIM with qualitative curvature ⋮ Analytical and qualitative model-based fault diagnosis --- a survey and some new results ⋮ A theory of discontinuities in physical system models ⋮ Using action-based hierarchies for real-time diagnosis ⋮ The topology of boundaries ⋮ Automated modeling of complex systems to answer prediction questions ⋮ Proving properties of continuous systems: Qualitative simulation and temporal logic ⋮ Learning qualitative models from numerical data ⋮ COMBINED QUALITATIVE/QUANTITATIVE SIMULATION MODELS OF CONTINUOUS-TIME PROCESSES USING FUZZY INDUCTIVE REASONING TECHNIQUES ⋮ Task-dependent qualitative domain abstraction ⋮ Towards a practical theory of reformulation for reasoning about physical systems ⋮ Inductive logic programming ⋮ Robust economic models ⋮ A theory of interactions: Unifying qualitative and quantitative algebraic reasoning ⋮ Higher-order derivative constraints in qualitative simulation ⋮ Mathematical problems arising in qualitative simulation of a differential equation ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Qualitative superposition ⋮ Reasoning about model accuracy ⋮ Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization ⋮ Influence-based model decomposition for reasoning about spatially distributed physical systems ⋮ Qualitative economic reasoning: a disequilibrium perspective ⋮ Causality and consistency in economic models ⋮ Reasoning about nonlinear system identification ⋮ Extending the mathematics in qualitative process theory ⋮ Continuous interpolation logic and qualitative modeling of flows ⋮ New operations research and artificial intelligence approaches to traffic engineering problems ⋮ Refiner: A Problem-Solving Environment for Scientific Simulator Creation ⋮ Exaggeration ⋮ ELEMENTS OF A DOCUMENTATION FRAMEWORK FOR AGENT-BASED SIMULATION MODELS ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Generating multiple new designs from a sketch ⋮ Qualitative rigid-body mechanics ⋮ Semi-quantitative system identification ⋮ A comprehensive methodology for building hybrid models of physical systems ⋮ Passive robust fault detection using fuzzy parity equations ⋮ On the status and prospects of systems analysis methods in Ukraine ⋮ Stages of growth in economic development ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Causal reasoning and explanation in dynamic economic systems ⋮ Qualitative reasoning for system reconstruction using Lebesgue discretization ⋮ Fuzzy inductive reasoning: a consolidated approach to data-driven construction of complex dynamical systems ⋮ The composition and validation of heterogeneous control laws ⋮ Comparative envisionment construction: A technique for the comparative analysis of dynamical systems ⋮ The scope and limits of simulation in automated reasoning ⋮ Sound and complete qualitative simulation is impossible ⋮ Qualitatively faithful quantitative prediction ⋮ Qualitative modelling of linear dynamical systems with quantized state measurements

Cites Work

• Consistency in networks of relations
• Unnamed Item

This page was built for publication: Qualitative simulation