Approximate reasoning with time

The need to make time-dependent assumptions is frequently encountered in ma ny systems, especially in dynamical systems. This paper presents a theoreti cal study of the representation and manipulation of some vague concepts in the temporally changing world. Our approach to the modeling is based on Zad eh's theory of possibility. We introduce a concept of similarity index in r easoning with time. We present two different types of widely used models - one rule-based and another resolution-based - for reasoning with time. We c onsider simple yet concrete examples to illustrate the usefulness of the pr oposed models. (C) 1999 Elsevier Science B.V. All rights reserved.