Fuzzy conditional temporal problems: Strong and weak consistency

Authors:
Marco Falda;Francesca Rossi;K. Brent Venable
Affiliations:
Department of Pure and Applied Mathematics, University of Padova, via Trieste 63, 35121 Padova, Italy and Department of Information Engineering, University of Padova, via Gradenigo 6, 35131 Padova ...;Department of Pure and Applied Mathematics, University of Padova, via Trieste 63, 35121 Padova, Italy;Department of Pure and Applied Mathematics, University of Padova, via Trieste 63, 35121 Padova, Italy
Venue:
Engineering Applications of Artificial Intelligence
Year:
2008

Citing 11
Cited 0

Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
What are fuzzy rules and how to use them

Fuzzy Sets and Systems - Special issue dedicated to the memory of Professor Arnold Kaufmann
Constraint-based temporal reasoning algorithms with applications to planning

Constraint-based temporal reasoning algorithms with applications to planning
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning

Constraints
Task Scheduling for a TemporalWorkflow Management System

TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Learn to Tango with D

Learn to Tango with D
Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results

AI Communications - Constraint Programming for Planning and Scheduling
Low-cost addition of preferences to DTPs and TCSPs

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Uncertainty in soft temporal constraint problems: a general framework and controllability algorithms for the fuzzy case

Journal of Artificial Intelligence Research
Temporal constraint reasoning with preferences

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Fuzzy fundamentals

IEEE Spectrum

Quantified Score

Hi-index	0.00

Visualization

Abstract

In real life scenarios there is often the need for modeling conditional plans where external events determine the actual execution sequence. Conditional temporal problems (CTPs) have addressed such a need by extending the classical temporal constraint models with conditions on the occurrence of some events. Preferences are also a key aspect in many temporal reasoning tasks, since they allow for modeling in a natural way desires and different satisfaction levels. In this paper, we generalize CTPs to CTPPs by adding fuzzy preferences to the temporal constraints and by allowing fuzzy thresholds for the occurrence of some events. This allows us to generalize the conditions: events are allowed to determine not only which variables are executed, but also the preferences associated to their execution time. We consider two consistency notions (that is, strong and weak) and we provide their corresponding testing algorithms. We show that the complexity of these algorithms is not larger than their classical counterparts for CTPs. We also compare CTPPs with STPPUs, another temporal framework with uncertainty and preferences, by providing a polynomial mapping from STPPUs to CTPPs which allows to identify a strong theoretical connection among the two formalisms. Finally, we describe a tool to define CTPPs and to test if they are strongly or weakly consistent.