Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Solving disjunctive temporal problems with preferences using maximum satisfiability

Maratea, Marco and Pulina, Luca (2012) Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Communications, Vol. 25 (2), p. 137-156. eISSN 1875-8452. Article.

Full text not available from this repository.

DOI: 10.3233/AIC-2012-0527


The Disjunctive Temporal Problem (DTP) involves conjunction of DTP constraints, each DTP constraint being a disjunction of difference constraints of the form x−y≤c, where x and y range over a domain of interpretation, and c is a numeric constant. The DTP is recognized to be an expressive framework for constraints modeling and processing. The addition of preferences, in the form of weights associated to difference constraints for their satisfaction, needs methods for aggregating preferences among and within DTP constraints to compute meaningful and high quality solutions, while further enhancing DTP expressivity and applicability.
In this paper we consider an utilitarian aggregation of DTP constraints weights, and a prominent semantic for aggregating such weights from its difference constraints weights that considers the maximum among the weights associated to satisfied difference constraints in it. We present a novel approach that reduces the problem to Maximum Satisfiability of DTPs (Max-DTPs). In this way, we can employ off-the-shelf Max-DTP solvers with different solution methods, ranging from Satisfiability Modulo Theories (SMT), to interval-based and Boolean optimization-based solvers. We then compare the performance of our approach with different back-end solvers on both randomly generated and real-world benchmarks, in comparison with MAXILITIS, the best solver that can deal with DTPs with preferences using the aggregation methods considered. Results show that the YICES SMT solver is the best, and that YICES and the TSAT# solver based on Boolean optimization can be orders of magnitude faster than MAXILITIS.

Item Type:Article
ID Code:7970
Uncontrolled Keywords:Disjunctive temporal problems, optimization
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01-a Nuovi Dipartimenti dal 2012 > Scienze Politiche, Scienze della Comunicazione e Ingegneria dell'Informazione
Publisher:IOS Press
Deposited On:19 Sep 2012 17:26

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page