A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Commonsense reasoning about causality: deriving behavior from structure
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative analysis of MOS circuits
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Abstraction by time-scale in qualitative simulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Abstraction by time-scale in qualitative simulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
QPC: a compiler from physical models into qualitative differential equations
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Qualitative analysis of causal feedback
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Behavioral aggregation within complex situations: a case study involving dynamic equilibria
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Self-explanatory simulations: scaling up to large models
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A qualitative method to construct phase portraits
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Qualitative rigid body mechanics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Hi-index | 0.00 |
Qualitative simulation of behavior from structure is a valuable method for reasoning about partially known physical systems. Unfortunately, in many realistic situations, a qualitative description of structure is consistent with an intractibly large number of behavioral predictions. We present two complementary methods, representing different trade-offs between generality and power, for taming an important case of intractible branching. The first method applies to the most general case of the problem. It changes the level of the behavioral description to aggregate an exponentially exploding tree of behaviors into a few distinct possibilities The second method draws on additional mathematical knowledge, and assumptions about the smoothness of partially known functional relationships, to derive a correspondingly stronger result. Higher-order derivative constraints are automatically derived by manipulating the structural constraint model algebraically, and applied to eliminate impossible branches These methods have been implemented as extensions to QSIM and tested on a substantial number of examples They move us significantly closer to the goal of reasoning qualitatively about complex physical systems.