|
Size: 4248
Comment:
|
Size: 4119
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| Line 7: | Line 6: |
| Eastman Kodak Company <<BR>> University of Kentucky |
Eastman Kodak Company <<BR>> University of Kentucky |
| Line 12: | Line 9: |
| Our team was interested in evaluating and comparing cutting-edge ASP and hybrid languages and solvers on challenging, industrial-sized domains. As the “core” solver we used ezcsp, which would run underlying solvers as needed. <<BR>> Ezcsp is a language and solver featuring a lightweight integration of Answer Set Programming (ASP) and Constraint Programming (CP). The integration is such that different ASP and CP solvers can be freely selected according to the features of the domain. Another distinctive feature of ezcsp over similar solvers is that it supports the use of global constraints, if they are available in the CP solver selected. <<BR>> Depending on the benchmark, as underlying ASP solver we used clasp, iclingo, ASPM (M.Balduccini, “A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs”, in ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP09), 2009). For every encoding where CP constraints were used, we compared the performance of B-Prolog and Sicstus Prolog, which was straightforward because of the interchangeability of solvers in ezcsp. We ended up selecting B-Prolog in each case because of its more consistent performance. <<BR>> |
Our team was interested in evaluating and comparing cutting-edge ASP and hybrid languages and solvers on challenging, industrial-sized domains. As the “core” solver we used ezcsp, which would run underlying solvers as needed. <<BR>> Ezcsp is a language and solver featuring a lightweight integration of Answer Set Programming (ASP) and Constraint Programming (CP). The integration is such that different ASP and CP solvers can be freely selected according to the features of the domain. Another distinctive feature of ezcsp over similar solvers is that it supports the use of global constraints, if they are available in the CP solver selected. <<BR>> Depending on the benchmark, as underlying ASP solver we used clasp, iclingo, ASPM (M.Balduccini, “A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs”, in ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP09), 2009). For every encoding where CP constraints were used, we compared the performance of B-Prolog and Sicstus Prolog, which was straightforward because of the interchangeability of solvers in ezcsp. We ended up selecting B-Prolog in each case because of its more consistent performance. <<BR>> |
| Line 19: | Line 12: |
| Marcello Balduccini <<BR>> Selim Erdogan <<BR>> Yulia Lierler |
Marcello Balduccini <<BR>> Selim Erdogan <<BR>> Yulia Lierler |
| Line 27: | Line 16: |
| ||<tablestyle="border-collapse: collapse;" tableclass="MsoNormalTable"width="312px" style="border: 1pt solid black; padding: 5pt; vertical-align: top;">Disjunctive Scheduling PackingProblem MagicSquare [[WeightAssignmentTree|Weight Assignment Tree]] IncrementalScheduling ||Clasp + B-Prolog || ||<width="312px" style="border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt; vertical-align: top;">ReverseFolding ||<width="312px" style="border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt; vertical-align: top;">We use two encodings -- the first fast but incomplete and the second slower but complete. Encoding 1: Clasp Encoding 2: Clasp + B-Prolog || ||<width="312px" style="border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt; vertical-align: top;">Tomography ||<width="312px" style="border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt; vertical-align: top;">ASPM + Clasp || ||<width="312px" style="border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt; vertical-align: top;">Airport Pickup ||<width="312px" style="border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt; vertical-align: top;">ASPM + Clasp + iClingo || ||<width="312px" style="border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt; vertical-align: top;">HydraulicLeaking HydraulicPlanning ||<width="312px" style="border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt; vertical-align: top;">iClingo || ||<width="312px" style="border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt; vertical-align: top;">-- All Others -- ||<width="312px" style="border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt; vertical-align: top;">Clasp || |
|
| Line 29: | Line 24: |
| ||<tablestyle="border-collapse: collapse;" tableclass="MsoNormalTable"^ width="312px" style="width: 234pt; border: 1pt solid black; padding: 5pt;">DisjunctiveScheduling PackingProblem MagicSquare WeightAssignmentTree IncrementalScheduling ||<^ width="312px" style="width: 234pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: black black black -moz-use-text-color; padding: 5pt;">Clasp + B-Prolog || ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt;">ReverseFolding ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt;">We use two encodings -- the first fast but incomplete and the second slower but complete. Encoding 1: Clasp Encoding 2: Clasp + B-Prolog || ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt;">Tomography ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt;">ASPM + Clasp || ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt;">AirportPickup ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt;">ASPM + Clasp + iClingo || ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt;">HydraulicLeaking HydraulicPlanning ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt;">iClingo || ||<rowstyle=""^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt; border-style: none solid solid; border-color: -moz-use-text-color black black; padding: 5pt;">-- All Others -- ||<^ width="312px" style="width: 234pt; border-width: medium 1pt 1pt medium; border-style: none solid solid none; border-color: -moz-use-text-color black black -moz-use-text-color; padding: 5pt;">Clasp || |
Team EZCSP
Association
Eastman Kodak Company
University of Kentucky
Description
Our team was interested in evaluating and comparing cutting-edge ASP and hybrid languages and solvers on challenging, industrial-sized domains. As the “core” solver we used ezcsp, which would run underlying solvers as needed.
Ezcsp is a language and solver featuring a lightweight integration of Answer Set Programming (ASP) and Constraint Programming (CP). The integration is such that different ASP and CP solvers can be freely selected according to the features of the domain. Another distinctive feature of ezcsp over similar solvers is that it supports the use of global constraints, if they are available in the CP solver selected.
Depending on the benchmark, as underlying ASP solver we used clasp, iclingo, ASPM (M.Balduccini, “A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs”, in ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP09), 2009). For every encoding where CP constraints were used, we compared the performance of B-Prolog and Sicstus Prolog, which was straightforward because of the interchangeability of solvers in ezcsp. We ended up selecting B-Prolog in each case because of its more consistent performance.
Participants
Marcello Balduccini
Selim Erdogan
Yulia Lierler
System Settings
All the underlying solvers were used with default settings. The following table shows which underlying solver(s) were used for each benchmark.
Disjunctive Scheduling PackingProblem MagicSquare Weight Assignment Tree IncrementalScheduling |
Clasp + B-Prolog |
We use two encodings -- the first fast but incomplete and the second slower but complete. Encoding 1: Clasp Encoding 2: Clasp + B-Prolog |
|
Tomography |
ASPM + Clasp |
Airport Pickup |
ASPM + Clasp + iClingo |
iClingo |
|
-- All Others -- |
Clasp |