Qualitative State Spaces: A Formalization of the Naïve Physics
Approach to Knowledge-based Reasoning
Abstract
In this paper, we have attempted to formalize the Naïve 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 Naïve Physics models
resemble classical quantitative models in more respects than is
commonly assumed. This resemblance opens up an entire catalog of
currently unanswered questions relating to Naïve Physics models.
It helps prove some theorems about such qualitative models, but it
also unveils some of the shortcomings of these models.
Interested in reading the
full paper?
(10 pages, 657,989 bytes, pdf)
Homepage
Last modified: June 23, 2005 -- © François Cellier