". . Disjunctive Temporal Problems with Preferences (DTPPs) extend DTPs with piece-wise constant preference functions associated to each constraint of the form l ≤ x − y ≤ u, where x,y are (real or integer) variables, and l,u are numeric constants. The goal is to find an assignment to the variables of the problem that maximizes the sum of the preference values of satisfied DTP constraints, where such values are obtained by aggregating the preference functions of the satisfied constraints in it under a “max” semantic. The state-of-the-art approach in the field, implemented in the DTPP solver Maxilitis, extends the approach of the DTP solver Epilitis.. . In this paper we present an alternative approach that reduces DTPPs to Maximum Satisfiability of a set of Boolean combination of constraints of the form l ⋈ x − y ⋈ u, ⋈ ∈ { < , ≤ }, that extends previous work that dealt with constant preference functions only. Results obtained with the Satisfiability Modulo Theories (SMT) solver Yices on randomly generated DTPPs show that our approach is competitive to, and can be faster than, Maxilitis.. "

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences / Bourguet, Jean Rémi; Maratea, M; Pulina, Luca. - 8249:(2013), pp. 445-456. (Intervento presentato al convegno AI*IA 2013 - XIII Conference of the Italian Association for Artificial Intelligence tenutosi a Turin- Italy nel 04-06/12/2013) [10.1007/978-3-319-03524-6_38].

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences

BOURGUET, Jean Rémi;PULINA, Luca
2013-01-01

Abstract

". . Disjunctive Temporal Problems with Preferences (DTPPs) extend DTPs with piece-wise constant preference functions associated to each constraint of the form l ≤ x − y ≤ u, where x,y are (real or integer) variables, and l,u are numeric constants. The goal is to find an assignment to the variables of the problem that maximizes the sum of the preference values of satisfied DTP constraints, where such values are obtained by aggregating the preference functions of the satisfied constraints in it under a “max” semantic. The state-of-the-art approach in the field, implemented in the DTPP solver Maxilitis, extends the approach of the DTP solver Epilitis.. . In this paper we present an alternative approach that reduces DTPPs to Maximum Satisfiability of a set of Boolean combination of constraints of the form l ⋈ x − y ⋈ u, ⋈ ∈ { < , ≤ }, that extends previous work that dealt with constant preference functions only. Results obtained with the Satisfiability Modulo Theories (SMT) solver Yices on randomly generated DTPPs show that our approach is competitive to, and can be faster than, Maxilitis.. "
2013
978-331903523-9
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences / Bourguet, Jean Rémi; Maratea, M; Pulina, Luca. - 8249:(2013), pp. 445-456. (Intervento presentato al convegno AI*IA 2013 - XIII Conference of the Italian Association for Artificial Intelligence tenutosi a Turin- Italy nel 04-06/12/2013) [10.1007/978-3-319-03524-6_38].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11388/155729
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact