zbMATH — the first resource for mathematics

A fuzzy extension of Allen’s interval algebra. (English) Zbl 0970.68603
Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 155-165 (2000).
Summary: The aim of this work is to integrate the ideas of flexibility and uncertainty into Allen’s interval-based temporal logic, defining a new formalism which extends classical Interval Algebra (IA). Some results obtained in the framework of Fuzzy Constraint Satisfaction Problem (FCSP) approach are used in the specific domain of temporal reasoning. A new fuzzy interval algebra \(\text{IA}^{\text{fuz}}\) is defined. Classical concepts of consistency and minimality are generalized to deal with \(\text{IA}^{\text{fuz}}\). Path-consistency and branch & bound algorithms are shown. A tractable sub-algebra of \(\text{IA}^{\text{fuz}}\) is defined.
For the entire collection see [Zbl 0935.00047].

68U99 Computing methodologies and applications
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T30 Knowledge representation