Conditional Temporal Problems (CTPs) can deal simultaneously with uncertainty and temporal constraints, allowing for the representation of temporal and conditional plans. CTPPs generalize CTPs by adding preferences to the temporal constraints and by allowing fuzzy thresholds for the occurrence of some events. Here we focus on dynamic consistency of CTPPs, the most useful notion of consistency in practice. We describe an algorithm which allows for testing if a CTPP is dynamically consistent and we study its complexity. Simple Temporal Problems with Preferences and Uncertainty (STPPUs) are another formalism to model temporal constraints where preference and uncertainty coexist. While uncertainty is CTPPs is modeled via conditions on the execution of variables, in STPPUs it is modelled by means of events whose occurrence time is not known. We consider the relation between CTPPs and STPPUs and we show that the former framework is at least as expressive as the second one. Such a result is obtained by providing a polynomial mapping from STPPUs to CTPPs.

Dynamic consistency of fuzzy conditional temporal problems

FALDA, MARCO;ROSSI, FRANCESCA;VENABLE, KRISTEN BRENT
2010

Abstract

Conditional Temporal Problems (CTPs) can deal simultaneously with uncertainty and temporal constraints, allowing for the representation of temporal and conditional plans. CTPPs generalize CTPs by adding preferences to the temporal constraints and by allowing fuzzy thresholds for the occurrence of some events. Here we focus on dynamic consistency of CTPPs, the most useful notion of consistency in practice. We describe an algorithm which allows for testing if a CTPP is dynamically consistent and we study its complexity. Simple Temporal Problems with Preferences and Uncertainty (STPPUs) are another formalism to model temporal constraints where preference and uncertainty coexist. While uncertainty is CTPPs is modeled via conditions on the execution of variables, in STPPUs it is modelled by means of events whose occurrence time is not known. We consider the relation between CTPPs and STPPUs and we show that the former framework is at least as expressive as the second one. Such a result is obtained by providing a polynomial mapping from STPPUs to CTPPs.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/2428498
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 5
social impact