Positioning of valves is a real-life issue in Water Distribution System (WDS) design and, currently, it is usually addressed by hydraulic engineers either by hand or by means of genetic algorithms, that give no assurance of optimality. Since a given valves placement identifies a sectorization of the WDS in several isolable portions, the valves positioning problem can be seen as a variant of the well known graph partitioning problem, which is a hard combinatorial problem. Cattafi et al. (2011, TPLP, 11, 731–747) showed recently that Computational Logic can provide technologies and techniques that can be exploited to model and achieve the optimal partition of the water network (i.e. the optimal positioning of valves). In particular, the authors tackled the optimization of the valves positioning through a two player game model, giving a Constraint Logic Programming formalization to solve it effectively. The aim of this article, instead, is to investigate the potential of Answer Set Programming in this practical application; evaluation is in terms both of language expressivity and solving efficiency. Results are discussed for different ASP models and a comparison with the CLP(FD) technique shown by Cattafi et al. (2011, TPLP, 11, 731–747) will be given.

An ASP approach for the valves positioning optimization in a water distribution system

GAVANELLI, Marco
Primo
;
NONATO, Maddalena;PEANO, Andrea
Ultimo
2015

Abstract

Positioning of valves is a real-life issue in Water Distribution System (WDS) design and, currently, it is usually addressed by hydraulic engineers either by hand or by means of genetic algorithms, that give no assurance of optimality. Since a given valves placement identifies a sectorization of the WDS in several isolable portions, the valves positioning problem can be seen as a variant of the well known graph partitioning problem, which is a hard combinatorial problem. Cattafi et al. (2011, TPLP, 11, 731–747) showed recently that Computational Logic can provide technologies and techniques that can be exploited to model and achieve the optimal partition of the water network (i.e. the optimal positioning of valves). In particular, the authors tackled the optimization of the valves positioning through a two player game model, giving a Constraint Logic Programming formalization to solve it effectively. The aim of this article, instead, is to investigate the potential of Answer Set Programming in this practical application; evaluation is in terms both of language expressivity and solving efficiency. Results are discussed for different ASP models and a comparison with the CLP(FD) technique shown by Cattafi et al. (2011, TPLP, 11, 731–747) will be given.
2015
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea
File in questo prodotto:
File Dimensione Formato  
JLC_ext065.pdf

solo gestori archivio

Descrizione: Full text ahead of print
Tipologia: Full text (versione editoriale)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 1.21 MB
Formato Adobe PDF
1.21 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
paper_f10.pdf

accesso aperto

Descrizione: Pre-print
Tipologia: Pre-print
Licenza: PUBBLICO - Pubblico con Copyright
Dimensione 285.88 kB
Formato Adobe PDF
285.88 kB Adobe PDF Visualizza/Apri
ext065.pdf

solo gestori archivio

Tipologia: Full text (versione editoriale)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 1.22 MB
Formato Adobe PDF
1.22 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in SFERA 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/11392/1893442
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 11
social impact