Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case

In real-life temporal scenarios, uncertainty and preferences are often essential and coexisting aspects. We present a formalism where quantitative temporal constraints with both preferences and uncertainty can be defined. We show how three classical notions of controllability (that is, strong, weak, and dynamic), which have been developed for uncertain temporal problems, can be generalized to handle preferences as well. After defining this general framework, we focus on problems where preferences follow the fuzzy approach, and with properties that assure tractability. For such problems, we propose algorithms to check the presence of the controllability properties. In particular, we show that in such a setting dealing simultaneously with preferences and uncertainty does not increase the complexity of controllability testing. We also develop a dynamic execution algorithm, of polynomial complexity, that produces temporal plans under uncertainty that are optimal with respect to fuzzy preferences.

[1]  P. Pandurang Nayak,et al.  Remote Agent: An Autonomous Control System for the New Millennium , 2000, ECAI.

[2]  Martha E. Pollack,et al.  Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs , 2005, AAAI.

[3]  Z. Ruttkay.  Fuzzy constraint satisfaction , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[4]  Lluís Godo Lacasa,et al.  On Fuzzy Temporal Constraint Networks , 1994 .

[5]  Nicola Muscettola,et al.  Managing Temporal Uncertainty Through Waypoint Controllability , 1999, IJCAI.

[6]  Charles E. Leiserson,et al.  A Mixed-Integer Linear Programming Problem which is Efficiently Solvable , 1988, J. Algorithms.

[7]  Didier Dubois,et al.  Fuzziness and Uncertainty in Temporal Reasoning , 2003, J. Univers. Comput. Sci..

[8]  Ari K. Jónsson,et al.  Activity Planning for the Mars Exploration Rovers , 2005, ICAPS.

[9]  Didier Dubois,et al.  Fuzzy scheduling: Modelling flexible constraints vs. coping with incomplete knowledge , 2003, Eur. J. Oper. Res..

[10]  Neil Yorke-Smith,et al.  Temporal Reasoning with Preferences and Uncertainty , 2003, IJCAI.

[11]  Lina Khatib,et al.  Strategies for Global Optimization of Temporal Preferences , 2004, CP.

[12]  Thomas Schiex,et al.  Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?" , 1992, UAI.

[13]  Robert E. Shostak,et al.  Deciding Linear Inequalities by Computing Loop Residues , 1981, JACM.

[14]  Francesca Rossi,et al.  Possibility Theory for Reasoning About Uncertain Soft Constraints , 2005, ECSQARU.

[15]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[16]  Nicola Muscettola,et al.  Dynamic Control Of Plans With Temporal Uncertainty , 2001, IJCAI.

[17]  Didier Dubois,et al.  A review of fuzzy set aggregation connectives , 1985, Inf. Sci..

[18]  Didier Dubois,et al.  Fuzzy constraints in job-shop scheduling , 1995, J. Intell. Manuf..

[19]  Nicola Muscettola,et al.  Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.

[20]  Berthe Y. Choueiry,et al.  A new effcient algorithm for solving the simple temporal problem , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[21]  Ioannis Tsamardinos,et al.  A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty , 2002, SETN.

[22]  M. Coggiola,et al.  Airborne Deployment of an Instrument for the Real-Time Analysis of Single Aerosol Particles , 2000 .

[23]  Martha E. Pollack,et al.  Assessing the Probability of Legal Execution of Plans with Temporal Uncertainty , 2003 .

[24]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[25]  David E. Smith,et al.  Contingency Planning for Planetary Rovers , 2002 .

[26]  Francesca Rossi,et al.  Temporal Constraint Reasoning With Preferences , 2001, IJCAI.

[27]  Francesca Rossi,et al.  Semiring-based constraint solving and optimization , 1997 .

[28]  Francesca Rossi,et al.  Controllability of Soft Temporal Constraint Problems , 2004, CP.

[29]  Martha E. Pollack,et al.  Low-cost Addition of Preferences to DTPs and TCSPs , 2004, AAAI.

[30]  Neil Yorke-Smith,et al.  Disjunctive Temporal Planning with Uncertainty , 2005, IJCAI.

[31]  Peter Norvig,et al.  Planning and Scheduling for Fleets of Earth Observing Satellites , 2001 .

[32]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[33]  Thierry Vidal,et al.  CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning , 2003, Constraints.

[34]  Alessandro Sperduti,et al.  Learning and Solving Soft Temporal Constraints: An Experimental Study , 2002, CP.

[35]  Neil Yorke-Smith,et al.  Temporal Planning with Preferences and Probabilities , 2005 .

[36]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[37]  R. Hogan,et al.  Simultaneous radar and aircraft observations of mixed‐phase cloud at the 100 m scale , 2003 .

[38]  Hoong Chuin Lau,et al.  Robust temporal constraint network , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

[39]  Manolis Koubarakis,et al.  Backtracking algorithms for disjunctions of temporal constraints , 1998, Artif. Intell..

[40]  L. Zadeh.  Calculus of fuzzy restrictions , 1996 .

[41]  N. Yorke-Smith,et al.  Simple Temporal Problems with Preferences and Uncertainty , 2003 .

[42]  Malik Ghallab,et al.  Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to Planning , 1996, ECAI.