Translation-based approaches for solving disjunctive temporal problems with preferences
| العنوان: | Translation-based approaches for solving disjunctive temporal problems with preferences |
|---|---|
| المؤلفون: | Marco Maratea, Luca Pulina, Enrico Giunchiglia |
| المصدر: | Constraints. 23:383-402 |
| بيانات النشر: | Springer Science and Business Media LLC, 2018. |
| سنة النشر: | 2018 |
| مصطلحات موضوعية: | 060201 languages & linguistics, Discrete mathematics, 06 humanities and the arts, 02 engineering and technology, Solver, Satisfiability, Constraint (information theory), Computational Theory and Mathematics, Artificial Intelligence, Satisfiability modulo theories, 0602 languages and literature, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, 020201 artificial intelligence & image processing, Completeness (statistics), Constant (mathematics), Preference (economics), Software, Integer (computer science), Mathematics |
| الوصف: | Disjunctive Temporal Problems (DTPs) 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 native DTPP solver Maxilitis, extends the approach of the native DTP solver Epilitis. In this paper we present alternative approaches that translate DTPPs to Maximum Satisfiability of a set of Boolean combination of constraints of the form l⋈x − y⋈u, ⋈ ∈{ |
| تدمد: | 1572-9354 1383-7133 |
| DOI: | 10.1007/s10601-018-9293-6 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e40dbff0aba39ba8d81066938b44f7a https://doi.org/10.1007/s10601-018-9293-6 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....6e40dbff0aba39ba8d81066938b44f7a |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15729354 13837133 |
|---|---|
| DOI: | 10.1007/s10601-018-9293-6 |