The aim of this work is to integrate the ideas of flexibility and uncertainty into allen's interval-based temporal logic [1], defining a new formalism which extends classical Interval algebra (IA). Some results obtained in the framework of Fuzzy Constraint Satisfaction Problem (FCSP) approach [3] are used in the specific domain of temporal reasoning. A new fuzzy interval algebra IA~(fuz) is defined. classical concepts of consistency and minimality are generalized to deal with IA~(fuz). Path-consistency and branch & bound algorithms are shown. A tractable sub-algebra of IA~(fuz) is defined.
展开▼
