Abstract
Current methods in qualitative physic sometimes predict behaviors of physical systems that do not correspond to any real-valued solution. One reason is that the merging of distinct behaviors cannot be avoided by local criteria. It is necessary to determine the possible continuations of a qualitative behavior taking into account its complete history. Such global criteria for the partial elimination of spurious solutions are developed for 2nd order differential equations. The application of these filters is shown to reduce the set of behaviors for the mass-spring system predicted by other qualitative physics systems.
Original language | English |
---|---|
Title of host publication | Readings in Qualitative Reasoning About Physical Systems |
Publisher | Elsevier Inc. |
Pages | 273-277 |
Number of pages | 5 |
ISBN (Print) | 1558600957, 9781483214474 |
DOIs | |
State | Published - 17 Sep 2013 |
Externally published | Yes |