Solving temporal over-constrained problems using fuzzy techniques

Abstract

The satellite-scheduling problem represents an interesting field to test non-conventional temporal solvers because scheduling-problems are inherently over-constrained and, moreover, the tasks may be known in an imprecise and uncertain manner. In this paper we present an application of our fuzzy temporal reasoning system to the satellite-scheduling problem. First, we describe our model of integration of qualitative and quantitative temporal information affected by vagueness and uncertainty. Then, we show the usefulness of fuzzy constraints when dealing with over-constrained temporal problems.