Qualitative simulation
From MaRDI portal
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. We present a new algorithm for qualitative simulation that generalizes the best features of existing algorithms, and allows direct comparisons among alternate approaches. Starting with a set of constraints abstracted from a differential equation, we prove that the QSIM algorithm is guaranteed to produce a qualitative behavior corresponding to any solution to the original equation. We also show that any qualitative simulation algorithm will sometimes produce spurious qualitative behaviors: ones which do not correspond to any mechanism satisfying the given constraints. These observations suggest specific types of care that must be taken in designing applications of qualitative causal reasoning systems, and in constructing and validating a knowledge base of mechanism descriptions.
Recommendations
Cites work
Cited in
(93)- Comparative analysis
- Fuzzy logic and neural network applications to fault diagnosis
- An extension of QSIM with qualitative curvature
- 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
- Qualitative superposition
- Reasoning about model accuracy
- Continuous interpolation logic and qualitative modeling of flows
- New operations research and artificial intelligence approaches to traffic engineering problems
- A spectrum of definitions for temporal model-based diagnosis
- Generating multiple new designs from a sketch
- Q^2 symbolic reasoning about noisy dynamic systems
- Causal reasoning and explanation in dynamic economic systems
- The composition and validation of heterogeneous control laws
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Diagnostic reasoning strategies for means-end models
- Causal approximations
- Artificial intelligence in economics
- A non-parametric Monte Carlo technique for controller verification
- Domain modelling in second-generation expert systems
- Automatic construction of accurate models of physical systems
- Focusing qualitative simulation using temporal logic: Theoretical foundations
- A theory of discontinuities in physical system models
- Qualitative and quantitative simulation: bridging the gap
- Using action-based hierarchies for real-time diagnosis
- Automated modeling of complex systems to answer prediction questions
- Proving properties of continuous systems: Qualitative simulation and temporal logic
- Qualitative rigid-body mechanics
- Semi-quantitative system identification
- A comprehensive methodology for building hybrid models of physical systems
- On the status and prospects of systems analysis methods in Ukraine
- Comparative envisionment construction: A technique for the comparative analysis of dynamical systems
- Towards the qualitative, plan-based simulation of international crises
- Sound and complete qualitative simulation needs ``quantitative filtering
- Duration consistency filtering for qualitative simulation
- Passive robust fault detection using fuzzy parity equations
- Stages of growth in economic development
- Computational systems for qualitative economics
- On the usage of qualitative reasoning as an approach towards enterprise modelling
- Generalization of methods of analysis of complex physical processes and fields using the system approach
- Analytical and qualitative model-based fault diagnosis --- a survey and some new results
- Commonsense reasoning about containers using radically incomplete information
- Task-dependent qualitative domain abstraction
- Towards a practical theory of reformulation for reasoning about physical systems
- The scope and limits of simulation in automated reasoning
- Fundamental concepts of qualitative probabilistic networks
- A dynamic systems perspective on qualitative simulation
- The topology of boundaries
- A representation for comparing simulations and computing the purpose of geometric features
- Fuzzy inductive reasoning: a consolidated approach to data-driven construction of complex dynamical systems
- A divide-and-conquer strategy for qualitative simulation and fuzzy identification of complex dynamical systems
- Extracting qualitative relations from categorical data
- Qualitative economic reasoning: a disequilibrium perspective
- Causality and consistency in economic models
- ELEMENTS OF A DOCUMENTATION FRAMEWORK FOR AGENT-BASED SIMULATION MODELS
- Causes of ineradicable spurious predictions in qualitative simulation
- scientific article; zbMATH DE number 3954710 (Why is no real title available?)
- scientific article; zbMATH DE number 4087086 (Why is no real title available?)
- scientific article; zbMATH DE number 4104411 (Why is no real title available?)
- Qualitative evaluation of production systems
- Bemerkungen zur qualitativen Beschreibung dynamischer Systeme/ Notes to the qualitative description of dynamic systems
- scientific article; zbMATH DE number 140418 (Why is no real title available?)
- Information extraction and qualitative descriptions from dynamic simulation data
- scientific article; zbMATH DE number 736631 (Why is no real title available?)
- Improving qualitative simulation with interval arithmetic and additional constraints
- scientific article; zbMATH DE number 980414 (Why is no real title available?)
- scientific article; zbMATH DE number 980415 (Why is no real title available?)
- scientific article; zbMATH DE number 2010172 (Why is no real title available?)
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation
- Extending the mathematics in qualitative process theory
- Qualitative reasoning for system reconstruction using Lebesgue discretization
- COMBINED QUALITATIVE/QUANTITATIVE SIMULATION MODELS OF CONTINUOUS-TIME PROCESSES USING FUZZY INDUCTIVE REASONING TECHNIQUES
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- scientific article; zbMATH DE number 4185063 (Why is no real title available?)
- scientific article; zbMATH DE number 4185088 (Why is no real title available?)
- scientific article; zbMATH DE number 4185089 (Why is no real title available?)
- Fuzzy qualitative simulation with Gauss membership function
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Inductive logic programming
- Influence-based model decomposition for reasoning about spatially distributed physical systems
- Reasoning about nonlinear system identification
- Learning qualitative models from numerical data
- Qualitative reasoning
- Robust economic models
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
- Problems in representing liquid tanks with monotonicity constraints: A case study in model-imposed limitations on the coverage of qualitative simulators
- Qualitative control learning can be much faster than reinforcement learning
- Exaggeration
- Qualitative simulation of differential equations
- Sound and complete qualitative simulation is impossible
- Qualitatively faithful quantitative prediction
- Numerical characterization of distributed dynamic systems using tools of intelligent computing and generalized dimensional analysis
This page was built for publication: Qualitative simulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578946)
